c++ - 在 C++ 中，重写现有虚函数是否会破坏 ABI？

Question

我的库有两个类，一个基类和一个派生类。在当前版本的库中，基类有一个虚函数 foo()，派生类没有覆盖它。在下一个版本中，我希望派生类覆盖它。这会破坏 ABI 吗？我知道引入一个新的虚函数通常是这样，但这似乎是一个特例。我的直觉是它应该更改 vtbl 中的偏移量，而不实际更改表的大小。

显然，由于 C++ 标准不强制要求特定的 ABI，这个问题在某种程度上是特定于平台的，但在实践中，打破和维护 ABI 的因素在大多数编译器中都是相似的。我对 GCC 的行为很感兴趣，但是人们可以回答的编译器越多，这个问题就越有用；)

Answer 1

可能。

关于偏移量你错了。 vtable 中的偏移量已经确定。将发生的是派生类构造函数将用派生覆盖替换该偏移量处的函数指针(通过将类内 v 指针切换到新的 v 表)。因此，它通常与 ABI 兼容。

不过，由于优化，尤其是函数调用的去虚拟化，可能存在问题。

通常，当您调用虚函数时，编译器会通过 vpointer 在 vtable 中进行查找。但是，如果它可以(静态地)推断出对象的确切类型，它也可以推断出要调用的确切函数并减少虚拟查找。

例子:

struct Base {
  virtual void foo();
  virtual void bar();
};

struct Derived: Base {
  virtual void foo();
};

int main(int argc, char* argv[]) {
  Derived d;
  d.foo(); // It is necessarily Derived::foo
  d.bar(); // It is necessarily Base::bar
}

在这种情况下...简单地链接到您的新库将不会获取 Derived::bar。