Макет памяти класса под множественным или виртуальным наследованием и vtable (ы)?

Question

Я читаю «Внутри объектной модели C++», пытаясь понять, как многократное и виртуальное наследование достигается через vtables. (Я понимаю, что один полиморфизм отлично-хорошо).

У меня возникли трудности с пониманием того, что именно делается, когда метод должен быть расположен во время виртуального наследования или во время литья, потому что существует множество расчетов смещения.

Может ли кто-нибудь помочь с пониманием того, как многократные vtables используются в примере с несколькими или виртуальными наследованиями? Если бы я мог понять макет и проблему, я, вероятно, мог бы лучше понять эту проблему.

Answer 1

Реализации C++ обычно используют vtables для реализации виртуальных функций. Таблица vtable представляет собой таблицу указателей на функции. Каждый объект класса с виртуальными функциями имеет скрытый указатель на vtable, содержащий адреса всех виртуальных функций класса.

При вызове виртуальной функции код вычисляет смещение указателя функции в таблице vtable и вызывает функцию, адрес которой хранится там.

Когда производный класс базового класса overides в virtuall функцию, виртуальная таблица этого класса просто указывает на overidden функции вместо исходной.

Подробнее об этом excellent article explains, как это работает, как для однократного, так и для множественного наследования.