为什么定义的函数放在重定位表中

Question

我正在学习链接器在 Linux 中的工作原理。以我的代码为例：

// main.c
int printf(const char *format, ...);

void func1(int i)
{
    printf("%d\n", i);
}

int main(void)
{
    func1(1);
    return 0;
}

我执行命令gcc -c main.c，得到一个名为main.o的obj文件。

然后我执行命令objdump -r main.o，输出如下：

main.o:     file format elf64-x86-64

RELOCATION RECORDS FOR [.text]:
OFFSET           TYPE              VALUE
0000000000000011 R_X86_64_32       .rodata
000000000000001b R_X86_64_PC32     printf-0x0000000000000004
000000000000002c R_X86_64_PC32     func1-0x0000000000000004


RELOCATION RECORDS FOR [.eh_frame]:
OFFSET           TYPE              VALUE
0000000000000020 R_X86_64_PC32     .text
0000000000000040 R_X86_64_PC32     .text+0x0000000000000022

如果我是对的，objdump -r 将向我们展示 obj 文件中的所有重定位表。在这种情况下，printf 和func1 都被放入重定位表中。

printf在这个C文件中没有定义，所以需要重定位，但是为什么func1也可以在重定位表中找到呢？按照我的理解，func1 应该很好定义，可以在.text 部分找到，不需要重新定位，对吧？

Answer 1

重定位记录是确定段地址时需要调整的位置。在包括 x86 在内的许多体系结构中，可以编写与位置无关的代码，这些代码通过从一个部分中的一个位置到另一个位置的偏移量来引用对象或函数（因此当整个部分移动时偏移量不会改变），并且可以引用对象或函数通过跨节的偏移量以及一些额外的链接器帮助（因此在链接后偏移量不会改变，并且整个组合图像可能会在内存中移动）。

但是，有可能这一事实并不意味着您的构建工具正在使用与位置无关的代码。无论出于何种原因，您使用的工具和您使用的开关似乎都没有生成与位置无关的代码。因此，当有对printf 或func1 的引用时，会生成对其的可重定位引用，从而产生必须由链接器或加载器调整的重定位记录。