Python 3.10+运行时能否检查参数化泛型的精确类型？

Python的参数化泛型（比如Callable[[int], int]）本质是静态类型提示工具，运行时不支持直接用isinstance()做类型判断，这也是你遇到报错的原因。不过可以通过自定义检查逻辑来实现类似需求，以下是针对你示例的具体实现：

针对Callable类型的检查方案 #

利用inspect模块验证可调用对象的签名和返回类型注解，示例代码：

from collections.abc import Callable
import inspect

def is_my_type(obj) -> bool:
    # 第一步：先确认对象是可调用类型
    if not isinstance(obj, Callable):
        return False
    try:
        # 获取函数签名
        sig = inspect.signature(obj)
        # 检查参数数量和类型注解
        params = list(sig.parameters.values())
        if len(params) != 1 or params[0].annotation != int:
            return False
        # 检查返回值类型注解
        return sig.return_annotation == int
    except (ValueError, TypeError):
        # 无法获取签名的情况（比如某些内置函数）
        return False

# 测试用例
MyType = Callable[[int], int]
my_fun: MyType = lambda x: x
print(is_my_type(my_fun))  # 输出: True

# 不符合的情况
wrong_fun1 = lambda x: str(x)
print(is_my_type(wrong_fun1))  # 输出: False（返回注解不符）
wrong_fun2 = lambda x, y: x + y
print(is_my_type(wrong_fun2))  # 输出: False（参数数量不符）
non_callable = 123
print(is_my_type(non_callable))  # 输出: False（非可调用对象）

通用泛型检查思路 #

如果是自定义的泛型类（比如继承typing.Generic），可以用typing.get_origin()和typing.get_args()拆解泛型的原始类型和参数，再针对性检查：

from typing import Generic, TypeVar, get_origin, get_args

T = TypeVar('T')
class MyGeneric(Generic[T]):
    def __init__(self, value: T):
        self.value = value

def is_generic_instance(obj, generic_type):
    origin = get_origin(generic_type)
    if origin is None or not isinstance(obj, origin):
        return False
    args = get_args(generic_type)
    # 这里以单个参数为例，可根据需求扩展
    return isinstance(obj.value, args[0])

# 测试
int_generic = MyGeneric[int](10)
print(is_generic_instance(int_generic, MyGeneric[int]))  # 输出: True
str_generic = MyGeneric[str]("test")
print(is_generic_instance(str_generic, MyGeneric[int]))  # 输出: False

注意：这类检查只能基于类型注解或结构做验证，无法彻底保证运行时的实际类型行为（比如函数内部可能返回不符合注解的类型），但能满足大部分场景的类型判断需求。

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