如何让Rust函数接受Vec或HashSet并支持无克隆多次迭代？

不需要自定义trait，直接用Rust标准库的IntoIterator trait就能解决问题，核心是利用集合类型的引用版本实现了IntoIterator这一点——Vec和HashSet都满足这个条件，完全符合你的需求：不需要克隆集合，就能多次迭代。

具体实现方式 #

针对你的场景的约束写法 #

直接约束泛型参数的引用类型可以转换为迭代器，迭代项是&(String, String)：

fn foo<T>(t: T)
where
    for<'a> &'a T: IntoIterator<Item = &'a (String, String)>,
{
    // 第一次迭代
    for item in &t {
        // 处理每个元素，item是&(String, String)
        println!("{:?}", item);
    }

    // 第二次迭代，完全不消耗原集合
    for item in &t {
        println!("{:?}", item);
    }
}

更通用的写法 #

如果想让函数支持任意集合类型（不只局限于(String, String)），可以调整约束让它更通用：

fn foo<T>(t: T)
where
    T: IntoIterator,
    for<'a> &'a T: IntoIterator<Item = &'a <T as IntoIterator>::Item>,
{
    for item in &t { /* 处理逻辑 */ }
    for item in &t { /* 二次迭代逻辑 */ }
}

为什么这个方案可行 #

• Vec的引用&Vec<T>实现了IntoIterator，返回切片迭代器，迭代项是&T；
• HashSet的引用&HashSet<T>同样实现了IntoIterator，返回专属迭代器，迭代项也是&T；
• 两次迭代都是基于原集合的引用，不会消耗原集合，也不需要任何克隆操作。

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