0

Как-то на одном из форумов зашел разговор о "невозможности/возможности" вызова приватного метода класса-предка из объекта класса-потомка. Вопрос заинтересовал и я решил поэкспериментировать. Таки получилось:

Онлайн исполнение

#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

13
  • Вы считаете приведённый код рабочим?
    – αλεχολυτ
    21 апр 2017 в 7:02
  • А может прибежать оптимизатор и выбросить классы. И все... приехали.
    – KoVadim
    21 апр 2017 в 7:04
  • @alexolut , код выполняет то, что требовалось.
    – Majestio
    21 апр 2017 в 7:05
  • 1
    @Majestio код, основанный на UB не может быть рабочим. Это лишь видимость работы.
    – αλεχολυτ
    21 апр 2017 в 7:12
  • вот этот онлайн компилятор rextester.com/l/cpp_online_compiler_visual выдал ошибку, cpp.sh выдал baseShow, а webcompiler.cloudapp.net - выдал DerivedShow. Покрыли 3 варианта с 4.
    – KoVadim
    21 апр 2017 в 7:13

2 ответа 2

10

Не знаю, ограничена ли была ваша дискуссия "на одном из форумов" только темой VMT-хаков, но тем не менее замечу, что при желании можно безо всяких хаков (и не модифицируя определение "вскрываемого" класса) вызвать любой приватный метод

#include <iostream>

class Private {
  void private_func() { std::cout << "Pwned!" << std::endl; }
};

using PTR = void (Private::*)();
PTR ptr;

template <PTR ptr> struct Exploit {                
  static struct D { D() { ::ptr = ptr; } } d;
};

template <PTR ptr> typename Exploit<ptr>::D Exploit<ptr>::d;

template struct Exploit<&Private::private_func>;

int main() {
  (Private().*ptr)();
}

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

P.S. Вот уж чего этот метод не может сделать, так вызвать приватный виртуальный метод предка для объекта-потомка, если в потомке этот метод перекрыт. С++ не предоставляет средств подавления виртуальности вызова при вызове через указатель на метод.

5
  • Код интересный, но нет наследования.
    – Majestio
    21 апр 2017 в 7:27
  • 3
    @Majestio: Это замечание из разряда "но нет цикла for". Хотите наследование - добавьте наследование. Кто ж вам мешает? Оно ведь тут ни на что не влияет. Еще раз: этот метод позволяет вам доступиться к приватному члену любого класса. Базового/не базового, с наследованием/без наследования... Любого. 21 апр 2017 в 7:30
  • Пробовал - компилятор на ideone.com ругается. Если не сложно - поправьте свой код, чтобы было наследование.
    – Majestio
    21 апр 2017 в 7:32
  • Не понимаю смысла.. Но пжлст: coliru.stacked-crooked.com/a/949fb88949fc5ec0 21 апр 2017 в 7:35
  • Спасибо, норм )
    – Majestio
    21 апр 2017 в 7:38
8

Как и любой хак, ваш хак работает на конкретном компиляторе и конкретной платформе.

Самый простой способ поломать код - перейти на архитектуру x64 в режиме LLP64 (например, используя компилятор VC++), где размер типа long не совпадает с размером указателя.

Впрочем, на VC++, все сломается даже на x86, потому что формат таблицы виртуальных функций отличается.

А ведь есть и более экзотические платформы...

11
  • На x64 работает прекрасно. Но за ответ - спасибо.
    – Majestio
    21 апр 2017 в 7:02
  • 1
    @Majestio ...но только на нижних адресах :-) Попробуйте указать базу для загрузки на пятом гигабайте 21 апр 2017 в 7:03
  • На VC++ написало "DerivedShow" :)
    – Harry
    21 апр 2017 в 7:08
  • Увы, данного компилятора у меня нет - спасибо за проверку).
    – Majestio
    21 апр 2017 в 7:09
  • @Pavel Mayorov, согласно ru.cppreference.com/w/cpp/language/types - под *nix используется модель данных LP64 или 4/8/8 (int — 32 бита, long и указатель — 64 бита) . Там работать будет.
    – Majestio
    21 апр 2017 в 7:11

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.