c - 为什么 ELF 中外部变量的大小为 0？

Question

C 程序中变量的外部声明导致 ELF 中的大小为 0。为什么已知的实际大小不存储在 ELF 中？对于像不完整数组这样的情况，我知道没有大小信息，但对于其他情况，应该可以存储大小。

我尝试了一些简单的代码并验证了发出的 ELF 大小为零。

// file1.c

extern int var;
int main()
{
    var = 2;
}

// file 2.c
long long int var = 8;

gcc -c file1.c
readelf -s file1.o
...
9: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND var
...

gcc -c file2.c
readelf -s file2.o
...
7: 0000000000000000     8 OBJECT  GLOBAL DEFAULT    2 var
...

如果 var 的大小在 file1.o 中存储为 4，链接器实际上可以在与 file2.o 链接时检测到由于大小导致的潜在不匹配。

那么，为什么不发出尺寸，因为它可以帮助捕捉像这样的一些细微问题？

Answer 1

在file1中，var只是一个占位符。它不会占用任何内存。外部标识符是为了向编译器和链接器指示变量 var 存储在别处。

按照您的建议，为单个变量 var 设置两个存储位置是错误的。

这是 C 语言的一个怪癖，您可以为外部变量定义不同的类型，为基础全局变量定义不同的类型，就像您在示例中所做的那样。这是我们拥有静态分析工具的原因之一。