В частности, способ работы большинства реализаций C++ подразумевает, что изменение размера базового класса требует перекомпиляции всех производных классов.
Это утверждение взято из книги Страуструпа. Итак, если базовый класс находится в файле .so, и мы просто меняем реализацию функции-члена, значит ли это, что нам не нужно перекомпилировать мою программу, связанную с этим общим объектом?
Формально, если вы не перекомпилируете, вы нарушаете правило одного определения и получаете неопределенное поведение.
На практике, пока изменяемая вами функция-член нигде не встроена и вы не меняете сигнатуру, вы, вероятно, сохраняете двоичную совместимость. На большинстве платформ. Если вам повезет, документация вашей платформы предоставляет такую гарантию.
Я считаю, что ваше понимание правильное. Простое изменение тела функции-члена не меняет объема пространства, необходимого для экземпляра этого объекта. Код не хранится «в» экземпляре объекта; только данные есть.
Когда класс компилируется, ссылки на поля данных членов являются просто смещениями от начала данных этого объекта. А данные производных классов обычно размещаются после данных базового класса. Таким образом, если вы добавите поле в базовый класс, все правильные смещения для данных производного класса будут изменены, что означает, что базовый класс необходимо перекомпилировать, чтобы он указывал на новые (правильные) смещения.
До
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
Если это просто реализация, она должна работать нормально. Это вся концепция Windows DLL. Добавление или удаление интерфейсов не изменит размер класса (если только вы не введете новую виртуальную функцию), но в целом способ, которым функции, размещенные в памяти, может быть изменен. Поэтому требуется перекомпиляция, если вы используете новую функцию. С другой стороны, большинство современных компиляторов достаточно умны, чтобы идентифицировать соответствующие изменения из-за простой модификации файлов заголовков.
