python exec（）中的全局变量和局部变量

好吧，我认为这可能是实现错误，也可能是未经证明的设计决策。问题的症结在于模块范围内的名称绑定 *** 作应绑定到全局变量。实现的方式是，在模块级别，globals（）是locals（）（在解释器中尝试该值），因此，当您进行任何名称绑定时，它会像往常一样将其分配给locals（
）字典，它也是全局变量，因此创建了全局变量。

查找变量时，首先检查当前的本地变量，如果未找到名称，则递归检查包含范围的本地变量变量名称，直到找到变量或到达模块作用域为止。如果达到此目的，则检查全局变量，该全局变量应该是模块作用域的本地变量。

>>> exec(compile("import sysnprint sys._getframe().f_pre.co_name", "blah", "exec"), {}, {})<module>>>> exec("a = 1nclass A(object):ntprint an", {}, {})Traceback (most recent call last):  File "<stdin>", line 1, in <module>  File "<string>", line 2, in <module>  File "<string>", line 3, in ANameError: name 'a' is not defined>>> d = {}>>> exec("a = 1nclass A(object):ntprint an", d,d)1

此行为是继承起作用的原因（名称查找使用了代码对象的作用域locals（），其中确实包含A）。

最后，这是CPython实现中的一个丑陋的骇客，专门用于对全局变量进行查找。它还会导致一些荒谬的人为情况-例如：

>>> def f():...     global a...     a = 1...>>> f()>>> 'a' in locals()True

请注意，这是我在阅读python语言参考的第4.1节（命名和绑定）时基于与解释器混淆的所有推断。尽管这不是确定的（我还没有打开CPython的源代码），但我相当确定我对行为是正确的。