为什么Rust稳定版1.55.0下Valgrind再次无法检测到内存泄漏？

• 该漏检本质是release模式下编译器优化消除了无副作用的内存分配导致的：示例中定义的bad_vec在分配后没有任何读写操作，直接调用std::mem::forget，而std::mem::forget本身无运行时侧效，Rust编译器在高优化等级下会判定整个分配、初始化逻辑无可见影响，直接将整个allocate函数优化为空。最终运行时根本没有执行内存分配操作，Valgrind自然检测不到泄漏。
• 替换为0u8可检测到泄漏属于特例：vec![0u8; N]的底层会调用特殊的零初始化分配接口，当前版本的Rust编译器暂时不会把这类调用判定为无侧效逻辑，因此不会被优化消除，分配动作实际执行后被forget就会被Valgrind捕获。

• 方案1：使用std::hint::black_box标记分配的对象，告诉编译器该对象有外部依赖不可被优化消除，修改后的示例代码如下：

fn allocate() {
    let bad_vec = vec![1u8; 1024*1024];
    // 新增该行阻止编译器优化掉分配逻辑
    std::hint::black_box(&bad_vec);
    std::mem::forget(bad_vec);
}

修改后重新编译运行，Valgrind即可正常检测到对应内存泄漏。

• 方案2：编译时降低优化等级，使用debug模式编译（即不加--release参数），debug模式下不会执行这类副作用消除优化，分配动作会完整保留，Valgrind可正常检测。
• 方案3：针对包含unsafe代码的内存问题检测，优先使用Rust官方的Miri工具，Miri专门针对Rust的unsafe代码做未定义行为、内存泄漏检测，无需担心编译优化干扰，检测覆盖度比Valgrind更高更适配Rust生态。

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