mypy通过静态语法和类型规则推断类型：局部变量依初始化值定型，函数类型依赖标注或上下文，容器类型随操作动态细化，泛型和上下文触发双向推断。
mypy 的类型推断不是靠运行时分析，而是基于静态语法结构和类型规则，在不执行代码的前提下，从变量定义、函数调用、表达式上下文等位置“猜出”最合理的类型。
局部变量的类型由初始化值决定
当变量首次被赋值时，mypy 会直接取右边表达式的类型作为该变量的类型。例如 x = 42 推出 x: int，name = "Alice" 推出 name: str。如果赋值是函数调用，就看函数声明的返回类型；如果是字面量或构造器（如 []、{}），则结合内容进一步细化（如 [1, 2] → List[int]）。
- 若初始化为空容器（如
items = []），mypy 默认用泛型基类型（List[object]），但常通过后续使用（如items.append("a")）反向推导为List[str] - 多个赋值语句可能触发类型拓宽（如先
x = 1再x = "hello"，会合并为Union[int, str]）
函数参数和返回值依赖显式标注或调用上下文
未标注类型的函数，mypy 默认将其视为动态（Any），不推断；但若函数体简单（如只返回一个字面量），且调用处有明确上下文，可能借助“调用点推断”辅助判断。更常见的是：参数类型由调用时传入的实际参数类型反向约束，返回类型则由函数体内 return 表达式的类型统一确定（需所有分支一致，否则取并集）。
- 例如
def f(): return 3.14会被推为Callable[[], float] - 若函数内有
if/else分支返回不同类型，mypy 取最小公共超类型（如int和float→float；str和int→object）
泛型和容器类型靠元素内容和操作模式细化
列表、字典、集合等容器的类型不是孤立推断的，而是结合创建方式与后续方法调用共同确认。比如 xs = [1, 2, 3] 是 List[int]；一旦调用 xs.append("hi")，mypy 就会把类型更新为 List[Union[int, str]]，甚至报错（取决于配置是否允许隐式联合）。
立即学习“Python免费学习笔记（深入）”；
- 字典推断看键值对：
d = {"a": 1, "b": 2}→Dict[str, int] - 若键类型混用（
"a"和42），键类型变为Union[str, int]，值类型同理 -
typing.List或list注解存在时，优先以注解为准，推断只起补充作用
推断受上下文影响，尤其在函数调用和赋值中
当一个表达式出现在期待特定类型的上下文中（比如某参数声明为 Callable[[str], int]），mypy 会把该表达式（如 lambda）的参数和返回类型“拉齐”到上下文要求，再反向验证是否兼容。这种“双向推断”让匿名函数、高阶函数调用也能获得较准类型。
- 例如
map(lambda x: x.upper(), ["a", "b"])中，lambda的x被推为str，返回值为str，整体符合map的泛型约束 - 赋值给已标注变量也会触发检查：
def greet() -> str: ...; x: int = greet()会报错，因为推断出的str不匹配目标int
