AT&T语法下C转汇编：.comm指令第二个4的对齐含义问询

先还原你的场景：

你编写的回显C程序：

#include <stdio.h>
int c;
int main(){
    while ((c = getchar ()) != EOF) {
        putchar(c);
    }
    return 0;
}

通过以下命令编译生成AT&T风格汇编：

gcc -S -m32 -fno-pic -fno-asynchronous-unwind-tables lauf.c

得到的汇编片段中包含这条指令：

.comm c,4,4 // 全局变量c占4字节，第二个4表示对齐，但具体含义是什么？

核心解答 #

在GNU汇编的.comm指令里，语法格式是 .comm 符号名, 占用字节数, 对齐边界，这里的第二个4代表全局变量c的起始地址必须对齐到4字节的边界——也就是说，c的内存地址必须是4的整数倍（比如0x1000、0x1004这类地址，而不能是0x1001、0x1002）。

为什么需要这个对齐？

• 性能优化：在32位x86架构下，CPU访问对齐的数据效率更高。比如读取一个4字节的int变量，如果地址是4的倍数，CPU只需要一次内存操作就能完成；如果不对齐，CPU可能需要两次内存读取再拼接数据，会产生额外的性能开销。
• 符合类型自然对齐规则：你的全局变量c是int类型，在32位系统下int的长度就是4字节，C语言的类型自然对齐要求通常是“对齐到等于类型大小的边界”，所以编译器自动设置了4字节的对齐值，保证变量的访问符合规范。
• 补充：x86架构允许不对齐的内存访问，但部分RISC架构（比如ARM的某些模式）会直接触发异常，因此对齐是跨平台兼容性和性能的双重要求。

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