Compiler Explorer中Rust与C二进制反汇编差异原因及使用疑问

我在Compiler Explorer的「binary」模式下观察功能等效的Rust与C程序生成的反汇编（该模式展示完整的链接后可执行文件，而非仅特定函数的编译器生成汇编）：

Rust程序 #

pub fn square(num: i32) -> i32 {
    num * num
}

fn main () {
    let n = 4;
    let _x = square(n);
}

C程序 #

int square(int num) {
    return num * num;
}

int main() {
    int n = 4;
    int x = square(n);
}

两者生成的反汇编差异极大：C程序的反汇编更短且易于理解，而Rust程序的反汇编完全无法看懂。请问为何二者反汇编长度差异如此之大？我是否错误使用了Compiler Explorer？

你没有错误使用Compiler Explorer，差异主要源于Rust和C在编译、链接机制上的固有区别：

• Rust标准库启动代码更复杂：Rust的main不是程序真正的入口，它会被标准库的启动逻辑包裹，这部分代码包含线程环境初始化、panic处理框架、堆分配器初始化等完整运行时组件，全部会被编译进最终可执行文件，导致反汇编体积骤增。而C的默认启动代码仅做最基础的初始化工作，逻辑精简得多。

• 默认优化与运行时检查差异：Rust默认使用debug编译级别（对应-O0），该级别下编译器会保留大量调试信息，并插入大量运行时检查（比如边界检查、panic触发逻辑）；C虽然默认也是-O0，但本身不会像Rust那样添加这么多额外检查逻辑。若将Rust的优化级别调至-O3，反汇编会大幅精简，和C的差异会明显缩小。

• 符号与调试元数据差异：Rust默认生成的符号信息、调试元数据比C更详尽，这些内容会体现在反汇编输出中，让整体内容显得更繁杂。

内容的提问来源于stack exchange，提问作者Amir reza Riahi