在尝试编写一个小型的、混淆的类型检查器时，发现了一个 Not Acceptable 代码模式。但是，它始终无法正常工作。这是最初编写用于测试它的代码。

def statictypes(a):
    def b(a, b, c):
        if b in a and not isinstance(c, a[b]): raise TypeError('{} should be {}, not {}'.format(b, a[b], type(c)))
        return c
    return __import__('functools').wraps(a)(lambda *c: b(a.__annotations__, 'return', a(*(b(a.__annotations__, *d) for d in zip(a.__code__.co_varnames, c)))))

@statictypes
def isallinstance(iterable: object, class_or_type_or_tuple: (type, tuple)) -> bool:
    """isallinstance(iterable, class_or_type_or_tuple) -> bool

    Return whether all items in an iterable are instances of a class or of a
    subclass thereof. With a type as second argument, return whether that is
    all items' type. The form using a tuple, isallinstance(x, (A, B, ...)),
    is a shortcut for any(isallinstance(x, y) for y in (A, B, ...)).
    """
    return all(isinstance(item, class_or_type_or_tuple) for item in iterable)

以下显示了与 Python 解释器的对话，并突出显示了出现的错误。生成了 TypeError，但不是预期的错误。虽然发电机很好，但现在它们出故障了。

>>> isallinstance(range(1000000), int)
True
>>> isallinstance(range(1000000), (int, float))
True
>>> isallinstance(range(1000000), [int, float])
Traceback (most recent call last):
  File "<pyshell#26>", line 1, in <module>
    isallinstance(range(1000000), [int, float])
  File "C:\Users\schappell\Downloads\test.py", line 5, in <lambda>
    return __import__('functools').wraps(a)(lambda *c: b(a.__annotations__, 'return', a(*(b(a.__annotations__, *d) for d in zip(a.__code__.co_varnames, c)))))
TypeError: isallinstance() argument after * must be a sequence, not generator

可以重写statictypes 函数，重新定义和包装isallinstance 函数。最简单的解决方案是将 statictypes 中的生成器重写为列表理解。

def statictypes(a):
    def b(a, b, c):
        if b in a and not isinstance(c, a[b]): raise TypeError('{} should be {}, not {}'.format(b, a[b], type(c)))
        return c
    return __import__('functools').wraps(a)(lambda *c: b(a.__annotations__, 'return', a(*[b(a.__annotations__, *d) for d in zip(a.__code__.co_varnames, c)])))

之后，isallinstance 将在从头开始重新创建后按预期开始工作。 TypeError 说明第二个参数有什么问题是按要求正确生成的。

>>> isallinstance(range(1000000), int)
True
>>> isallinstance(range(1000000), (int, float))
True
>>> isallinstance(range(1000000), [int, float])
Traceback (most recent call last):
  File "<pyshell#29>", line 1, in <module>
    isallinstance(range(1000000), [int, float])
  File "C:\Users\schappell\Downloads\test.py", line 5, in <lambda>
    return __import__('functools').wraps(a)(lambda *c: b(a.__annotations__, 'return', a(*[b(a.__annotations__, *d) for d in zip(a.__code__.co_varnames, c)])))
  File "C:\Users\schappell\Downloads\test.py", line 5, in <listcomp>
    return __import__('functools').wraps(a)(lambda *c: b(a.__annotations__, 'return', a(*[b(a.__annotations__, *d) for d in zip(a.__code__.co_varnames, c)])))
  File "C:\Users\schappell\Downloads\test.py", line 3, in b
    if b in a and not isinstance(c, a[b]): raise TypeError('{} should be {}, not {}'.format(b, a[b], type(c)))
TypeError: class_or_type_or_tuple should be (<class 'type'>, <class 'tuple'>), not <class 'list'>

问题:

1. 为什么带有生成器的第一个函数有时运行有时失败？
2. 为什么生成器不被视为序列(因为它生成序列)？
3. 当生成器显然在某些时候工作时为什么需要序列？

最佳答案

1. 因为 isinstance 和其他几个古怪的标准库函数一样，当你给它一个元组时，它做的事情与其他序列不同。也就是说，它可以工作，并检查类型是否是给定的任何类型。
2. 因为它不是。查看sequence protocol definition .它需要实现 __getitem__ 才能成为一个。
3. 一个错误，仍然是hasn't been merged ，它告诉您发电机坏了，但错误消息不正确。

另外，请不要因为任何理由而用这样的类型检查来玷污我们可爱的语言:)。

关于python - TypeError: * 之后的 function() 参数必须是一个序列，而不是生成器，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/11689862/