Как-то на одном из форумов зашел разговор о "невозможности/возможности" вызова приватного метода класса-предка из объекта класса-потомка. Вопрос заинтересовал и я решил поэкспериментировать. Таки получилось:
#include <iostream>
// -------------------------------------------------------
class Base {
public:
virtual ~Base() {}
private:
virtual void ShowBase() {
std::cout << "BaseShow" << std::endl;
}
};
// -------------------------------------------------------
class Derived: public Base {
public:
virtual void ShowDerived() {
std::cout << "DerivedShow" << std::endl;
}
};
// -------------------------------------------------------
#ifdef _MSC_VER
#define IDX 1
#else
#define IDX 2
#endif
int main() {
Derived *D = new Derived();
(*(void(*)(void*))((void**)(*(void**)D))[IDX])(D);
delete D;
return 0;
}
Реализация - по сути является хаком.
Вопрос
Каковы условия того, чтобы приведенный код был нерабочим? Договоримся, что индекс (в коде сейчас это 2
) рассчитывается правильно при модификации базового класса.
Add 1: "Проблему" с длиной указателя исправил. Под вопросом только VC++
Add 2: "Проблему" с M$ VC++ исправил - там свой порядок построения VMT