为何Rust中vec![value; size]并非总是最快的向量初始化方式？

你遇到的场景是：重构代码后发现，用vec!宏初始化向量的性能明显低于用迭代器map+collect的方式：

性能较慢的实现 #

let mut frame = Self {
    locals: vec![Value::Nil; block.blk_info.nb_locals],
    ...
};

性能更快的实现 #

let mut frame = Self {
    locals: (0..block.blk_info.nb_locals).map(|_| Value::Nil).collect(),
    ...
};

这种情况是正常的，vec!宏并非在所有场景下都是初始化重复值向量的最优方案，核心差异在于两者的实现逻辑和Value::Nil的Clone trait实现：

核心差异分析 #

• vec![T; n]的执行逻辑
  该宏要求T必须实现Clone trait，它的工作流程是：先构造一个T类型的初始实例，然后通过调用clone()方法n次来填充整个向量。如果Value::Nil的clone方法存在非零成本的操作（比如内部包含引用计数增减、内存分配，或者编译器无法优化的复制逻辑），那么n次克隆的累积开销就会导致性能下降。

• 迭代器map+collect的执行逻辑
  这种方式会直接为每个元素独立构造Value::Nil实例，全程不需要调用clone方法。如果Value::Nil是一个简单的枚举变体（例如enum Value { Nil, Int(i64), Str(String) }），构造过程只是简单的栈操作或常量初始化，没有额外开销，因此会比依赖克隆的vec!宏更快。

进一步验证建议 #

1. 检查Value的Clone实现：如果Nil变体的clone不是零成本操作（比如手动实现了clone且包含额外逻辑），就能直接解释性能差异。
2. 确认基准测试有效性：只要基准测试避免了编译器死代码消除（例如使用测试结果进行后续操作）、执行次数足够多并取统计平均值，结果就是可信的，无需先怀疑测试工具。
3. 查看汇编代码：使用cargo asm工具对比两种方式生成的汇编指令，可以直观看到克隆操作带来的额外指令开销。

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