Python类型注解：List协变与append兼容问题的正确解决方式

首先得明确核心问题：list是不变类型，也就是说list[B]不能直接当成list[A]用——如果允许这么做，函数里要是往列表里加一个纯A的实例，那原本全是B的列表就混入了父类型元素，后续操作很容易出类型错误。而Sequence是协变的，但它是只读接口，没有append方法，自然没法用来修改列表。

正确的解决方式是用带约束的类型变量，让函数适配任意A及其子类的列表，同时保证类型安全：

from typing import TypeVar, List

class A:
    pass

class B(A):
    pass

# 定义一个只能是A或其子类的类型变量
T = TypeVar('T', bound=A)

def add_element(lst: List[T], el: T) -> None:
    lst.append(el)

lst: List[B] = [B()]
add_element(lst, B())  # mypy检查通过

为什么这样可行？ #

• 类型变量T被约束为A的子类，当你传入list[B]时，T会被自动推断为B，此时函数要求添加的元素也是B，完全符合list[B]的类型要求，不会出现类型污染。
• 这个函数同时也支持传入list[A]，添加A的实例，兼容性和安全性都兼顾到了。

不推荐的“暴力解决” #

如果硬要绕过类型检查，比如用类型断言add_element(lst, B())或者把列表强制转换为list[A]，虽然能让mypy闭嘴，但会埋下类型安全隐患——哪天不小心往list[B]里加了A的实例，运行时很可能出问题，不建议这么做。

内容的提问来源于stack exchange，提问作者Vedran Šego