Python如何为接收指定元类的类、返回对应实例的函数做类型标注

Python当前标准类型标注体系中没有内置你虚构的Instance泛型语法，但可以通过以下合法方式实现相同的标注效果：

• 方案1：前向引用规避循环导入（最推荐，兼容性最好）
  你可以直接使用PEP484规定的字符串前向引用，搭配from __future__ import annotations延迟注解解析，完全不需要实际导入对应基类，不会触发循环依赖：

  from __future__ import annotations
  from typing import Type, TypeVar
  # 仅导入元类即可，不需要导入对应基类
  from your_module import MyMetaclass
  
  # 用字符串形式写基类名作为TypeVar的边界，不需要实际导入该基类
  T = TypeVar("T", bound="BaseClassWithMyMeta")
  
  def foo(specific_type: Type[T]) -> T:
      # 函数内部逻辑
      return specific_type()
  

  该写法对mypy、pyright等主流类型检查器完全兼容，可以正确约束入参为继承自指定基类（元类为MyMetaclass）的类，返回值为对应类的实例，完全符合你的需求。
• 方案2：仅通过元类约束（类型检查效果有限）
  如果你完全不想关联基类，仅需要约束入参是MyMetaclass的实例，可以写如下标注。但该写法仅能约束入参类型，无法自动推导返回值和入参的对应实例关系，返回值只能标注为Any，类型检查效果弱于方案1：

  from typing import TypeVar, Any
  from your_module import MyMetaclass
  
  M = TypeVar("M", bound=MyMetaclass)
  
  def foo(specific_type: M) -> Any:
      return specific_type()
  

目前Python类型系统没有提供直接从元类推导对应类实例类型的语法，后续如果有相关PEP提案才可能支持你虚构的Instance[M]写法，现阶段方案1是最优解。

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