Python中返回类实例的元类方法的正确类型提示（3.8+）

你遇到的问题核心在于：元类中的Self指代的是元类的实例（也就是你的SpecialClass类本身，对应类型type[SpecialClass]），所以标注-> Self会让类型检查器认为返回的是类而非实例。要让SpecialClass["findme"]的类型被识别为SpecialClass实例，需要用TypeVar来绑定实例类型，而非依赖Self。

Python 3.8+通用实现方式 #

方案1：通用元类（支持任意使用该元类的类） #

通过结合TypeVar和Generic，让元类可以关联到具体的实例类型：

from typing import TypeVar, Generic, Type

# 定义TypeVar，用于绑定类的实例类型
T = TypeVar('T')

class SpecialMeta(type, Generic[T]):
    def __getitem__(cls: Type[T], key) -> T:
        # 这里替换为你的实际逻辑，返回对应实例
        return cls()

class SpecialClass(metaclass=SpecialMeta):
    pass

one = SpecialClass()
# 类型检查器识别为：SpecialClass

two = SpecialClass["findme"]
# 类型检查器识别为：SpecialClass

方案2：针对特定类的实现 #

如果元类只服务于SpecialClass，可以直接把TypeVar绑定到该类：

from typing import TypeVar, Type

T = TypeVar('T', bound='SpecialClass')

class SpecialMeta(type):
    def __getitem__(cls: Type[T], key) -> T:
        return cls()

class SpecialClass(metaclass=SpecialMeta):
    pass

原理说明 #

• 用Type[T]标注cls，表示cls是创建T类型实例的类；
• 返回值标注为T，则类型检查器会将__getitem__的返回结果识别为T的实例（也就是SpecialClass）；
• 这两种写法在Python 3.8及以上版本都可以正常使用，无需额外依赖。

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