这似乎背离了现代程序设计语言的一般设计思路。比如
def foo():
x = 1
def inner():
return x + 1
x = 3
print inner()
回复内容：
这段代码是lexical scoping，静态作用域是指我们可以根据代码文本的位置，确定变量的存在区域。按照python的legb（local，enclosing，global，built-in）规则，当调用inner()时，x实际上是在foo的scope中找到的。inner之所能够访问foo中的x，是因为inner is inside the text of foo，这正是lexical的含义。
bash是dynamic scoping的
x=1
function g () { echo $x ; x=2 ; }
function f () { local x=3 ; g ; }
f #f中的g执行时打印出的x是3而不是1
echo $x #这时打印出的x是1
你以为python是
let foo () =
let x = 1 in
let inner () = x + 1 in
let x = 3 in
print (inner ())
python的闭包里的自由变量是按引用传递的，而不是按值传递，所以会有这个结果。这和scoping没有关系。c++的lambda就可以选择capture by copy或者capture by reference.
根据之前阅读python源码的经验(如果记错请指正)，在题主的例子里面，这个inner是一个闭包。闭包在python里面的实现方式是保存一个通往外部namespace的指针(可以理解成一个dictionary)。楼主可以参看这个例子
def foo():
def inner():
return x + 1
x = 1
print inner() # output 2
x = 2
print inner() # output 3
这分明就是lexical scoping嘛，譬如说等价的c#代码
void foo()
{
int x=1;
func inner = ()=>x+1;
x=3;
console.writeline(inner());
}
把楼主的代码改写成 lua 可以看看 python 和 lua 在处理上的不同：第一个例子结果都是一样的，因为变量绑定的是引用而不是值。第二个例子：
function foo()
function inner()
return x + 1
end
local x = 3
print(inner())
end
foo()
题主所说的 现代化的编程语言指的是什么？ js经过这么多代的更新迭代，现在也是这样~
(function foo() {
function inner() {
return x+1;
}
x = 3;
console.log(inner());
})();
def foo():
x = 1
def inner():
return x + 1
x = 3
print inner()
foo()
# 输出4
我觉得完全没有背离啊。。输出感觉当前 x 走的
這個問題很好回答：x是inner函數的環境變量，所以在inner的定義中出現的x其實就是對定義外面的，也就是inner的環境變量的一個引用而已。函數只有在被調用的時候才會執行，你前面將置為1，後面又改為3，不過是改變了x的引用值而已，相當於給x重新賦值。然後執行inner函數，使用x所對應的值為3，因此答案就是4了。