运行时的 Vtable 修改答案

【问题标题】：Vtable modifications at run time运行时的 Vtable 修改
【发布时间】：2016-05-13 21:52:52
【问题描述】：

对于那些使用 vtables 的编译器实现：是否存在虚拟函数表在运行时更改的情况？还是 vtables 只是在编译时填充，而在运行时没有执行任何操作来修改它们？

【问题讨论】：

您认为哪种运行时修改有用/可能？
@Cheersandhth.-Alf 如果它是一个普通的 C++ 程序，那么它是愚蠢的。但如果他（现在或将来）必须编写类似 VM 或 interperter/JIT 编译器的东西，我就不会这么快放弃他的问题
它是imp...很难想出这样一个线程安全的设计，所以它没有完成。
如果需要在运行时修改 vtable，它们必须位于可写部分。 “可写”的另一个词是“可破解”：（
最明显的例子是类的构造函数。它与另一个防止虚函数成为虚函数的 v-table 一起运行，从而实现所需的 C++ 行为。在构造函数的末尾与常规的交换。我们不允许谈论这样的实施细节。

标签： c++ vtable

【解决方案1】：

我不知道有任何具有多态性实现的 C++ ABI，它使用在运行时更改的虚拟表。

无论如何，它不会很有用，因为虚拟表通常描述代码的属性（成员函数之间的关系，w.r.t. 在类层次结构中的位置）并且 C++ 代码在运行时不会改变。

因为它没有用，所以会很浪费。

【讨论】：

【解决方案2】：

简短的回答是否定的。

一个稍微长一点（可能是特定于实现）的答案是，在派生多态类的构造函数和析构函数执行期间，对象指向实际 vtable 的指针会发生变化，因此派生类中的重写方法不会被执行基类的构造函数/析构函数，而派生类尚未构造/已被析构。

如果您希望对象在运行时更改类，那么您有多种选择：

【讨论】：

变化的不是 vtable。它是被销毁对象的 vptr 成员！
另外，std::function 可以在运行时重新分配，所以这是另一种选择
@KerrekSB 已修复，尽管我确信有更好的措辞
@DavidHaim 我认为这将归入“滚动你自己的”标题下，因为他说的是在运行时更改整个对象类的行为 - 周围需要一个互斥锁更改，以及一些保护当时实际正在执行的函数的机制（可能是复制 std::function 或将 shared_ptr 保存到它？）
@RichardHodges 是的，我完全同意你的看法。我只是想提一下函数对象，这样看起来“调度机制”就不会总是意味着诸如 JIT 编译或弄乱汇编代码之类的东西