基类更改后重新编译

Question

特别是，大多数 C++ 实现的工作方式意味着 基类大小的更改需要重新编译所有 派生类。

这句话来自stroustrup的书。 因此，如果基类位于 .so 文件中，并且我们只是更改成员函数实现，那么这是否意味着我们不必重新编译链接到该共享对象的程序？

Answer 1

从形式上来说，如果你不重新编译，你就违反了“单一定义规则”，并会得到未定义的行为。

实际上，只要您修改的成员函数没有在任何地方内联，并且您没有更改签名，您就可能保留二进制兼容性。在大多数平台上。如果你幸运的话，你的平台文档提供了这样的保证。

Answer 2

我相信你的理解是正确的。仅更改成员函数的主体不会更改该对象实例所需的空间量。代码并不存储在对象实例“中”；而是存储在对象实例“中”。只有数据是。

编译类时，对成员数据字段的引用只是距该对象数据开头的偏移量。派生类的数据通常放置在基类的数据之后。因此，如果向基类添加字段，则派生类数据的正确偏移量都已更改，这意味着需要重新编译基类，以指向新的（正确的）偏移量。

之前

class Foo {
    int a;              // offset 0 (assuming no vtable)
}

class Bar : public Foo {
    int b;              // offset 4
}

Bar bar;  bar.b = 7;    // sets the 32-bit value at this+4 to 7

之后

class Foo {
    int a;              // offset 0
    int c;              // offset 4
}

class Bar : public Foo {
    int b;              // offset 8
}

Bar b;   bar.b = 7;     // Without recompiling: sets the 32-bit value at this+4
                        //   which is actually where Foo.a is stored!
                        // With recompiling: sets the 32-bit value at this+8

Answer 3

如果只是实现的话，应该可以正常工作。这就是 Windows DLL 的整个概念。添加或删除接口不会改变类的大小（除非您引入新的虚函数），但在很大程度上可以改变函数在内存中的布局方式。因此，如果您要使用新函数，则需要重新编译。另一方面，大多数现代编译器都足够聪明，可以通过头文件中的简单修改来识别相关更改。