为什么 int 类型在 BSS 部分占 8 个字节，而在 DATA 部分占 4 个字节

Question

我正在尝试学习 C 程序的可执行文件的结构。我的环境是 GCC 和 64 位 Intel 处理器。

考虑以下 C 代码a.cc。

#include <cstdlib>
#include <cstdio>

int x;

int main(){
  printf("%d\n", sizeof(x));
  return 10;
}

size -o a 节目

 text      data     bss     dec     hex filename
 1134       552       8    1694     69e a

在我添加另一个初始化的全局变量 y 之后。

int y=10; 

size a 显示（其中a 是来自 a.cc 的可执行文件的名称）

 text      data     bss     dec     hex filename
 1134       556      12    1702     6a6 a

众所周知，BSS 部分存储未初始化的全局变量的大小，DATA 存储已初始化的变量。

1. 为什么int在BSS中占用8个字节？我代码中的sizeof(x) 表明int 实际上占用了4 个字节。
2. int y=10 为 DATA 添加了 4 个字节，这是有道理的，因为 int 应该占用 4 个字节。但是，为什么要给 BSS 增加 4 个字节呢？

删除#include ... 这两行后，两个size 命令之间的差异保持不变。

更新： 我认为我对 BSS 的理解是错误的。它可能不存储未初始化的全局变量。正如维基百科所说，“BSS 在运行时需要的大小记录在目标文件中，但 BSS（与数据段不同）不占用目标文件中的任何实际空间。”例如，即使是一行 C 代码int main(){} 也有bss 8。

BSS的8位还是16位来自alignment？

Answer 1

它不会，无论它在哪个段中，它都占用 4 个字节。您可以使用 nm 工具（来自 GNU binutils 包）和 -S 参数来获取所有的名称和大小目标文件中的符号。您可能会看到编译器的次要影响，无论出于何种原因，包括或不包括某些其他符号。

例如：

$ cat a1.c
int x;
$ cat a2.c
int x = 1;
$ gcc -c a1.c a2.c
$ nm -S a1.o a2.o

a1.o:
0000000000000004 0000000000000004 C x

a2.o:
0000000000000000 0000000000000004 D x

一个对象文件在未初始化数据段（C）中有一个名为x的4字节对象，而另一个对象文件在初始化数据段（@987654327）中有一个名为x的4字节对象@)。