回答

零成本抽象 是Rust的一个关键理念，意味着抽象（例如，泛型类型、迭代器、traits）不应该比手动编写类似代码带来额外的时间或内存开销。也就是说，高级代码经过优化后编译成的效率应与低级代码相同。

Rust通过单态化机制实现这一点：泛型代码为每个具体类型单独编译，没有动态调用。基于traits/泛型编写的迭代器和闭包在优化后被编译器展开为直接的强类型代码，消除了多余的封装。

零成本迭代器示例：

let v = vec![1,2,3];
let sum: i32 = v.iter().map(|x| x * 2).sum();

此代码片段在优化后几乎被编译器转换为手动循环：

let mut sum = 0;
for x in &v {
    sum += x * 2;
}

陷阱问题

在Rust中，零成本抽象是否意味着在使用trait对象（例如，&dyn Trait）时不会有运行时开销？

回答：不！ 由于通过vtable动态选择方法时会产生运行时开销——当使用dyn Trait而不是泛型函数时。零成本仅在静态（单态化的）泛型抽象中获得。

示例：

trait Speaker { fn speak(&self); }
fn say_twice<T: Speaker>(v: T) { v.speak(); v.speak(); }
fn say_twice_dyn(v: &dyn Speaker) { v.speak(); v.speak(); }
// 第一个调用被单态化，第二个通过vtable

由于对主题细微差别不了解而导致的实际错误示例

---

故事

在一个对性能关键的项目中，使用了许多 &dyn Trait 而不是泛型——由于额外的间接调用（通过vtable调用），速度下降了20％。在重写为泛型和静态调度后，一切变得快速。

故事

使用了Iterator和map/filter类型来处理庞大的数据集，认为会有开销迭代。经过汇编分析发现，优化后整个链条转换为简单循环——性能没有受到影响，因此零成本确实有效！

故事

在一个外部库中创建了一个泛型结构，并作为Box<dyn Trait>返回。尽管实现是泛型的，但由于在运行时引入了抽象，失去了零成本。