Python 语言中看似简单的常量定义，在底层实现上却存在令人费解的差异化设计。文章深入剖析了 Python 的六个预声明常量——True、False、None、__debug__、Ellipsis 和 NotImplemented——揭示了它们在词法分析和作用域处理上的不一致性。研究发现，True、False 和 None 实际上是关键字而非标识符，这使得它们无法通过属性访问（如 x.True 会引发语法错误），且不受 `builtins` 模块修改的影响。相比之下，__debug__ 虽然是标识符，但却是 Python 中唯一被语法层面禁止赋值的变量，其值还会根据运行时的优化标志（-O）动态变化。最奇怪的是 Ellipsis 和 NotImplemented，它们本质上只是普通的内置常量，完全可以被全局变量覆盖，尽管其符号形式 `…` 表现得仍像是一个常量。这种即使在 `setattr(builtins, ‘True’, 67)` 修改后，关键字 True 依然保持原值的“硬编码”行为，展示了 Python 在演进过程中为了保持语言核心稳定性所做的特殊处理，同时也暴露了语言规范中存在的“特例”与不统一性。
事件分析
Python 常量机制的复杂性揭示了脚本语言在设计初期的灵活性与后期规范化之间的张力。将 True、False 和 None 提升为关键字，实际上是 Python 为了确保类型系统核心组件的绝对安全而做出的硬性约束，防止了用户代码无意中覆盖逻辑真值。而 __debug__ 的设计则体现了 Python 对性能与开发体验的平衡考量，提供了低成本的代码分支优化路径。相比之下，Ellipsis 和 NotImplemented 仍作为普通内置对象存在，说明它们在语言生态中的优先级较低，主要用于特定协议（如切片和算术运算）的实现。这种技术上的“双标”虽然让语言实现变得复杂，但也提醒高级开发者：在编写框架或元编程工具时，必须深刻理解这些内置对象的词法边界，才能避免潜在的运行时错误或内存泄漏风险。
核心观点：Python 常量的多重实现机制暴露了该语言在演进过程中为了兼容性而做出的不规则妥协，底层逻辑的“不纯粹”正是动态语言灵活性的代价。
原文链接：Hacker News
