为何Rust中Iterator::inspect结合take时表现不符合预期？

第一个代码片段的行为解释 #

fn main() {
    let foo = (0..100)
    .skip(2)
    .inspect(|x| { dbg!(x); })
    .take(5)
    .collect::<Vec<u32>>();

    dbg!(foo);
}

Rust迭代器是惰性求值的，只有调用collect这类消费型方法时，才会逐个生成元素并流经整个迭代链。这里的流程是：

1. 从0..100生成元素，前两个（0、1）被skip(2)直接跳过，不会进入后续环节；
2. 从第三个元素（2）开始，每个元素先经过inspect执行打印逻辑，再进入take(5)；
3. 当take(5)收集到5个元素（2、3、4、5、6）后，迭代器立即停止，不会再生成7到99的元素。

因此inspect只会接收到这5个被允许通过的元素，仅打印这五个值。

第二个代码片段的行为解释 #

fn main() {
    let foo = (0..100).into_iter()
    .inspect(|x| { dbg!(x); })
    .skip(2)
    .take(5)
    .collect::<Vec<u32>>();

    dbg!(foo);
}

这里迭代链顺序改变，inspect被放在最前面：

1. 迭代器逐个生成元素，每个元素先经过inspect执行打印，再进入后续的skip(2)和take(5)；
2. 前两个元素（0、1）被skip(2)过滤，但它们已经流经inspect，所以会被打印；
3. 从第三个元素（2）开始，元素通过skip(2)后被take(5)收集，凑够5个（2、3、4、5、6）后迭代停止。

所以inspect会打印所有被生成过的元素：0、1、2、3、4、5、6，而最终collect得到的是skip(2)后保留的5个元素，结果符合预期。

核心逻辑总结 #

• 迭代器不会提前生成所有元素，仅在消费时按需生成，生成数量取决于后续适配器的需求（比如take(5)只需要5个有效元素）；
• inspect是观察型适配器，只有当元素流经它时才会执行闭包。如果元素没被生成（比如第一个例子的7-99），或者在到达inspect前就被过滤（比如第一个例子的0、1），inspect不会有任何输出；
• 迭代链是元素级流水线，每个元素按顺序经过所有适配器，直到被消费或丢弃，整个过程是逐个元素处理，而非先生成所有元素再过滤。

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