Python未赋值时如何创建变量实体？《编译原理》相关技术问询

加粗条款的核心含义 #

这里的**“无对应实体时该定义性使用会创建实体”特指全局作用域中首次对未定义变量执行赋值操作的场景**——Python允许全局作用域通过赋值隐式创建变量实体，但局部作用域不遵循此规则，这也是你疑惑的关键：并非所有场景都不会触发NameError，只有全局作用域的赋值操作才会触发这个行为。

为什么不会触发NameError？ #

Python的作用域遵循LEGB规则（局部Local→闭包Enclosing→全局Global→内置Built-in）：

• 全局作用域中，当你首次对未定义变量执行赋值时，解释器会自动在全局命名空间中创建该变量实体，这是全局作用域的特殊设计。
• 局部作用域中，若首次引用未定义变量时仅做读取操作，会直接触发NameError；若先引用后赋值，Python编译函数时会将其标记为局部变量，运行时因未提前赋值也会触发NameError。

示例与三种场景区分 #

1. 无对应实体时创建全局实体（加粗条款的场景） #

注意：条款中的“定义性使用”特指赋值操作，单纯引用未定义变量依然会报错：

print(x)  # 直接触发NameError: name 'x' is not defined
x = 10    # 首次赋值，全局命名空间创建x实体
print(x)  # 输出10

2. 为已有全局变量赋值 #

全局空间存在变量时，直接赋值会修改其值；若在局部作用域修改全局变量，必须用global声明，否则会被当作新的局部变量：

x = 5  # 全局变量x

def modify_global():
    global x  # 声明使用全局作用域的x
    x = 20

modify_global()
print(x)  # 输出20，全局变量被修改

def wrong_modify():
    x = 30  # 创建局部变量x，与全局x无关
wrong_modify()
print(x)  # 仍输出20

3. 创建新局部变量 #

局部作用域中首次赋值的变量，默认绑定为局部实体，无需额外声明：

def create_local():
    y = 15  # 首次赋值，创建局部变量y
    print(y)  # 输出15

create_local()
print(y)  # 触发NameError，y仅存在于局部作用域

若局部作用域中先引用变量再赋值，会触发NameError——Python编译函数时已将变量标记为局部，运行时发现引用时未赋值：

def bad_local():
    print(y)  # 触发NameError: local variable 'y' referenced before assignment
    y = 25

补充：nonlocal声明的作用 #

nonlocal并非指定全局作用域，而是用于绑定闭包的外层嵌套作用域（非全局）变量：

def outer():
    z = 100
    def inner():
        nonlocal z  # 声明使用外层嵌套作用域的z
        z = 200
    inner()
    print(z)  # 输出200

outer()
print(z)  # 触发NameError，z不是全局变量

内容的提问来源于stack exchange，提问作者Dean DeRosa