Rust Arduino示例移至examples/后二进制体积暴增20倍

问题详情 #

我正在为Arduino Uno从零开发Rust库smolduino，遇到一个编译体积异常问题：

• 将基础Serial.write打印代码放在src/main.rs时，执行cargo b --release编译后二进制体积约500字节；
• 把完全相同的代码复制到examples/serial-print.rs，执行cargo b --example serial-print --release编译后，体积暴增至近10000字节。

通过cargo bloat对比输出确认：示例版本未触发死代码消除，且两者均已开启LTO。已排除avr-ld的问题，怀疑根源在Rust/LLVM层面。

可能的原因与解决方向 #

1. 检查示例的编译配置继承 #

确保Cargo.toml中示例没有覆盖根目录的release优化配置。根配置需保持严格的优化设置：

[profile.release]
lto = true
opt-level = "z"
codegen-units = 1
panic = "abort"

[[example]]
name = "serial-print"
path = "examples/serial-print.rs"
# 避免在此处设置与release冲突的优化参数

2. 强制链接器进行激进的死代码消除 #

在.cargo/config.toml中为AVR目标添加链接器参数，增强死代码移除能力：

[target.avr-atmega328p]
rustflags = [
  "-C", "link-arg=-Wl,--gc-sections",
  "-C", "link-arg=-Wl,--relax",
  "-C", "link-arg=-Wl,--strip-all",
]

这些参数会强制链接器清理未使用的代码段，配合LTO实现更彻底的优化。

3. 统一示例与主程序的编译环境 #

在示例代码顶部添加与src/main.rs一致的编译属性，避免引入不必要的标准库代码：

#![no_std]
#![no_main]

确保示例以无标准库、无默认主函数的模式编译，和主程序保持一致的环境。

4. 调整示例的编译单元结构 #

Cargo编译示例时会创建独立编译单元，可能限制LLVM的跨单元优化。可以尝试将示例代码移至src/bin/serial-print.rs，然后执行cargo b --release --bin serial-print，观察体积是否恢复正常——这种方式下编译单元的处理逻辑更接近src/main.rs。

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