为何相同使用场景下Rust生成的汇编指令数量多于C？

下面从代码实际行为、语言设计目标、编译策略三个方面拆解核心原因：

1. 代码的安全性与实际行为差异 #

• 你的C代码存在未定义行为：char str1[5]="Hello"仅分配5字节空间，而"Hello"本身就占满5字节（无字符串终止符\0），调用strcat后会越界写入内存。C编译器不会做任何安全检查，仅生成调用libc的strcat和puts的指令，自身逻辑代码极少。
• Rust代码是完全安全的：
  • to_string()会将字符串切片转为堆分配的String，自动管理内存与终止符；
  • str1 + &str2实际调用String::add方法，会先计算拼接后的长度、分配足够内存，再安全复制两个字符串的内容，全程做边界检查；
  • println!宏展开后包含格式化输出的完整逻辑，包括类型校验、缓冲区处理等，这些安全逻辑都会生成对应的汇编代码。

2. 语言设计目标的本质区别 #

• C的设计核心是极简、贴近硬件，依赖外部libc提供字符串操作、IO等基础功能，编译器不会主动添加安全检查，生成的代码仅包含用户逻辑与libc函数调用。
• Rust的设计核心是内存安全、零成本抽象，很多安全机制（如边界检查、内存自动管理）需要在编译时生成对应代码，即使是简单的字符串操作，也会包含这些安全逻辑，而非直接调用外部函数。

3. 编译策略与标准库处理方式不同 #

• C编译时默认链接系统libc，strcat、puts都是libc中的预编译函数，汇编文件仅保留函数调用指令，无需包含这些函数的实现代码。
• Rust编译时默认会将用到的标准库代码（如String的实现、println!的格式化逻辑）部分内联或嵌入到汇编文件中，这些代码本身包含大量细节，直接导致汇编文件体积增大。

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