与位置无关的代码和vtable

Question

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

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

现在，如果我的代码与位置无关，则编译器无法知道虚函数的地址（或任何函数）。那它做了什么？

我想知道真正的编译器是做什么的（理论上不可能）;我最感兴趣的是Linux 32位平台，但其他平台也有点有趣。

Answer 1

有两种选择：

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

Answer 2

我建议您编写一些示例程序并自行检查它们，例如IDA Pro。下载freeware version或demo version。

Answer 3

基本上，vtable无处不在，实现为函数指针表。