Python带冒号的变量赋值语法解析：为何x:xxx=yyy等效于x=yyy？

这个现象和映射、预赋值替换完全没关系，本质是你不小心用到了Python 3.6引入的变量类型注解语法，而非切片赋值。下面拆解清楚：

1. 先分清两个完全不同的语法 #

你原本想写的是列表切片赋值：x[:-9999] = [-1, 0]——这里的冒号是在方括号[]内部，属于列表的切片表达式，用来指定要替换的列表区间。

但你写成了x:[-9999] = [-1, 0]——这里的冒号是在变量名x的后面、等号=的前面，这属于Python的变量类型注解语法，和列表操作完全无关。

2. 类型注解的赋值规则 #

Python 3.6+允许给变量添加类型注解，语法格式是：

变量名: 类型表达式 = 赋值内容

这里的核心逻辑是：

• 赋值操作的主体是变量名 = 赋值内容，这部分会正常执行，把右边的值赋给左边的变量；
• 冒号后面的类型表达式只是用来给变量附加类型元数据，Python会把它存储起来，但不会影响赋值的结果——哪怕你写的是列表[-9999]、数字5、字符串'hello'，都只是当作注解，不会参与赋值逻辑。

举个实际测试的例子：

# 执行你的笔误代码
x:[-9999] = [-1, 0]
print(x)  # 输出 [-1, 0]，和直接赋值结果一致

# 查看变量的类型注解
print(__annotations__)  # 输出 {'x': [-9999]}，证明注解被存储了

# 再测试你提到的其他例子
x:5 = 1
print(x)  # 输出 1
print(__annotations__)  # 输出 {'x': 5}

x:'hello' = 'goodbye'
print(x)  # 输出 'goodbye'
print(__annotations__)  # 输出 {'x': 'hello'}

3. 为什么会产生这种混淆？ #

核心是冒号的位置：

• 冒号在方括号[]内部 → 是切片/索引语法（比如x[1:3]、x[:-1]）；
• 冒号在变量名和等号之间 → 是类型注解语法（比如x:int = 1）。

你的笔误刚好把冒号放到了变量名后面，触发了类型注解逻辑，所以看起来冒号后面的内容被“忽略”了——其实它只是被当作注解存起来，没影响赋值而已。

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