Python泛型类型参数的variance推断为何会包含__init__方法？

这个问题确实戳中了Python 3.12泛型variance推断里一个相当反直觉的细节，我来帮你梳理清楚背后的原因，以及对应的解决办法。

为什么当前代码会触发类型错误？ #

首先明确核心矛盾：你期望MyContainer是**协变（covariant）的（即MyContainer[int]可以兼容MyContainer[float]，因为int是float的子类型），但类型检查器却将它推断为不变（invariant）**的，根源就在于__init__方法的参数中使用了类型参数T。

Python类型检查器（如mypy、pyright）推断variance的核心逻辑是：

• 若类型参数T仅出现在输出位置（比如方法的返回值），会被推断为协变；
• 若T仅出现在输入位置（比如方法的入参），会被推断为逆变（contravariant）；
• 若T同时出现在输入和输出位置，则会被推断为不变。

而__init__作为类的方法，它的入参会被类型检查器判定为输入位置——哪怕这个方法只会在实例化时被调用一次，后续再也不会被触发。在你的代码中，T既出现在__init__的入参，又出现在get_val的返回值，因此被判定为不变类型，最终导致MyContainer[int]无法传递给期望MyContainer[float]的函数。

为什么这个设计看起来不符合直觉？ #

你提到的点非常关键：协变泛型几乎都是只读容器，而这类容器必然要在初始化时接收值（比如tuple、frozenset、namedtuple），但这些原生类型却被标记为协变的。

这是因为原生泛型类型是Python类型系统特殊处理的：它们的variance是硬编码的（比如tuple被显式标记为协变），不会像自定义类那样通过用法自动推断。而对于自定义泛型类，类型检查器会严格执行「所有方法的输入/输出位置都参与variance推断」的规则，不会特殊处理__init__的一次性使用场景。

很多开发者都和你有同样的感受：__init__的输入仅影响实例化过程，和实例创建后的类型兼容性无关，不应该干扰variance推断。但目前主流类型检查器采用这种保守逻辑，是为了保持规则的一致性——毕竟类型检查器无法自动判断某个方法是否只会被调用一次。

如何解决这个问题？ #

最直接且可靠的方案是显式指定variance，而非依赖自动推断。通过TypeVar的covariant参数，强制标记类型参数为协变：

from typing import TypeVar

# 显式声明T为协变类型参数
T = TypeVar('T', covariant=True)

class MyContainer[T]:
    def __init__(self, val: T) -> None:
        self.val = val
    def get_val(self) -> T:
        return self.val

def print_float_val(container: MyContainer[float]) -> None:
    print(container.get_val())

int_container = MyContainer(1)
print_float_val(int_container)  # 现在不会再报类型错误了！

显式指定variance后，类型检查器会忽略__init__中T的输入用法，严格遵循你声明的协变意图，这和tuple等原生类型的处理逻辑完全一致。

总结 #

类型检查器将__init__纳入variance推断，是为了保持规则的一致性，但这确实和我们对只读协变容器的直觉冲突。这种场景下，显式指定TypeVar('T', covariant=True)是最优解——它既清晰表达了你的设计意图，也能让类型检查器按照预期工作。

内容来源于Stack Exchange