已编译的 Rust 可执行文件是否从依赖项中排除未使用的代码?

Does a compiled Rust executable exclude unused code from dependencies?

如果我使用带有一些 crate 依赖项的 Cargo 构建 Rust 应用程序,这些依赖项中未被我的应用程序使用的任何代码是否会从最终可执行文件中删除?

看起来像。我并排制作了一个测试库和 bin crate:

// hellobin/src/main.rs

extern crate hellolib;

fn main() {
    hellolib::func1();
}

对于库:

// hellolib/src/main.rs

pub fn func1() {
    println!("Hello, world!");
}

pub fn func2() {
    println!("Hello, other world!");
}

构建我的二进制文件,然后使用 nm:

检查符号
$ nm target/debug/helloworld | grep hello
0000000100001360 t __ZN10helloworld4main17h749f61fb726f0a10E
00000001000014b0 T __ZN8hellolib5func117hec0b5301559d46f6E

只有使用过的函数在最终的二进制文件中有符号。

不过您可以使用 cargo rustc -- -C link-dead-code 进行编译,您会看到两个符号都存在,包括未使用的符号:

$ nm target/debug/helloworld | grep hello
0000000100001270 t __ZN10helloworld4main17h3104b73b00fdd798E
00000001000013d0 T __ZN8hellolib5func117hec0b5301559d46f6E
0000000100001420 T __ZN8hellolib5func217hc9d0886874057b84E

我相信(但我不确定)是链接器删除了死代码,因此它可能仍然被编译然后在链接过程中被删除。

TL;DR: 是的,每个未使用的函数都将被排除。

这实际上是 LLVM 的工作,它至少会跟踪每个未使用的函数。 任何未使用的代码(如未在整个应用程序中采用的函数中的代码路径)可能需要激活 LTO(Link 时间优化)以将您的箱子变成一个编译单元,并且给LLVM一个战斗的机会。