6.2 Python作用域和命名空间
在介绍类之前,首先我想告诉你一些关于python作用域的规则。类的定义非常巧妙地运用了命名空间,你需要知道范围和命名空间的工作原理以能全面了解接下来发生的。 顺便说一下,关于这节讲到的知识对于任何优秀的python程序员非常有用。
让我们开始以一些定义开始。
命名空间(namespace)是一个从名称到对象的映射。大多命名空间目前用Python字典实现的,但那通常不会被注意(除非为了性能),在将来它可以改变。命名空间的例子是:内置名称的set(包含函数如abs()和内置异常名称);在模块中的全局变量名称;在函数调用时的局部名称。在一定程度上对象的属性赋值形成一个命名空间。掌握命名空间的重要事情是在不同的命名空间绝对没有关系。例如,两个不同的模块都可以不混淆的定义方法maximize。模块的用户必须用模块名称为前缀。
随便说一下,我习惯上吧每一个跟在点号(.)后面的属性都称为属性(attribute)。例如在表达式z.real。Real是对象z的一个属性。严格意义上讲,在模块中引用的名称都是属性的引用:在表达式modname.funcname,modname是一个模块对象和funcnam是它的一个属性。 在这个例子,这恰好是在于模块属性和在模块定义中的全局变量名称之间的一个简单的映射:它们共享同样的命名空间。
属性是可读的或者是可写的。在后一种情况下,允许对属性赋值。如果模块属性是可写的,你可以这么写,modername.the_answer = 42. 可写属性也可以用del语句删除。例如,del modname.the_answer将会从名叫modname模块中移除属性 the_answer。
命名空间可以在不同的时间里存在并且有不同的生命周期。当python解释器启动时,包含内置名称的命名空间就会创建。并且从不删除。当模块定义读入时,模块的全局命名空间就会创建。正常来说,模块命名空间一直存在直到解释器退出。通过解释器的顶层调用执行,从脚本文件中读取或者交互,都认为是_main_模块的一部分,因此他们也有自己的全局命名空间。(内置名称实际也存在于一个模块,称为builtins.)
当函数调用时函数的局部命名空间就会创建,当函数返回值或者抛出在方法中没有处理的异常时,就会删除。当然,每个递归调用都有自己的局部命名空间。
作用域就是一个python程序可以直接访问命名空间的正文区域。这里“直接访问”的意思就是一个名称的非法引用试图在命名空间中寻找名称。
尽管作用域都是静态定义,但是它们动态使用。在执行过程中的任何时候,至少有给三个关联的命名空间可以直接访问的作用域:
l 首先被查的是包含局部变量的最内层作用域
l 任何关闭函数的作用域,它们以最近封装的作用域开始进行查询,包含的不是局部变量也不是非全局变量。
l 接着查询包含当前模块全局变量的作用域。
l 最后查询的就是最外面的作用域,它是包含内置方法的命名空间。
如果名称定义为全局的,那么所有的引用和赋值都可以直接给包含模块全局变量的中间作用域。为了重新绑定在最内层作用域外面发现的变量,nonlocal语句可以使用。如果没有定义为非本地,这边变量只能读取。(读取这种变量的尝试就会在最内层作用域中产生一个本地局部变量,而外部那个相同标识符的变量不会改变)
通常,局部作用域引用当前函数的局部变量。函数外面,局部作用域引用引用和全局作用一样的命名空间:模块命名空间。类定义也会在局部作用域中引入另一个命名空间。
知道作用域可以在文本中定义是非常重要的。在模块中定义函数的全局作用域是那个模块的命名空间,不管函数从哪里或者用何种名称调用。另一方面,对名称的真正查询是在运行时候动态查询的。但是,语言的定义正在向编译时静态名称确定进化,因此不要依赖动态名称解决。(事实上,局部变量已经静态定义了)
Python一个特别之处是--如果没有全局变量有效--名称的赋值常常进入最内层的范围。赋值不会拷贝数据--它们紧紧是把名称绑定在对象上。删除也是一样。Del语句就会移除从局部作用域的命名空间去掉与x的绑定。事实上,介绍新名称的所有操作都用局部变量,特别是,import语句和函数定义在局部局部作用域中绑定模块或者函数名称。
Global语句可以用来描述活动在全局作用域中的特别变量并且应该绑定在那里。Nonlocal语句描述活动在封装作用域中的特别变量并在那里绑定。