Python递归类型别名失效：嵌套点结构缩放函数类型报错

错误原因分析 #

报错核心在于list的类型参数是不变（invariant）的：即使tuple[tuple[float, float]]是point2d_nested的子类型，list[tuple[tuple[float, float]]]也无法赋值给list[point2d_nested]——不变类型不允许子类型替换。而你的递归类型别名中用了list["point2d_nested"]，直接触发了这个类型不兼容问题。

解决方案 #

方案1：用协变的Sequence替代list（推荐）

Sequence的类型参数是协变（covariant）的，允许Sequence[子类型]赋值给Sequence[父类型]，完美适配递归嵌套场景：

from typing import Sequence

point2d = tuple[float, float]

point2d_nested = (
    point2d
    | Sequence["point2d_nested"]
    | tuple["point2d_nested", ...]
)

修改后，[((1.0, 2.0),)]这类嵌套结构会被正确识别为point2d_nested的子类型，Pylance的类型错误会自动消失，同时不影响函数对list、tuple等序列类型的处理逻辑。

方案2：通过协变TypeVar适配list（按需选择）

如果必须保留list而非Sequence，可以用协变TypeVar显式声明类型兼容性：

from typing import TypeVar

# 声明协变类型变量，约束为point2d_nested的子类型
NestedPoint = TypeVar("NestedPoint", bound="point2d_nested", covariant=True)

point2d = tuple[float, float]

point2d_nested = (
    point2d
    | list[NestedPoint]
    | tuple["point2d_nested", ...]
)

这种方式比方案1繁琐，仅在业务逻辑严格依赖list专属方法时使用。

方案3：显式类型转换（不推荐）

若不想修改类型别名，可在调用时强制标注类型，但会绕过静态类型检查，失去类型提示的意义：

scale_nested([((1.0, 2.0),)]  # type: point2d_nested, 2)

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