在 Python 类定义中，若属性名与外部已定义的类名相同，且其类型注解使用 |（如 A | None）并赋予默认值（如 = None），会因名称绑定时机错误导致 None | None 被执行，从而引发 TypeError：unsupported operand type(s) for |: 'NoneType' and 'NoneType'。
在 python 类定义中，若属性名与外部已定义的类名相同，且其类型注解使用 `|`（如 `a | none`）并赋予默认值（如 `= none`），会因名称绑定时机错误导致 `none | none` 被执行，从而引发 `typeerror`：`unsupported operand type(s) for |: 'nonetype' and 'nonetype'`。
这个问题本质源于 Python 类体（class body）的执行语义与名称解析顺序。类定义并非静态声明，而是一个可执行代码块：当解释器逐行执行 class B: 内部语句时，遇到 A: A | None = None 这一行，会按以下顺序处理：
- 先绑定左侧名称：A 作为类属性名被立即加入类 B 的局部命名空间（namespace），并初始化为右侧表达式的求值结果（即 None）；
- 再求值右侧表达式：此时 A 已在当前作用域中被绑定为 None，因此 A | None 实际等价于 None | None；
- 类型运算符 | 不支持 NoneType：None | None 触发 TypeError，因为 NoneType 未实现 __or__ 方法。
下面通过简化示例验证该机制：
class A:
pass
# ❌ 错误：A 在 B 的作用域中被提前绑定为 None
class B:
A: A | None = None # TypeError: unsupported operand type(s) for |: 'NoneType' and 'NoneType'
# ✅ 正确方案 1：重命名属性（推荐）
class B:
a_instance: A | None = None # 名称不冲突，A 指向模块级 class A
# ✅ 正确方案 2：延迟类型解析（使用字符串字面量）
class B:
A: "A | None" = None # 字符串注解不触发运行时求值，类型检查器（如 mypy）仍可解析
# ✅ 正确方案 3：显式引用模块级名称（需确保无循环导入）
from __future__ import annotations # 启用 postponed evaluation（Python 3.7+）
class B:
A: A | None = None # 在启用了 annotations 的前提下，类型注解整体推迟求值⚠️ 注意事项：
- 此行为与 from __future__ import annotations 强相关：启用后，所有类型注解均推迟到运行时之后（如由类型检查器或 typing.get_type_hints() 解析），从而避免在类定义期间求值 A | None；
- 即使未启用 annotations，也可用字符串字面量（如 "A | None"）绕过运行时解析；
- 该问题仅影响类体内带默认值的属性定义；方法签名中的类型注解（如 def f(self, x: A | None) -> None:）不受影响，因其不在类体执行流中求值；
- 不要误认为这是类型系统缺陷——它实则是 Python 作用域规则与类型注解语法糖（PEP 604）交互产生的预期行为。
总结：当设计类结构时，应避免将属性名与同作用域外已存在的类名重复，尤其在配合 | 联合类型和默认值时。最稳妥的做法是启用 from __future__ import annotations，或采用描述性属性名 + 字符串类型注解，兼顾可读性、健壮性与类型工具兼容性。
立即学习“Python免费学习笔记（深入）”；
