Python类型注解下类作为函数参数传入触发Pylance构造器报错的问题

该报错属于静态类型检查器的推导逻辑触发的提示，不会影响代码实际运行：

• 代码运行时传入的是真实的Bar类，实例化、返回实例的逻辑完全正常，不存在运行时错误
• 当定义完全无约束的TypeVar('T')时，静态检查器（Pylance）会默认将T的上界推导为基础类型object，对应Type[T]类型的构造函数签名，会自动回退为object类无参的__init__方法签名
• 此时函数内部执行clazz(**kwargs)时，检查器会判定你给不接受任何参数的object构造器传入了关键字参数，因此触发Expected no arguments to "object" constructor的类型提示

根据你对类型校验强度的需求，有两类常用处理方案：

轻量场景（无需校验构造参数匹配） #

如果你的函数本就需要支持任意类的动态实例化，不需要静态检查器校验传入的类构造参数是否和kwargs匹配，只需要在动态实例化的代码行添加精准的忽略标注即可：

from dataclasses import dataclass
from typing import Dict, Type, TypeVar

@dataclass
class Bar:
    x: int

T = TypeVar('T')

def Foo(clazz: Type[T], kwargs: Dict[str, int]) -> T:
    # 精准标注当前行的已知可控动态构造逻辑，消除静态检查误报
    return clazz(**kwargs)  # type: ignore[reportGeneralTypeIssues]

bar = Foo(Bar, {'x': 1})
print(type(bar))

严格类型校验场景 #

如果你需要静态检查器严格校验传入的类是否支持对应的构造参数，就通过Protocol定义目标类型的构造接口，给TypeVar添加上界约束，让检查器能识别到类的真实构造签名，避免回退到object的默认签名：

from dataclasses import dataclass
from typing import Dict, Protocol, Type, TypeVar

# 明确定义支持x:int参数构造的类的协议规范
class SupportsXInt(Protocol):
    def __init__(self, x: int) -> None: ...

@dataclass
class Bar:
    x: int

# 将T的上界绑定到定义好的协议上，而非默认的object
T = TypeVar('T', bound=SupportsXInt)

def Foo(clazz: Type[T], kwargs: Dict[str, int]) -> T:
    # 此时检查器能识别到clazz支持带x参数的构造，不会再触发object构造器的报错
    return clazz(**kwargs)

bar = Foo(Bar, {'x': 1})
print(type(bar))

注：如果后续需要支持更多不同参数的类，只需要补充对应的Protocol构造签名，调整TypeVar的绑定范围即可，既保留泛型的灵活性，又能获得完整的静态类型校验能力。

内容的提问来源于stack exchange，提问作者J. Doe