Python中使用海象运算符定义TypeVar触发mypy报错问题咨询

结论 #

TypeVar场景并没有专门禁止海象运算符，本质是静态类型检查工具不支持在类型注解的位置解析赋值表达式（海象运算符），这种写法本身不符合类型注解的语法规范。

具体说明 #

• 类型注解的解析逻辑和普通运行时代码是分离的：mypy这类静态检查工具不会在扫描注解时执行赋值操作，写在Sequence[T := TypeVar('T')]里的赋值语句对检查器来说只是非法标记，既不会真的创建T这个类型变量，也无法被后续的返回值注解识别，直接触发「无效注解」「T未定义」两个报错。
• 哪怕Python 3.10默认的注解求值逻辑会让这段代码在运行时真的执行海象赋值、创建出T变量，静态检查工具也不会兼容这种非标准写法。所有主流类型检查工具都要求TypeVar必须在注解所在的外部作用域提前明确定义，这是通用的类型编写规范。

标准实现 #

将TypeVar定义移到函数外部作用域即可，该写法可以正常通过mypy检查：

# Python 3.10.4
from collections.abc import Sequence
from typing import TypeVar

T = TypeVar('T')
def foo(seq: Sequence[T]) -> T:
    return seq[0]

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