python - 可迭代，无副作用类型注释

Question

我正在寻找能够迭代且没有副作用的Iterable。例如，我想注释下面的参数x:

def foo(x: NoSideEffectIterable[int]):
    for i in range(10):
        for xx in x: # x is iterated 10 times here
            print(i*xx)

1. Iterable 不适合，因为 x 被迭代多次
2. Sequence 不适合，因为 x 的顺序并不重要

如何注释x？

Answer 1

没有任何注释。这不是类型系统可以表达的概念。 Iterable 是你最好的选择。如果您想获得更多限制，可以使用Collection，但是虽然Iterable 表达的要求比您想要的要少，但Collection 表达的要求更多。