为何Rust的std::iter::zip看似具备内部可变性？

API 探路者

2026-7-2

问题解析

核心原因是所有权转移，而非打破了Rust的可变/不可变规则。

1. 直接调用`next`的错误原因

当你声明let my_iter = MyIter { ... };时，这是一个不可变绑定——你无法通过这个绑定对my_iter进行可变借用。而Iterator trait的next方法签名是：

fn next(&mut self) -> Option<Self::Item>;

它要求对self进行可变借用，所以直接调用my_iter.next()会触发编译错误，完全符合Rust的规则。

2. `zip`能正常工作的原因

std::iter::zip的参数是两个实现了IntoIterator的类型，当你传递my_iter给zip时，发生了所有权转移：my_iter的所有权被移交给zip函数，zip内部会将其转换成迭代器（对于本身就是Iterator的类型，IntoIterator的默认实现就是返回self）。

此时zip拥有了MyIter实例的完整所有权，它完全有权对这个实例进行可变借用以调用next方法——这完全符合Rust的规则：你可以自由修改自己拥有所有权的数据，不管它原来的绑定是否不可变。

3. `zip`的核心实现逻辑

Zip结构体的核心逻辑大致如下：

struct Zip<I1, I2> {
    a: I1,
    b: I2,
}

impl<I1: Iterator, I2: Iterator> Iterator for Zip<I1, I2> {
    type Item = (I1::Item, I2::Item);

    fn next(&mut self) -> Option<Self::Item> {
        // 对自身持有的迭代器进行可变借用，调用next
        let a_next = self.a.next();
        let b_next = self.b.next();
        a_next.zip(b_next)
    }
}

Zip持有两个迭代器的所有权，在next方法中，它可以直接对self.a和self.b进行可变借用（因为self是&mut Zip，所以self.a自动成为&mut I1），从而合法调用next修改内部状态。