Rust中传值/传引用给impl IntoIterator函数的性能成本探讨

示例背景 #

我们经常会看到Rust函数使用impl IntoIterator<Item = impl AsRef<str>>作为参数类型，比如这个示例函数：

pub fn foo(
    args: impl IntoIterator<Item = impl AsRef<str>>,
) -> usize {
    args.into_iter().map(|s| s.as_ref().len()).sum()
}

当调用者持有Vec<String>或Vec<&str>这类集合的所有权时，有两种合法的调用方式：

let args = vec!["a", "bb", "ccc"];
foo(args);    // 传值调用
foo(&args);   // 传引用调用

核心问题解答：传值调用是否存在额外成本？ #

在调用后不再使用原集合的场景下，传值调用完全没有额外性能成本，具体原因如下：

• Vec的IntoIterator实现是零成本转移：Vec实现IntoIterator时，会直接将自身的内部数据（指针、长度、容量三个机器字）转移给迭代器，没有堆内存的复制或分配操作，本质上只是几个简单的内存拷贝，开销可以忽略。
• LLVM编译器会消除冗余操作：即使从代码上看是“移动”了Vec，编译器会在优化阶段直接将Vec的内部状态传递给迭代器的处理逻辑，最终生成的汇编代码和传引用的版本往往完全一致。
• 仅当调用后仍需使用原集合时才会产生成本：如果调用foo(args)之后还需要继续使用原Vec，你不得不先克隆整个Vec（比如foo(args.clone())），这时候才会触发堆内存的复制，产生额外开销。但这种场景属于使用方式的问题，并非传值本身的成本。

补充说明：

• 传引用调用本质上是使用&Vec<T>的IntoIterator实现，生成的迭代器会遍历集合的引用，每个迭代项是&T，再通过AsRef<str>转换为&str，这个过程的开销同样极低，和传值调用的性能几乎没有差异。
• 从语义角度选择：传值表示转移集合所有权给foo，传引用表示临时出借访问权。如果foo不需要保留集合所有权，且调用后不再使用原集合，传值调用更简洁且无性能损失。

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