为什么Rust release编译下未使用的零初始化Vec不会被优化掉？

• 两类初始化的底层实现逻辑存在本质差异
  非零值初始化vec![N; M]（N≠0）的执行流程为：调用标准分配器申请对应大小的内存，再向内存中写入重复的非零值。由于你声明的Vec变量全程没有被后续代码使用，编译器可以完整证明这整套申请、写入、释放操作不存在任何可观测的外部副作用，因此可以直接将全部逻辑优化为空操作。
  零值初始化vec![0; M]是Rust标准库专门做过优化的场景：不会走「申请内存+memset填零」的路径，而是直接调用分配器的__rust_alloc_zeroed接口，直接返回已经完成零初始化的内存，省去了额外的内存写入步骤。
• 编译器对分配器接口的优化支持存在差异
  目前Rust使用的LLVM后端，已经对普通的__rust_alloc/__rust_dealloc接口做了完善的优化支持：识别到分配的内存没有被使用时，可以安全删除整组分配+释放调用。但针对__rust_alloc_zeroed接口，当前版本的编译器还没有为其标记「返回值未使用时可安全消除调用」的语义属性，因此编译器不敢擅自删除该调用，只能保留完整的申请、校验、释放流程。
  此外这个优化差异是当前版本编译器的实现局限，后续随着LLVM对零分配接口的优化支持完善，这类无使用的零值初始化分配逻辑也会被优化消除。

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