与位置无关的代码和vtable

Question

虚拟函数如何在与位置无关的代码中实现？

我知道如果我的类有虚函数,编译器通常会为它生成一个包含所有虚函数地址的vtable,并在我的类的每个对象中存储一个指向vtable的指针.

现在,如果我的代码与位置无关,则编译器无法知道虚函数的地址(或任何函数).那它是做什么的？

我想知道真正的编译器是做什么的(不是理论上可行的); 我最感兴趣的是Linux 32位平台,但其他平台也有点有趣.

Answer 1

有两种选择:

1. 接受你的vtable不会与位置无关,并尝试将其从代码部分移开,以便所有需要动态链接fixup的代码彼此相邻,以减少不可共享页面的数量.gcc这样做.
2. 在vtable中使用相对跳跃.我不知道有任何实现这样做,并且它只有在vtable与方法实现固定偏移时才有效,并且这些在加载时不能被覆盖(它们可以在典型的ELF系统上).