Python渐进式类型检查疑问：未标注变量为何被静态类型检查器拒绝？

你提到的核心误区是未标注类型的变量并非默认都是Any——现代Python静态类型检查器（比如mypy、pyright）的默认行为是根据变量的初始化表达式做类型推断，而不是直接 fallback 到Any。

看你的代码：

def doubles(x: str) -> str:
     return x + x

y = True
doubles(y)

这里y = True的初始化值是bool类型，类型检查器会自动将y的类型推断为bool，而不是Any。当你把bool类型的y传给要求str类型参数的doubles函数时，类型不匹配，自然会被拒绝。

关于你提到的“可以把y的值改为int类型的123”：这取决于类型检查器的配置。如果是严格模式（比如mypy的--strict选项），后续给y赋值int会触发类型错误，因为变量已经被推断为bool，不能随意变更类型。但如果是宽松模式，部分检查器可能允许这种类型重定义，或者你使用的检查器默认没有开启严格的赋值检查。

而当你显式标注y: Any = True时，类型检查器会尊重你的标注，将y视为Any类型。由于Any是所有类型的超类型和子类型，它可以和str兼容，所以不会触发错误。

总结一下规则：

• 未标注类型的变量，若有明确的初始化表达式，类型检查器会优先推断为该表达式的类型
• 只有当变量没有初始化，或者初始化表达式无法推断出具体类型时，才会默认使用Any
• 显式标注Any会覆盖自动推断的行为

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