本文详解在 python 中为继承自基类的工厂方法（`@classmethod`）添加类型提示的正确方式，解决 mypy 因违反 lsp 而报错的问题，并提供兼容性强、可维护性高的类型安全方案。
在面向对象设计中，使用 @classmethod 实现工厂模式（如 create()）十分常见。但当子类扩展参数签名（例如 B.create(a: int, b: int) 相比 A.create(a: int)）时，mypy 会报错：Signature of "create" incompatible with supertype "A"。这并非误报——类方法属于类型接口的一部分，调用者可通过 A.create(...) 或 B.create(...) 多态调用，因此子类方法签名必须满足父类声明的契约，即遵守里氏替换原则（LSP）。虽然 LSP 原本针对实例行为，但 @classmethod 是类级别的可调用接口，其类型一致性直接影响静态分析的可靠性。
直接修改子类签名以匹配父类（如强行加 b: int = 0）会破坏语义清晰性；而忽略错误（# type: ignore）则丧失类型安全。更优解是在基类中采用“宽松但精确”的类型声明，既允许子类扩展参数，又保持类型系统可验证。
推荐方案：使用 typing_extensions.Concatenate 和 Callable 显式建模“固定首参 + 可变其余参数”：
from __future__ import annotations
import typing_extensions as t
from collections.abc import Callable
class A:
def __init__(self, a: int) -> None:
self.a = a
# 声明：接受至少一个 int 参数，后续任意位置/关键字参数，返回 A 的子类实例
create: t.ClassVar[Callable[t.Concatenate[int, ...], A]] = classmethod(
lambda cls, a, **kw: cls(a)
) # type: ignore[assignment]
class B(A):
def __init__(self, a: int, b: int) -> None:
super().__init__(a)
self.b = b
@classmethod
def create(cls, a: int, b: int, **keywords: t.Any) -> t.Self:
return cls(a, b) # ✅ mypy 通过：子类实现满足基类 Callable 约束
class C(A):
def __init__(self, a: str, b: int) -> None: # 注意：构造器类型已不同
self.a = a
self.b = b
@classmethod
def create(cls, a: str, b: int, **keywords: t.Any) -> t.Self:
return cls(a, b) # ❌ mypy 报错：返回类型 A 不兼容 str 参数 → 提前暴露设计不一致关键要点：
- t.Concatenate[int, ...] 表示函数签名以 int 开头，后接任意数量参数（位置或关键字），完美匹配 create(a, ...) 的通用模式；
- t.ClassVar[Callable[...]] 避免 @classmethod 装饰器对类型推导的干扰，让 mypy 将其视为显式声明的类属性；
- 子类仍可用标准 @classmethod 语法，只要其签名是基类 Callable 的特化（如增加必选参数），mypy 即认可；
- 此方案强制子类 create 的第一个参数类型与基类一致（如均为 int），若需根本性变更（如 C 中 a: str），则说明它不应继承 A——类型系统在此处发挥了设计守门员作用。
⚠️ 注意事项： 需安装 typing_extensions >= 4.9.0（支持 Concatenate）； Self 在 Python该方案在类型安全、可读性与灵活性间取得平衡，是现代 Python 工厂模式类型提示的最佳实践。
