Rust编译疑问：不可达代码、依赖打包与死码消除机制

1. 引入的crate依赖若未使用任何函数，是否会被纳入最终二进制文件？ #

不会。Rust编译器（rustc）默认会执行死码消除（Dead Code Elimination），如果某个crate的所有符号都没被你的代码引用，整个crate的内容都不会被链接到最终二进制中。不过要注意，如果crate包含带副作用的全局初始化代码（比如通过#[ctor]宏生成的逻辑），这类代码可能会被保留，因为编译器会识别到它的执行副作用。

2. 仅调用大型库的单个函数时，是编译整个库还是仅该函数及其依赖部分？ #

编译阶段会编译整个库的所有源码（因为crate是Rust的基本编译单元），但链接阶段只会将你用到的函数及其直接/间接依赖的符号打包进最终二进制。举个例子，如果你只调用serde_json::to_string，serde库中未被依赖的模块（比如某些反序列化相关的未用到代码）不会出现在最终二进制里。编译整个库是必要的，因为编译器需要分析所有代码来准确判断哪些部分被实际引用。

3. JavaScript有Tree Shaking消除死码，Rust是否有等效机制？ #

Rust的**死码消除（DCE）**就是对应的等效机制，而且比JS的Tree Shaking更严格、彻底。作为静态编译语言，Rust在编译和链接阶段能精准分析代码依赖：

• 编译单元内部：rustc会自动移除未被引用的函数、结构体、常量等；
• 跨crate场景：LLVM链接器会进一步剔除未被使用的符号。
  如果有特殊需求（比如FFI调用需要保留某些未被直接引用的符号），可以通过#[used]属性强制保留指定代码。

关于opt = 'z'的补充 #

你提到的opt = 'z'是Cargo配置中的体积优化选项，它会让LLVM启用更多针对二进制体积的激进优化（比如更彻底的死码消除、调整函数内联策略），确实可能在部分场景下牺牲执行速度。如果想平衡体积和运行效率，可以尝试opt = 's'，它的优化强度比z更温和。

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