**7.6**
+-----------------------------------------------------------------------+
|Symbol entry? Symbol type Module where defined Section |
| |
| buf Y extern m.o .data |
| |
| bufp0 Y global swap.o .data |
| |
| bufp1 Y local swap.o .bss |
| |
| swap Y global swap.o .text |
| |
| temp N ---- ---- ---- |
| |
| incr Y local swap.o .text |
| |
+-----------------------------------------------------------------------+
temp
是普通局部变量,由编译器安排,和链接无关。
7.7
在bar5.c
中声明x的时候使用static
,使其链接为内部链接:
/* bar5.c */
static double x;
void f()
{
x = -0.0;
}
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,反汇编:
0000000000400526 <main>:
400526: 55 push %rbp
400527: 48 89 e5 mov %rsp,%rbp
40052a: 48 83 ec 10 sub $0x10,%rsp
40052e: 89 7d fc mov %edi,-0x4(%rbp)
400531: 48 89 75 f0 mov %rsi,-0x10(%rbp)
400535: e8 07 00 00 00 callq 400541 <p2>
40053a: b8 00 00 00 00 mov $0x0,%eax
40053f: c9 leaveq
400540: c3 retq
0000000000400541 <p2>:
400541: 55 push %rbp
400542: 48 89 e5 mov %rsp,%rbp
400545: be 26 05 40 00 mov $0x400526,%esi
40054a: bf e4 05 40 00 mov $0x4005e4,%edi
40054f: b8 00 00 00 00 mov $0x0,%eax
400554: e8 a7 fe ff ff callq 400400 <printf@plt>
400559: 90 nop
40055a: 5d pop %rbp
40055b: c3 retq
40055c: 0f 1f 40 00 nopl 0x0(%rax)
我们要关注printf
的第二个参数,即%esi
,可以看到mov $0x400526,%esi
,其中0x400526
就是main函数的地址 ,所以printf
会默认输出开头的一个字节(char类型),即push的机器码55.
所以原因在于bar6.c中的main是一个weak类型链接的变量,而foo6.c中的main是一个strong类型的,所以再链接的时候bar6.o中的main会解析到foo6.o中的main,从而一直输入0x55.
这里要特别说明一点,在C中,函数名和数组名一样都是“二等公民”,是一个内存块的标识符,在进行算术运算的时候会“退化”为一个指针常量。这里链接的时候就没有发生退化(链接器不管编译器的事情)。如果我们将printf("0x%x\n", main);
这句话放到foo6.o中则会输出400526。
7.10
注意链接器看到.o文件会直接更新E,U,D(书上有定义),后面即使有依赖也不用包含。
A.
gcc p.o libx.a
B.
gcc p.o libx.a liby.a libx.a
C.
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相对寻址。
A.
0x4004f8 + -4 - (0xa + 0x4004e0) = 0xa
B.
0x400500 + -4 - (0xa + 0x4004d0) = 0x22
7.13
A.
B.
不一样:
C.