Rust中cargo bench编译含大类型代码远慢于cargo build --release的原因

为什么cargo bench编译耗时远超过cargo build --release？ #

虽然两者默认都采用-O3优化级别，但编译场景的核心差异导致了耗时差距：

• 代码结构复杂度不同：cargo build --release编译的是库/二进制本身，代码路径简洁；而cargo bench会通过Criterion宏生成大量额外代码（计时、统计、多次迭代逻辑等），这些代码与栈上大数组类型结合后，会让编译器的中间表示（IR）体积暴增。
• 大栈数组的编译负担：你的结构体包含[u8; 30_000]，该类型在栈上分配。当Criterion生成的基准代码需要多次创建该结构体实例时，编译器会尝试优化数组的初始化、复制操作（比如展开零初始化循环、常量传播），这会产生海量IR指令，LLVM处理这些指令需要大量时间。而普通release编译中，不会有这么高频的大结构体创建场景，编译器优化负担小得多。
• Box版本的优势：改用Box<[u8; 30_000]>后，结构体核心是一个8字节指针，编译器处理指针的初始化、复制操作几乎无负担，IR体积大幅缩小，编译时间自然缩短。

这是不是Criterion的bug？ #

不是。Criterion的宏生成代码是合理的基准测试逻辑，问题根源是大栈类型与高频实例创建场景结合时，编译器优化的固有开销——换用其他基准测试框架，只要存在类似的高频大结构体创建逻辑，同样会遇到编译慢的问题。

无性能损失的解决方案 #

要保留栈数组的性能优势，同时解决编译慢的问题，核心是避免在基准测试的迭代循环中重复创建大结构体实例：

方案1：使用iter_batched复用实例 #

利用Criterion的iter_batched方法，在setup阶段一次性创建结构体实例，后续迭代直接重用：

use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
use my_crate::Interpreter;

fn bench_interpreter(c: &mut Criterion) {
    c.bench_function("brainfuck_interpreter", |b| {
        b.iter_batched(
            // Setup：仅执行一次，创建大结构体实例
            || Interpreter::new(),
            // 被测逻辑：重用已创建的实例（若逻辑会修改状态，可在内部重置）
            |mut interpreter| {
                interpreter.mem.fill(0); // 重置内存状态
                interpreter.run(">++++++++[<+++++++++>-]<.")
            },
            BatchSize::PerIteration,
        );
    });
}

criterion_group!(benches, bench_interpreter);
criterion_main!(benches);

方案2：捕获预先初始化的实例（状态可重用场景） #

如果被测逻辑不会修改结构体状态，可直接在闭包外初始化实例，迭代时复用：

use criterion::{criterion_group, criterion_main, Criterion};
use my_crate::Interpreter;

fn bench_interpreter(c: &mut Criterion) {
    let mut interpreter = Interpreter::new();
    c.bench_function("brainfuck_interpreter", |b| {
        b.iter(|| interpreter.run(">++++++++[<+++++++++>-]<."))
    });
}

criterion_group!(benches, bench_interpreter);
criterion_main!(benches);

方案3：用MaybeUninit跳过编译期零初始化 #

通过std::mem::MaybeUninit跳过数组的编译期零初始化，在运行时手动填充零，大幅减少编译器生成的IR体积：

use criterion::{criterion_group, criterion_main, Criterion};
use my_crate::Interpreter;
use std::mem::MaybeUninit;

fn bench_interpreter(c: &mut Criterion) {
    c.bench_function("brainfuck_interpreter", |b| {
        b.iter(|| {
            // 跳过编译期零初始化
            let mut mem = unsafe { MaybeUninit::<[u8; 30_000]>::uninit().assume_init() };
            mem.fill(0); // 运行时重置内存
            let mut interpreter = Interpreter { mem };
            interpreter.run(">++++++++[<+++++++++>-]<.")
        });
    });
}

criterion_group!(benches, bench_interpreter);
criterion_main!(benches);

这些方法既保留了栈数组的访问性能，又消除了基准测试中重复创建大结构体带来的编译负担，完美解决编译慢的问题。

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