如何在Python中基于__init__方法的适配签名实现类型检查？

你遇到的问题核心在于，原来的Protocol约束太严格了——它要求类的__init__必须完全严格匹配(int, str)的签名，哪怕多了一个带默认值的可选参数都会被判定为不兼容。但我们实际需要的只是class_(a, b)这个调用是合法的，不需要限制__init__不能有额外的可选参数。下面是两种解决思路：

方案一：直接使用Callable类型约束（简单场景首选） #

最简单的方法是直接约束class_的类型为Callable[[int, str], T]，类型检查器会自动识别所有可以通过(int, str)合法调用的类（包括带默认参数的情况）：

from typing import TypeVar, Callable

T = TypeVar('T')

def instantiate[T](class_: Callable[[int, str], T], a: int, b: str) -> T:
    return class_(a, b)

这样处理后：

• 不管是基础版的A类，还是增加了可选参数c的A类，instantiate(A, 1, "test")都会被pyright正常通过，因为A(1, "test")是合法调用。
• 对于B类，instantiate(B, 1, "test")会被pyright报错，因为B的__init__要求第二个参数是int，和传入的str类型不匹配。

方案二：使用灵活的Protocol（复杂场景推荐） #

如果你需要更明确的类型约束（比如后续要扩展更多构造规则），可以定义一个Protocol来描述类的调用签名，允许额外的可选关键字参数：

from typing import Protocol, TypeVar, ParamSpecKwargs

T = TypeVar('T')

class SupportsInstantiation(Protocol[T]):
    def __call__(self, a: int, b: str, **kwargs: ParamSpecKwargs) -> T:
        ...

def instantiate[T](class_: SupportsInstantiation[T], a: int, b: str) -> T:
    return class_(a, b)

这个Protocol的作用是：任何类，只要能被调用时传入int和str两个参数（不管有没有额外的可选参数），都符合约束。这样带默认参数的A类能被正确识别，而B类因为参数类型不匹配会被报错。

为什么原来的写法不生效？ #

你原来的Protocol是约束实例类型T的__init__方法必须严格匹配(int, str)的签名，但当A的__init__增加了带默认值的c参数后，A实例的__init__签名变成了(int, str, list | None) -> None，不再严格匹配你定义的FitForInstantiateProtocol，所以类型检查器会报错。但我们实际只需要保证class_(a, b)调用合法，不需要限制__init__不能有额外的可选参数，所以原来的约束范围太窄了。

验证效果 #

对于修改后的A类：

class A:
    def __init__(self, a: int, b: str, c: list | None = None):
        self.a = a
        self.b = b
        self.c = c or []

调用instantiate(A, 1, "hello")会被pyright正常通过；而调用instantiate(B, 1, "hello")会触发类型错误，提示B的__init__第二个参数需要int类型，和传入的str不匹配。

备注：内容来源于stack exchange，提问作者True Nerd Of Botva