Python装饰器校验参数类型报错：isinstance()参数2需为类型或类型元组

看来你在写类型校验装饰器的时候，把逻辑方向搞反了，而且对isinstance()的用法可能有点误解，才会触发这个报错。先给你拆解一下问题：

错误原因解析 #

你遇到的报错：

TypeError: isinstance() arg 2 must be a type or tuple of types

核心问题是isinstance()的第二个参数必须是类型对象（比如int、str这类类本身）或者多个类型组成的元组，而你当前的代码要么传错了参数，要么逻辑完全偏离了目标。

看你给出的报错代码行：

if not all(map(lambda x: isinstance(x, type), args)):

这行代码的逻辑是「检查函数的所有实参是不是类型对象」（比如int、str这种类本身），但这显然不是你要的——你真正想做的是检查实参是否符合你预先指定的类型（比如实参是整数，对应类型int）。

正确的类型校验装饰器写法 #

给你一个能正常工作的版本，你可以对照自己的代码找问题：

def type_check(*expected_types):
    def decorator(func):
        def wrapper(*args, **kwargs):
            # 先校验位置参数数量和指定类型数量是否匹配
            if len(args) != len(expected_types):
                raise TypeError(f"函数需要{len(expected_types)}个位置参数，实际传入{len(args)}个")
            
            # 逐个检查每个实参是否符合对应类型
            for arg, expected_type in zip(args, expected_types):
                if not isinstance(arg, expected_type):
                    raise TypeError(f"参数{arg}的类型是{type(arg).__name__}，预期类型是{expected_type.__name__}")
            
            # 校验通过后执行原函数
            return func(*args, **kwargs)
        return wrapper
    return decorator

# 测试用法
@type_check(int, str)
def combine(a, b):
    return f"{a} - {b}"

# 正常执行
print(combine(123, "hello"))  # 输出: 123 - hello

# 触发类型错误
combine("123", "hello")  # 抛出TypeError: 参数123的类型是str，预期类型是int

你的代码可能存在的问题 #

1. 逻辑方向完全错误：你写的isinstance(x, type)是在判断「x是不是类型类的实例」（比如int是type的实例），但你实际需要的是判断「实参是不是某个指定类型的实例」（比如isinstance(arg, int)）。
2. 参数对应关系混乱：你没有把装饰器传入的「预期类型列表」和函数的「实参列表」对应起来，反而错误地直接检查实参本身是不是类型。
3. 装饰器参数传错：如果你的装饰器传入的不是类型（比如传了1而不是int），也会触发isinstance()的第二个参数不是类型的报错。

额外小提示 #

• 如果要支持关键字参数的类型校验，可以在wrapper里添加对kwargs的处理，比如预先定义关键字参数的类型字典。
• isinstance()本身支持传入类型元组，比如@type_check((int, float), str)，这样第一个参数可以是整数或浮点数。

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