为何Python PEP526允许字面量作为类型提示的右侧参数？

为什么字面量（字符串、数字等）允许作为类型注释内容？ #

PEP 526扩展了Python的类型提示语法，允许在变量、属性甚至字典键上添加类型注释。这里的关键设计是：Python的类型提示系统不强制要求注释右侧必须是正式的类型对象，它支持任何合法表达式作为注释内容，包括字面量。

这么做是为了兼顾灵活性：

• 部分场景下，开发者需要标注字典某个键的取值范围是特定字面量（比如state["status"]:"active"，明确提示该键只能取"active"这个值）。
• 静态类型检查工具（如mypy、pyright）可以识别这类字面量注释，实现更精准的类型校验，而Python解释器本身不对注释内容做语法限制，只要是合法表达式即可。

为什么运行时不会报错？ #

这类冒号语句本质是类型注释语句，Python解释器在运行时仅会将注释信息存入对应对象的__annotations__属性，不会执行任何赋值或逻辑操作，因此不会触发报错。

你可以通过以下代码验证注释的存储：

state = {"foo":"bar"}
state["foo"]:"even more bar"
print(state.__annotations__)  # 输出: {'foo': 'even more bar'}

解释器只是记录注释，不会修改字典本身，所以运行时无异常。

实际应用场景 #

这种语法主要用于静态类型检查和代码文档化：

• 精准类型约束：标注字典键的预期取值为特定字面量后，类型检查工具会在代码审查阶段拦截不符合的赋值操作（比如给state["foo"]赋值123，工具会根据注释state["foo"]:"even more bar"提示错误）。
• 直观文档增强：直接在代码中标注键的预期值，比单独写注释更清晰，其他开发者能快速理解该键的取值规范。
• 辅助排查笔误：配合类型检查工具，可以提前发现类似你遇到的赋值笔误——工具会检测到你未给标注的键赋值，或赋值与注释不符，从而及时提醒。

内容的提问来源于stack exchange，提问作者Stephan Botes