Haskell中如何处理无限长列表？判断其长度是否大于指定数值

核心思路 #

不管列表是有限还是无限，我们不需要知道它的完整长度——只需要验证是否存在至少N+1个元素：

• 对于有限列表：遍历到第N+1个元素时如果还没耗尽，说明长度大于N；如果遍历完都没到N+1，说明长度≤N。
• 对于无限列表：只要能取出第N+1个元素，直接就能确定长度大于N，无需继续遍历。

代码实现（Python） #

def is_longer_than(iterable, n):
    count = 0
    for _ in iterable:
        count += 1
        if count > n:
            return True
    return count > n

工作原理 #

1. 初始化计数器count为0，遍历目标可迭代对象（包括普通列表、生成器、无限迭代器等）。
2. 每遍历一个元素，计数器加1；一旦计数器超过目标数值n，立即返回True（无限序列会在这里及时终止，不会无限循环）。
3. 如果遍历完所有元素（有限列表），最后判断最终计数是否大于n，返回结果。

示例验证 #

针对你提到的「从10开始的所有奇数」（可用生成器实现：(x for x in range(10, float('inf')) if x % 2 != 0)），当n=1000时：

• 遍历到第1001个奇数时，计数器变为1001，大于1000，函数直接返回True，符合预期。

注意事项 #

• 不要直接使用len()：无限迭代器没有长度属性，调用会抛出TypeError；即使是有限大列表，提前终止遍历也比取完整长度更高效。
• 该方法适用于所有可迭代类型：包括Python的生成器、迭代器，以及其他语言中类似的惰性序列。

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