Python 中的命名空间

1. 命名空间的定义

命名空间 (Namespace) 是从名称到值的映射，大部分的命名空间都是通过 Python 字典来实现的，它的键就是变量名，它的值是变量的值。

1.1 例子

一个包含 3 个变量的命名空间，如下图所示：

• 第一个变量
  • 名为 a，值为 1
• 第二个变量
  • 名为 b，值为 2
• 第三个变量
  • 名为 c，值为 3

1.2 在同一个命名空间中，不允许重名

在同一个命名空间中，每个变量的名称是唯一的，不允许重名。在下图中，尝试定义 2 个同名变量：

• 命名空间中存在变量 b，取值为 2
• 命名空间中存在变量 b，取值为 3
• 因为处于同一个命名空间，这种情况是不允许的

1.3 在不同的命名空间中，允许重名

在下图中，存在两个不同的命名空间：命名空间 A 和命名空间 B。

• 在命名空间 A 中，有 3 个变量 a、b、c，取值分别是 1、2、3
• 在命名空间 B 中，有 3 个变量 a、b、c，取值分别是 11、22、33
• 因为处于不同的命名空间，这种情况是允许的

2. 三种命名空间

Python 中存在有三种命名空间：

• 内置命名空间：记录了 Python 的内置函数
• 全局命名空间：记录了模块级别的变量
• 局部命名空间：记录了函数的参数和局部变量

2.1 内置命名空间

Python 解释器内置了很多函数, 不需要使用 import 导入即可使用，例如：

>>> max(1, 2)
2
>>> abs(-123)
123

• 函数 max 计算最大值
• 函数 abs 计算绝对值
• Python 程序可以直接使用这两个内置函数

Python 提供了一个内置命名空间，用于记录这些内置函数。Python 中存在一个特殊的 builtins 模块，它记录了所有的内置函数，示例如下：

>>> import builtins
>>> dir(builtins)
['ArithmeticError', 'AssertionError', 'AttributeError', 'BaseException', 'BlockingIOError', 'BrokenPipeError', 'BufferError', 'BytesWarning', 'ZeroDivisionError', 'abs', 'all', 'any','ascii', 'bin', 'bool', 'bytearray', 'bytes', 'callable', 'chr', 'classmethod', 'compile', 'complex', 'copyright', 'credits', 'delattr', 'dict', 'dir', 'divmod', 'enumerate', 'eval', 'exec', 'exit', 'filter', 'float', 'format', 'frozenset', 'getattr', 'globals', 'hasattr', 'hash', 'help', 'hex', 'id', 'input', 'int', 'isinstance', 'issubclass', 'iter', 'len', 'license', 'list', 'locals', 'map', 'max', 'memoryview', 'min', 'next', 'object', 'oct', 'open', 'ord', 'pow', 'print', 'property', 'quit', 'range', 'repr', 'reversed', 'round', 'set', 'setattr', 'slice', 'sorted', 'staticmethod', 'str', 'sum', 'super', 'tuple', 'type', 'vars', 'zip']
>>>

• 在第 1 行，导入 builtins 模块
• 在第 2 行，使用 dir 列出 builtins 模块中的变量和函数的名称

>>> m = builtins.max
>>> m(1, 2)
2
>>> a = builtins.abs
>>> a(-123)
123

• 在第 1 行，引用 builtins 命名空间中的 max 函数
• 在第 4 行，引用 builtins 命名空间中的 abs 函数

2.2 全局命名空间

在 Python 的全局命名空间中，记录了模块级别的变量，包括变量、函数、类。

Python 中的内置函数 globals() 返回表示全局命名空间的字典，示例如下：

class Person:
    def __init__(self, name):
        self.name = name

def show(person):
    print(person.name)

tom = Person('tom') 
jerry = Person('jerry')

dict = globals()
print(dict)

• 在第 1 行，在全局空间定义了类 Person
• 在第 5 行，在全局空间定义了函数 show
• 在第 8 行，在全局空间定义了实例变量 tom
• 在第 9 行，在全局空间定义了实例变量 jerry

程序输出如下：

{
    '__name__': '__main__', 
    '__doc__': None, 
    '__package__': None, 
    '__file__': 'globals.py', 
    '__cached__': None, 
    'Person': <class '__main__.Person'>, 
    'show': <function show at 0x0000000001D03E18>, 
    'tom': <__main__.Person object at 0x0000000001E1BC50>, 
    'jerry': <__main__.Person object at 0x0000000001E1BCC0>, 
}

输出包括了 Person、show、tom 和 jerry，它们是用户定义的全局函数和变量。

2.3 局部命名空间

在 Python 的局部命名空间中，记录了函数的参数和局部变量。

Python 中的内置函数 locals() 返回表示局部命名空间的字典，示例如下：

def function(a, b):
    c = 3
    d = 4
    dict = locals()
    print(dict)

function(1, 2)

• 在第 1 行，函数 function 定义了参数 a 和 b
• 在第 2 行，函数 function 定义了局部变量 c
• 在第 3 行，函数 function 定义了局部变量 d

程序输出如下：

{'a':1, 'b':2, 'c':3, 'd':4}

输出包括了 a、b、c 和 d，它们是函数的参数和局部变量。

3. 命名空间的查找顺序

Python 程序访问变量时，按照如下规则查找变量：

1. 在局部命名空间中，查找变量
2. 如果找不到，则在全局命名空间中，查找变量
3. 如果找不到，则在内置命名空间中，查找变量
4. 如果找不到，则抛出 NameError 异常

下面的例子演示了查找顺序：

a = 1
b = 2

def function(c, d):
    e = 5
    f = 6
    访问某个变量

function(3, 4)    

• 程序包含了 3 个命名空间

  • 内置命名空间，包括: max、min、abs 等内置函数
  • 全局命名空间，包括：a、b、function
  • 局部命名空间，包括：c、d、e、f

• 在第 7 行，访问某个变量

  • 如果访问的变量是 c，则能在局部命名空间中找到
  • 如果访问的变量是 a，则能在全部命名空间中找到
  • 如果访问的变量是 max，则能在内置命名空间中找到
  • 如果访问的变量是 x，在以上三个命名空间中查找不到，抛出异常 NameError