7.6
<code>temp</code>是普通局部变量,由编译器安排,和链接无关。
7.7
在<code>bar5.c</code>中声明x的时候使用<code>static</code> ,使其链接为内部链接:
7.8
A.
(a) REF(main.1) -> DEF(main.1)
(b) REF(main.2) -> DEF(main.2)
B.
(a) REF(x.1) -> DEF(unkown)
(b) REF(x.2) -> DEF(unkown)
C.
(a) REF(x.1) -> DEF(ERROR)
(b) REF(x.2) -> DEF(ERROR)
7.9
在我的机器上输出的是0x55,反汇编:
我们要关注<code>printf</code>的第二个参数,即<code>%esi</code> ,可以看到<code>mov $0x400526,%esi</code> ,其中<code>0x400526</code>就是main函数的地址 ,所以<code>printf</code>会默认输出开头的一个字节(char类型),即push的机器码55.
所以原因在于bar6.c中的main是一个weak类型链接的变量,而foo6.c中的main是一个strong类型的,所以再链接的时候bar6.o中的main会解析到foo6.o中的main,从而一直输入0x55.
这里要特别说明一点,在C中,函数名和数组名一样都是“二等公民”,是一个内存块的标识符,在进行算术运算的时候会“退化”为一个指针常量。这里链接的时候就没有发生退化(链接器不管编译器的事情)。如果我们将<code>printf("0x%x\n", main);</code>这句话放到foo6.o中则会输出400526。
7.10
注意链接器看到.o文件会直接更新E,U,D(书上有定义),后面即使有依赖也不用包含。
gcc p.o libx.a
gcc p.o libx.a liby.a libx.a
gcc p.o libx.a liby.a libx.a libz.a
7.11
借用书上的原话:
The remaining 8 bytes in the segment correspond to .bss data that will be initialized to zero at run time.
7.12
由r.type = R_X86_64_PC32知为PC相对寻址。
0x4004f8 + -4 - (0xa + 0x4004e0) = 0xa
0x400500 + -4 - (0xa + 0x4004d0) = 0x22
7.13

不一样: