与位置无关的代码和 vtable答案

【问题标题】：Position-independent code and vtable与位置无关的代码和 vtable
【发布时间】：2011-07-19 15:33:57
【问题描述】：

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

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

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

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

【问题讨论】：

【解决方案1】：

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

【讨论】：

【解决方案2】：

基本上，vtable 到处都是作为函数指针表实现的。

【讨论】：

【解决方案3】：

有两种选择：

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

【讨论】：