c语言 机器语言,C语言与ELF机器语言之间的关系

在elf这个层次，一个符号就相当于是给某个地址起了个名字。

这里没有数据类型信息，也没有大小。

但程序员一定知道这地方的数据是怎么组织的，有多大。 对于C语言而言，有static变量/函数，全局变量/函数。

这些东西，编译时都是要生成elf符号的，即为这些元素的起始地址起了名字。

C语言中，对这些东西的引用，在构建出可执行程序后，就变成了对这些符号的对应地址的操作。

至于用何种指令操作，则由C编译器，根据代码的语义及数据类型的定义来决定。

这些，都是在编译局部的代码时生成的，与链接无关。

例如，load/store操作，按多大的偏移进行，

是做加法、乘法、还是位运算，按多大的整数宽度进行运算......

至于C语法中对外部变量/函数的声明，在编译时生成对外部符号的引用标识。

最终链接时，所有.o合并成一个文件，所有符号的地址都确定了，

所有对符号的引用，也都换成了符号的实际地址。

根据上述描述，我们可以通过一些小技巧，来访问objdump中输出的系统符号的地址。

例如。对于__bss_start，我们知道，在elf这一层，他只是一个符号，代表一个地址的名字。

虽然他没有类型，但我们在C代码中可以给他假定一个类型，以便我们来存取这地方的数据。

至于定义什么类型，就看怎么样最方便我们写代码操作他了。

反正C编译器会根据我们的定义，生成合适的代码^_^。

好了，看下面的示例。

extern，指示引用外部符号__bss_start。

类型char其实是指示C编译器，按照数据类型char生成相关的访问指令。

当然，实际上，我们的代码连char类型的数据操作都没用上。

因为，我们将char换成别的数据类型(当然不包括void)，也是一样。

因此，这里只相当于达到了C语法形式上的正规合法。

#include

extern char __bss_start;

int main()

{

printf("__bss_start=%p\n", &__bss_start);

return 0;

}