Python 特殊变量声明语法的官方文档及运行原理解答

你观察到的执行现象完全符合Python的语法设计，核心逻辑如下：

• 冒号与等号之间的内容是类型注解，从Python 3.6版本开始支持，本质是附加给变量的元信息，默认不会对运行时的赋值逻辑产生任何影响，也不会自动做类型校验、类型转换。
• 带注解的赋值语句执行顺序和普通赋值完全一致：优先对等号右侧的表达式求值，得到结果后直接绑定给左侧变量，和注解位置写了什么内容无关。
• Python对注解位置的内容没有强制的类型要求，只要是语法合法的表达式即可，哪怕写的不是真正的类型也不会报错。

对你给出的示例的具体解释 #

第一段示例代码：

x: dict() = {}
y: list() = ()

这里注解位置的dict()、list()只是普通的函数调用表达式，运行时如果注解被求值，会分别得到空字典、空列表，但这个求值结果完全不参与赋值过程。这两行的实际执行效果和无注解的x = {}、y = ()完全等价：x最终是空字典，y最终是空元组。

第二段示例代码：

v: list(list((1,2))) = {}
v["str"] = 1
#v returns {'str': 1}

逻辑完全相同：等号右侧先求值得到空字典，直接绑定给变量v。注解位置的list(list((1,2)))计算结果是[1,2]，但这个结果既不会校验v是否为列表类型，也不会把v转换成列表，因此v本质上始终是空字典，自然支持键值赋值操作，最终得到{'str': 1}是完全正常的运行结果。

补充说明 #

• 类型注解的设计初衷是给静态类型检查工具、IDE提供类型提示，辅助开发阶段做错误检查，Python解释器本身默认不会依据注解做任何运行时逻辑处理。
• 注解位置可以写任意合法表达式：比如v: 123 = "字符串"、v: print("注解内的代码被执行了") = []都是语法合法的，后者在注解被求值时还会触发打印操作。
• 如果代码开头写了from __future__ import annotations，注解位置的表达式会被直接处理为字符串存储，不会在运行时求值，此时写在注解里的函数调用根本不会执行。

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