如何用Python类型提示指定入参需为类型对象而非实例？

最初写法的可行性说明 #

你尝试写的 def myFunc(type : type, any): 核心约束逻辑已经非常接近需求，仅存在几个容易混淆的细节调整空间：

• 第一参数标注为type的规则本身完全符合你的校验要求：在Python的类型层级中，所有内置类型（int、float等）、自定义类的元类都是type，即isinstance(int, type)、isinstance(你自定义的myClass, type)都会返回True；而类的具体实例（比如整数2、字符串值）都不是type的实例，刚好可以拦截 myFunc(2, 3) 这类非法调用
• 原写法里的第二个参数any只是参数名，没有搭配类型注解，Python默认对无注解的参数不做类型限制，这部分刚好匹配你“第二参数可以传任意值”的要求，但需要注意这个命名容易和typing.Any类型产生语义混淆

自定义尝试写法的问题 #

你之前写的两种自定义标注形式，在Python现有类型系统中没有可识别的语义，无法被mypy、pyright等主流静态类型检查器解析：

• 标注has(__init__)：Python没有内置基于“是否存在某方法”的直接标注语法，这类写法会被检查器判定为未定义类型
• 标注POD or Class：Python类型系统没有内置POD、Class这类统一的类型标识，这类写法同样会触发未定义类型的报错

符合需求的标准实现 #

静态类型检查场景 #

如果只需要通过静态类型检查实现调用规则校验，可以直接使用如下写法：

from typing import Any

def myFunc(type_: type, any_value: Any):
    ...

这个写法可以自动识别所有符合你预期的合法调用：

• myFunc(int, 4)：第一参数int是type的实例，合法
• myFunc(float, "abc")：第一参数float是type的实例，第二参数任意值，合法
• myFunc(myClass, [2, [4, "six"]])：第一参数自定义类是type的实例，第二参数任意值，合法

同时会自动拦截非法调用：

• myFunc(2, 3)：第一参数2是int的实例，不是type的实例，类型检查器会直接报错

补充说明：所有被标注为type的入参本身就具备可调用的构造逻辑，不需要额外加“必须具备构造函数”的约束——因为能作为type实例存在的类，本身就自带默认的__init__构造方法。

运行时校验场景 #

如果需要在代码实际运行时也拦截不符合规则的入参，可以在函数内部手动加判断逻辑：

from typing import Any

def myFunc(type_: type, any_value: Any):
    if not isinstance(type_, type):
        raise TypeError(f"第一个参数必须传入类/类型对象，当前传入值为：{type_!r}")
    # 后续函数业务逻辑
    ...

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