从实现 Iterator 来窥探 Rust

这篇博客通过实现一个简单的 `Iterator` trait 展示了 Rust 语言中所有权机制与迭代器模式的结合方式。文章围绕 `Nums` 结构体展开，通过对比直接实现迭代器与间接借用结构体两种方案揭示了 Rust 设计哲学中的核心矛盾：如何在不污染结构体状态的前提下实现迭代能力。作者通过引入 `NumsIter` 中间结构体巧妙规避了状态污染问题，但这一设计却带来了生命周期管理的复杂性——`'a` 标注不仅保证了借用对象的存活时间，更构建了 Rust 内存安全的底层逻辑。文章揭示了 `&'a Nums` 这类借用语法的本质是所有权转移的逆向操作，通过生命周期标注解决了悬垂引用问题，这种将安全边界编码进类型的特性在其他语言中鲜有匹敌。在实现 `Iterator` 时，关联类型 `type Item` 的使用暗示了 Rust 类型系统的设计取舍：相比泛型参数的显式冗余，关联类型通过隐式绑定实现了更优雅的抽象。当读者看到 `next()` 方法的实现时，会自然思考：如果数据源不是固定数组而是动态生成的值，该模式能否适配？当迭代器需要同时处理多个借用对象时，生命周期标注又该如何演变？这些未解答的问题或许正是理解 Rust 所有权模型的关键切口。--Qwen3