如何为元组赋值语句中的变量添加类型注解？

1. Python 3.6+（PEP 526）：一行完成严格类型注解 #

你可以直接在每个变量后添加PEP 526类型注解，写在同一行的赋值语句中，静态分析工具（如Pylance、mypy）可正常识别，无需拆分多行：

from typing import Tuple, Any

def foo() -> Tuple[Any, Any]:
    return "x", 2

a: str, b: int = foo()  # 一行完成，明确a为str、b为int

这种写法符合规范，既保留了元组赋值的简洁性，又添加了更严格的类型约束，不会出现语法错误。如果是嵌套元组赋值，同样可以用类似方式：

def bar() -> Tuple[Any, Tuple[Any, Any]]:
    return "hello", (123, True)

name: str, (num: int, flag: bool) = bar()

2. Python ≤3.5（PEP 484）：无额外赋值的类型提示 #

在Python 3.5及更早版本中，PEP 526的变量注解语法尚未支持，直接写a: str会触发未绑定变量错误，赋值None又会改变代码行为。可以通过以下两种方式解决：

方法一：赋值语句后添加类型注释 #

在元组赋值语句末尾通过# type: (类型1, 类型2)的方式标注类型，静态分析工具会据此识别变量类型，且不影响运行时行为：

from typing import Tuple, Any

def foo() -> Tuple[Any, Any]:
    return "x", 2

a, b = foo()  # type: (str, int)

方法二：使用typing.cast强制类型转换 #

通过cast函数将foo()的返回值转换为目标元组类型，类型检查器会以此推导变量类型，cast仅在静态分析阶段生效，运行时不会对值做任何修改：

from typing import Tuple, Any, cast

def foo() -> Tuple[Any, Any]:
    return "x", 2

a, b = cast(Tuple[str, int], foo())

这样既避免了未绑定变量错误，又不会引入额外的运行时行为差异。

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