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

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在内的许多体系结构中，可以编写位置无关的代码，该代码通过节中一个位置到另一个位置的偏移量来引用对象或函数（因此，当整个节段移动时，偏移量不会改变），并且可以引用对象或函数通过节在某些附加链接程序帮助下的偏移量（因此偏移量在链接后不会更改，并且整个组合的图像可能会在内存中移动）。

但是，可能的事实并不意味着您的构建工具正在使用与位置无关的代码。在macOS上，默认情况下允许链接器从代码中剥离“死子节”，这可以更改节中各个内容之间的偏移量。这可能会排除使用与位置无关的代码。

无论出于何种原因，您正在使用的工具以及正在使用的开关似乎都不会生成与位置无关的代码。因此，当存在对printf或func1的引用时，将生成对其的可重定位引用，从而导致必须由链接程序或加载程序进行调整的重定位记录。