Python类型提示中tuple[str, str]|str与(str, str)|str为何不等效

这两种写法完全不等价，问题本质是Python的运算符优先级规则，以及你长期以来对元组类型注解的写法存在误用。 #

1. 两种写法的解析逻辑天差地别 #

Python语法里，PEP 604用来表示联合类型的|运算符，优先级远高于逗号分隔符：

• 写tuple[str, str] | str时，解析器会先识别tuple[str, str]这个合法的定长元组泛型（表示两个元素均为str的元组类型），再和str做联合运算，最终得到合法的联合类型：「值要么是两个str组成的定长元组，要么是单个str」，所有符合规范的类型检查器都能正常识别。
• 写(str, str) | str时，因为|优先级更高，解析器会先计算str | str，整个表达式最终被解析为(str, (str | str))——这根本不是类型，而是一个普通的元组值：第一个元素是str类对象，第二个元素是str | str的联合类型对象。类型检查器拿到这么个普通元组当类型注解，自然无法正常处理。

2. 为什么单独写a: (str, str) = ("foo", "bar")好像能过检查？ #

这是mypy、pyright等主流类型检查器做的非标准容错，不是Python类型语法的正式规则。
按照PEP 484、PEP 604的官方规范，定长、指定元素类型的元组类型，必须用tuple[元素1类型, 元素2类型, ...]的泛型下标形式声明，从来没有认可过“括号包逗号分隔类型就等于元组类型”的写法。
你之前用(str, str)没报错，只是因为括号里只有逗号分隔的类型、没有其他高优先级运算符时，类型检查器会主动把这种长得像元组值的写法，兼容识别为定长元组类型，属于误打误撞能用的“野路子”。一旦表达式里混入|这类高优先级运算符，解析顺序直接错乱，兼容逻辑就完全失效了。
你可以直接运行代码验证，(str, str)在注解位置求值后本身就是普通元组，根本不是类型对象：

def demo() -> (str, str):
    return ("a", "b")
print(demo.__annotations__["return"])
# 输出：(<class 'str'>, <class 'str'>)

3. 规范写法 #

所有定长、需要指定元素类型的元组注解，永远使用标准的tuple[...]泛型写法，不要用括号包逗号的非标准简写：

# 正确，符合规范
a: tuple[str, str] | str = ""

# 不推荐，属于类型检查器兼容的野路子写法，容易出问题
a: (str, str) = ("foo", "bar")

再直观对比下两个表达式的求值结果，差异一目了然：

# 输出：tuple[str, str] | str，是合法的类型对象
print(tuple[str, str] | str)

# 输出：(<class 'str'>, str | str)，是普通元组值，不是类型
print((str, str) | str)

内容的提问来源于stack exchange，提问作者FluidMechanics Potential Flows