mypy类型检查中float和complex类型的协变性问题分析

类型系统基础概念

在Python类型系统中，类型参数通常可以分为不变(invariant)、协变(covariant)和逆变(contravariant)三种变体。理解这些概念对于深入分析mypy的类型检查行为至关重要。

不变类型意味着类型参数必须完全匹配。例如，List[T]是不变类型，List[int]和List[float]是完全不同的类型，不能互相替代。

协变类型则允许子类型关系向上传递。如果Cat是Animal的子类型，那么List[Cat]可以被视为List[Animal]的子类型。

mypy中的特殊行为

在mypy的类型检查器中，float和complex类型表现出一个特殊行为：它们会强制将不变的类型参数变为协变的。这一行为与Python类型系统的一般规则不符，也与其他类型检查器如pyright的行为不一致。

考虑以下示例代码：

from typing import Protocol

class Just[T](Protocol):
    @property
    def __class__(self) -> type[T]: ...
    @__class__.setter
    def __class__(self, t: type[T]) -> None: ...

def assert_float(x: Just[float]) -> float:
    assert type(x) is float
    return x

按照类型系统的常规理解，Just[float]应该只接受严格意义上的float类型。然而在mypy中，assert_float(-1)和assert_float(False)这样的调用会被接受，这表明mypy将int和bool视为Just[float]的有效参数。

问题根源分析

这一行为的根源在于mypy的源代码中，float和complex类型被特殊处理。在类型检查过程中，mypy会强制将涉及这些类型的不变类型参数视为协变参数。这意味着当检查Just[float]时，mypy实际上将其视为Just[+float]，从而允许所有float的子类型（如int和bool）通过类型检查。

这种处理方式与Python的类型系统设计原则存在冲突，因为Python中的数值类型虽然存在隐式转换关系，但在类型系统中它们应该是独立的类型。

实际影响与解决方案

这一行为在实际开发中可能导致以下问题：

1. 类型安全性降低：开发者无法确保函数参数确实是严格的float类型
2. 与其它类型检查器不一致：使用pyright等工具时可能得到不同的结果
3. 特殊类型协议（如示例中的Just协议）无法正确工作

对于开发者而言，目前可以采取以下解决方案：

1. 使用运行时类型检查来补充静态类型检查的不足
2. 避免依赖float和complex的类型参数不变性
3. 考虑使用其他类型检查工具作为补充

未来展望

这一问题已经在mypy的后续版本中得到修复。开发者可以期待在未来的版本中获得更符合类型系统理论的行为。同时，这也提醒我们在设计类型系统和类型检查器时，需要更加严谨地处理内置类型的特殊行为。

理解这一问题的本质有助于开发者更好地利用Python的类型系统，编写出更加健壮和可维护的代码。