Pyre 因严格检查抽象类实例化而报错 Invalid class instantiation，根本原因在于它将 type[MyClassABC] 视为可能包含抽象类本身；解决方案是改用 Protocol 描述可调用构造器签名，而非直接标注为 type[ABC]。

pyre 因严格检查抽象类实例化而报错 `invalid class instantiation`，根本原因在于它将 `type[myclassabc]` 视为可能包含抽象类本身；解决方案是改用 `protocol` 描述可调用构造器签名，而非直接标注为 `type[abc]`。

在使用 Pyre 进行静态类型检查时，采用抽象基类（ABC）配合工厂模式是一种常见且合理的实践——既能约束子类接口，又能通过 IDE 获得精准的 __init__ 参数提示。然而，Pyre 对抽象性的判定比 mypy 或 Pyright 更激进：只要类中定义了 @abstractmethod（即使未继承 ABC），Pyre 就将其视为不可实例化的抽象类；同时，它认为 type[MyClassABC] 类型可能指向 MyClassABC 本身（而非其具体子类），因此当代码中出现 factory_cls(name="test") 时，Pyre 会误判为“试图实例化抽象类”，触发错误 [45] Invalid class instantiation。

要彻底解决该问题，关键在于避免将工厂返回值标注为 type[MyClassABC]，转而用 Protocol 精确描述“可被调用并返回 MyClassABC 实例”的行为契约。这种方式不涉及类的抽象性判断，只关注调用签名与返回类型，完全兼容 Pyre、mypy 和 Pyright。

以下是推荐的修复方案：

from abc import abstractmethod
from typing import Protocol, Dict, Type, Any

class MyClassABC:
    @abstractmethod
    def __init__(self, name: str) -> None:
        ...

class MyClass(MyClassABC):
    def __init__(self, name: str) -> None:
        self.name = name

class MyClass2(MyClassABC):
    def __init__(self, name: str) -> None:
        self.name = name

# ✅ 正确：定义一个 Protocol，描述“构造器调用协议”
class MyClassConstructor(Protocol):
    def __call__(self, name: str) -> MyClassABC: ...

class ClassFactory:
    # 类型注解改为 Union of Protocol + concrete types（可选，增强兼容性）
    MAPPING: Dict[str, MyClassConstructor | Type[MyClassABC]] = {
        "myclass": MyClass,
        "myclass2": MyClass2,
    }

    @staticmethod
    def get_class() -> MyClassConstructor:
        return ClassFactory.MAPPING["myclass"]

# ✅ 完全通过 Pyre 检查，且保留完整 IDE 支持
if __name__ == "__main__":
    factory_constructor = ClassFactory.get_class()
    instance = factory_constructor(name="test")  # IDE 可推导参数 name: str，返回值为 MyClassABC
    print(instance.name)

⚠️ 注意事项：

• MyClassConstructor 中的 __call__ 签名必须严格匹配所有注册类的 __init__ 方法（此处均为 (name: str) -> None），否则类型检查将失败；
• 不必让 MyClassABC 继承 ABC —— Pyre 的报错源于 @abstractmethod，而非元类；若需运行时强制抽象，仍可显式继承 ABC，但类型提示层面无需依赖它；
• MAPPING 字典值类型使用 MyClassConstructor | Type[MyClassABC] 是为了兼顾类型安全与灵活性（如未来需动态构造），实际项目中可简化为纯 MyClassConstructor；
• 此方案不影响运行时行为，100% 向后兼容，且所有主流类型检查器（Pyre/mypy/Pyright）均能正确推导 instance 类型为 MyClassABC。

总结：Pyre 的严格性要求我们从“类型归属”思维转向“行为契约”思维。用 Protocol 替代 type[ABC] 不仅消除了误报，更精准表达了工厂的核心语义——“我提供一个可调用对象，它接收指定参数并返回符合 ABC 接口的实例”。这是类型安全工厂模式在现代 Python 生态中的最佳实践。