这里n[0] = n[0] + 1不会出错的原因是这里的等号和前面n = n + 1的等号含义不一样。n[0] = n[0] + 1中的等号意思是修改n的某个属性。事实上这个等号最终调用了list的__setitem__方法。而n = n + 1中的等号意思是在当前环境将n + 1这个值绑定到符号n中（如果当前环境已存在符号n，就覆盖它）。

另外题外话：打死我不用这种写法，多难看呐。反正Python是面向对象语言，要实现个计数器，大不了写个类。

定义与赋值的分离

先总结一下Python与Lua的默认作用域的特点：

1、 Lua默认作用域是全局的，写程序时要牢记local关键字（除非确实要定义全局变量），不小心忘了local也不会提示，就等着纠bug吧。

2、 Python默认作用域是局部的，虽然写程序的思维负担少些，但是丧失了对上层变量赋值的能力（可以改，但会让语言更混乱）。

看来两种默认作用域都有问题？个人认为，出现以上问题的原因是：Python和Lua没有实现定义和赋值的分离。在Python和Lua中，像x = 1这样的语句既可以表示定义，也可以表示赋值。其实不只是这两种语言，其实很多高级语言都没有实现定义和赋值的分离。定义和赋值两者功能上很像，但是它们本质上是有差别的。

下面以x = 1为例解释定义与赋值：

定义的意思是：在当前环境中注册符号x，并初始化为1。如果x已经存在，则报错（不允许重定义）或者覆盖（允许重定义）。

赋值的意思是：从当前环境开始，一层层往上找直到第一次找到符号x，把它的值修改成1。如果找不到就报错（变量不存在）。

现在我们稍微修改一下Python来实现定义和赋值的分离：用“:=”表示定义，用“=”表示赋值。然后重写那个不能运行的new_counter例子（Python中赋值操作和定义局部变量冲突，换句话说，Python其实没有赋值操作，所以我们只需简单的把“=”全换成“:=”就行了），看看它错在哪：

这个程序为什么是错的就很明显了。第4行我们要的是赋值操作，而非定义操作。修改成正确的写法：

这样就能正确运行了（前提是有修改版的Python解释器XD）。

最后说一些Lua的情况。Lua感觉上就把定义和赋值的分离实现了一半。带有local关键字的等号语句肯定是定义了。问题是不带local的等号语句。对于这种语句Lua是这样做的：先试图做赋值，如果赋值失败（变量不存在），就在最外层环境（全局环境）定义变量。也就是说，不带local的等号语句把定义和赋值混在一起了。另外，如果实现了定义和赋值的分离，就不需要考虑默认作用域的问题了——定义全部是在当前环境下定义，都是定义局部变量。我实在想不出在一个函数体或者什么块中定义全局变量的好处。