Python3显式访问块外非外部函数作用域变量及相关作用域问题

显式访问代码块外部、非外部函数作用域的变量 #

首先明确Python的核心作用域规则：只有模块、函数定义、类定义会创建独立作用域，if/for/while/try等普通代码块不会新开作用域，和C/Java等支持块级作用域的语言有明显区别。
你给出的示例中，if代码块内的i = 11默认就是修改外层模块作用域的i，两者id完全一致，不会新建变量。PyCharm的提示属于静态检测误报，实际运行不会出现新建变量的情况。
如果你的代码实际放在函数内部，要修改函数外的全局变量，需要显式加global关键字声明：

i = 10
def test(some_condition):
    global i
    if some_condition:
        i = 11 # 此时修改的是全局的i，id和外层完全一致

如果是嵌套函数场景，要修改外层函数的变量，用nonlocal关键字声明即可。

声明同名局部变量且不影响外层变量取值 #

如果是在函数内部，直接对同名变量赋值就会自动创建局部变量，不会影响外层变量，注意不要加global或nonlocal声明：

i = 10
def test(some_condition):
    if some_condition:
        i = 11 # 这里的i是函数局部变量，和外层全局i无关
        print(i) # 输出11
test(True)
print(i) # 输出10，外层i不受影响

但如果是在普通代码块（非函数/类/模块）中，因为没有独立作用域，无法创建同名的局部变量，要避免影响外层只能更换变量名，或者把这段逻辑封装成独立函数。

强制仅对已存在的变量赋值，不存在时抛出异常 #

Python原生没有支持该逻辑的内置语法，可通过两种方式实现需求：

• 运行时动态检测：赋值前先检查变量是否存在于当前作用域

# 检查变量i是否存在
if 'i' not in locals() and 'i' not in globals():
    raise NameError("变量i未定义，禁止赋值")
i = 11

• 静态检查：使用mypy等类型检查工具，开启严格模式后，给未声明的变量赋值会直接抛出静态错误，不需要运行就能提前发现问题。
  如果是类的实例属性限制，可以重写__setattr__方法，仅允许给已存在的属性赋值：

class MyClass:
    def __init__(self):
        self.i = 10
    def __setattr__(self, name, value):
        if not hasattr(self, name):
            raise AttributeError(f"属性{name}不存在，禁止赋值")
        super().__setattr__(name, value)

内容的提问来源于stack exchange，提问作者Isuxiz Slidder