Python中`RandomStuff: x = 1`式带冒号语法的运行功能与设计原因

你遇到的带冒号的独立语句，是Python 3.6版本正式引入的**变量注解（Variable Annotation）**语法，不属于控制流结构、跳转标签、复合赋值逻辑，不存在“跳转到对应标签执行代码”的作用。

这类语句的语法结构是严格固定的，拆解形式为：
<被注解的目标变量>: <注解表达式内容> [= <给目标的赋值表达式>]
解释器执行这类语句的固定流程没有任何歧义：

• 第一步：优先求值冒号与等号之间的注解表达式内容，计算结果仅会存入当前作用域的__annotations__字典作为元数据，整个过程只做值读取，不会产生任何变量绑定、变量修改效果
• 第二步：如果语句存在等号，再求值等号后的赋值表达式，将计算结果直接绑定到最开头的被注解的目标变量上
  对应你提供的复现代码的逐行行为：

1. 第一次执行RandomStuff: x = 1时，第一步就需要读取注解表达式部分的x——此时全局命名空间没有x的定义，直接触发NameError，后续的赋值流程根本不会运行，和你看到的报错信息完全匹配
2. 手动执行x = 1完成x的绑定后，再执行RandomStuff: x = 2：
   • 第一步读取注解表达式x的当前值（1）存入元数据，全程没有写入x的操作
   • 第二步将等号后的整数2绑定到最开头的目标变量RandomStuff上
3. 整个流程中没有任何对x的赋值逻辑，因此x的取值始终保持为1。你可以在执行完这行语句后输入RandomStuff查看值，会得到2，进一步验证赋值的作用对象完全不涉及x。
   注：这个执行流程是Python解释器从3.6到后续所有版本的固定设计，不会随着版本迭代发生变化。

这个语法从设计之初就不以实现运行时业务逻辑为目标，核心作用是：

• 提供统一的、无执行副作用的语法标记位，用来标注变量的预期类型、业务语义等可被工具读取的结构化元数据，替代之前散落在普通注释里的类型说明
• 从语法层面严格隔离注解逻辑和业务赋值逻辑：注解部分的表达式仅做一次性求值用来存储元数据，赋值操作严格作用于最开头的目标变量，从根源上避免注解操作意外修改业务变量取值，保证代码行为可预测。

很多人看到这种“标识符:”的写法会联想到其他语言里的goto标签，实际上Python从未内置goto语法，所有带冒号的语句只有两类：一类是需要跟随缩进代码块的控制流、定义类语句（if、for、def、class等），另一类就是这类独立的变量注解语句，不存在任何跳转执行的作用。

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