为何list[T]无法赋值给list[T | None]？如何解决该类型兼容问题

这里的核心原因是Python的list是可变容器，类型检查器默认将其视为“不变”类型——也就是说list[T]不能被当作list[T | None]使用，因为如果函数func内部往列表里添加None值，会破坏原列表的类型安全性。除了手动指定列表类型，还有以下几种可行方案：

1. 将函数参数类型改为只读协变类型 #

把list[T | None]替换成Sequence[T | None]或者Iterable[T | None]，这两个类型是协变的：

from collections.abc import Sequence
from collections import namedtuple

T = namedtuple('T', ('a', 'b'))

def func(arg: Sequence[T | None]):
    ...

l = [T(1, 2), T(2, 3)]
func(l)  # 不再报错

这种方案最推荐，因为它明确告诉类型检查器：函数只会读取列表内容，不会修改它。既保证了类型安全，又解决了兼容问题。

2. 使用类型断言临时转换类型 #

如果确定函数func不会修改传入的列表，可以在调用时用类型断言强制转换：

from typing import cast
from collections import namedtuple

T = namedtuple('T', ('a', 'b'))

def func(arg: list[T | None]):
    ...

l = [T(1, 2), T(2, 3)]
func(cast(list[T | None], l))  # 通过类型断言绕过检查

注意：这种方法是“告诉”类型检查器信任你的判断，如果func内部真的修改了列表（比如添加None），运行时虽然不会报错，但会破坏原列表的类型一致性，需要谨慎使用。

3. 调整Pylance的严格类型检查设置 #

可以通过修改VS Code的设置，降低部分严格检查规则：

• 打开VS Code设置，搜索Pylance: Strict Parameter None Value，将其设置为false，关闭对参数中None相关的严格检查
• 或者调整Pylance: Strict List Inference为false，放宽列表类型的推断规则

这种方法不推荐，因为它会全局降低类型检查的严谨性，可能掩盖其他潜在的类型问题，只适合临时快速解决问题的场景。

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