全局字典不需要关键字 global 来修改它们吗？ [复制]

Question

我想知道为什么我可以在没有global 关键字的情况下更改全局字典？为什么它对其他类型是强制性的？这背后有什么逻辑吗？

例如代码：

#!/usr/bin/env python3

stringvar = "mod"
dictvar = {'key1': 1,
           'key2': 2}

def foo():
    dictvar['key1'] += 1

def bar():
    stringvar = "bar"
    print(stringvar)

print(dictvar)
foo()
print(dictvar)

print(stringvar)
bar()
print(stringvar)

给出以下结果：

me@pc:~/$ ./globalDict.py 
{'key2': 2, 'key1': 1}
{'key2': 2, 'key1': 2}  # Dictionary value has been changed
mod
bar
mod

我期望的地方：

me@pc:~/$ ./globalDict.py 
{'key2': 2, 'key1': 1}
{'key2': 2, 'key1': 1}  # I didn't use global, so dictionary remains the same
mod
bar
mod

Answer 1

您可以在不使用global 关键字的情况下修改任何可变对象。

这在 Python 中是可能的，因为global 用于将新对象重新分配给已在全局范围内使用的变量名或定义新的全局变量。

但对于可变对象，您无需重新分配任何东西，您只是在原地修改它们，因此 Python 只需从全局范围加载它们并修改它们。

正如docs 所说：

没有全局变量就不可能赋值给全局变量。

In [101]: dic = {}

In [102]: lis = []

In [103]: def func():
    dic['a'] = 'foo'
    lis.append('foo') # but  fails for lis += ['something']
   .....:     

In [104]: func()

In [105]: dic, lis
Out[105]: ({'a': 'foo'}, ['foo'])

dis.dis:

In [121]: dis.dis(func)
  2           0 LOAD_CONST               1 ('foo')
              3 LOAD_GLOBAL              0 (dic)     # the global object dic is loaded
              6 LOAD_CONST               2 ('a')
              9 STORE_SUBSCR                         # modify the same object

  3          10 LOAD_GLOBAL              1 (lis)    # the global object lis is loaded
             13 LOAD_ATTR                2 (append)
             16 LOAD_CONST               1 ('foo')
             19 CALL_FUNCTION            1
             22 POP_TOP             
             23 LOAD_CONST               0 (None)
             26 RETURN_VALUE  

Answer 2

原因是行

stringvar = "bar"

是不明确的，它可能是指一个全局变量，或它可能是创建一个名为stringvar的新局部变量。在这种情况下，Python 默认假定它是一个局部变量，除非已经使用了 global 关键字。

但是，行

dictvar['key1'] += 1

完全没有歧义。它只能引用全局变量dictvar，因为dictvar 必须已经存在才能使语句不抛出错误。

这并不特定于字典 - 列表也是如此：

listvar = ["hello", "world"]

def listfoo():
    listvar[0] = "goodbye"

或其他种类的物体：

class MyClass:
    foo = 1
myclassvar = MyClass()

def myclassfoo():
    myclassvar.foo = 2

mutating operation is used rather than a rebinding one 的任何时候都是如此。