为何Python类型检查对TypeAlias类型不匹配不报错？

首先，TypeAlias的作用不是创建与原类型不兼容的新类型，它只是给现有类型起了一个别名，本质上和原类型完全等价。

在你的代码中：

Verb: TypeAlias = str

这相当于告诉类型检查器：“后续我写Verb时，指的就是str类型”。所以当你把str类型的greeting传给参数类型为Verb的函数时，类型检查器判定这完全匹配，不会报错——因为二者本来就是同一个类型。

如果想要创建和原类型不兼容的“独立类型”，需要使用NewType而非TypeAlias。示例如下：

from typing import NewType

Verb = NewType('Verb', str)

def concats_string(base: Verb) -> str:
    return " ".join([base, "World"])

greeting: str = "Hello"
# 此处类型检查器会报错，str无法直接赋值给Verb类型
print(concats_string(greeting))
# 正确用法是显式转换类型
print(concats_string(Verb(greeting)))

这种情况下，Verb是一个独立的类型，尽管运行时它仍属于str，但类型检查器会将其与原生str区分开。

至于" ".join([base, "World"])未报错，是因为无论base是Verb还是str，本质都是字符串，完全符合join方法对可迭代元素的类型要求（元素必须为字符串）。

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