Как можно подменить вызов функции в классе?

Question

[Pavel K]

Доброй ночи!
Как можно подменить вызов функции?
Например есть класс myClass
а в нём функции

int myFunct1(double b);
int myFunct2(double b);

т.е. отличаются только названиями.

Как можно подменить (только через указатели) вызов одной на другую?

Answer 1

[Максим Мосейчук]

Сделать функции виртуальными и при создании объекта поменять указатели в таблице виртуальных функций.

Comments

[Pavel K]

Так точно!

[Pavel K]

Только тут одно но на производительность интересно как повлияет виртуальные функции...

[Максим Мосейчук]

Pavel K: виртуальные функции только в больших циклах просаживают производительность.

[Максим Мосейчук]

Pavel K: только учтите, что таблица виртуальных функций - статическая. Т.е. одна на все объекты класса. Поменяв указатели вы измените поведение всех объектов класса.

[Pavel K]

Спасибо! А ещё вопрос - виртуальные функции подменить смог, а можно ли подменить виртуальную на указатель на не виртуальную функцию?

[Максим Мосейчук]

Pavel K: нет, т.к. вызов обычного метода происходит непосредственно по адресу. Но если вынести класс в динамическую библиотеку, то возможно подшаманить что-то в таблице импортов. Ну есть ещё хак - записать в рантайме в начало подменяемой функции jmp на нужную функцию. Но на современных ОС такой хак вряд ли получится провернуть из-за DEP - сегменты кода помечены как ro.

[Максим Мосейчук]

Pavel K: а, не правильно прочёл вопрос. Да, конечно можно. Обычный метод ничем не отличается внутри от виртуального, кроме как механизмом вызова через таблицу.

[Pavel K]

fshp: извините за наглость, можно попросить расписать как можно тогда подменить?
Вот так впринципе я получаю указатель на первую виртуальную функцию:
Class1 * cl = new Class1();
int *vptr=(int *)cl;
vptr=(int *)*vptr;
вызывать могу так:
((void (*)()) *vptr )();
указатель на другую не виртуальную функцию объявляю так:
void (Class1::* fb)();
подскажите, пожалуйста.

[Максим Мосейчук]

Pavel K: Я вам целый проектик запилил. https://github.com/fshp/vtable
Пару выводов - виртуальные функции, при вызове по ссылке, ведут себя как обычные, т.е. вызываются напрямую, минуя таблицу виртуальных функций. Значит для вашей задачи подходит только вызов по указателю.
Ну и компилировать нужно со специфичными флагами, что бы секция .text (там лежит таблица) была доступна для записи.
Таблицы виртуальных функций не являются частью стандарта и их реализация даётся на откуп разработчикам компиляторов. Значит разные компиляторы могут реализовывать их совершенно по разному. Так что код с одним компилятором может работать, а с другим - нет (даже с разными версиями одного компилятора могут быть проблемы). Я использовал gcc-4.9.

[Pavel K]

fshp: неимоверно круто, огромное спасибо! c++ торт. Если у вас есть возможность и желание за отдельную плату подсказать кое-что по реализации одного сложного #define, напишите, пожалуйста мне на почту [e-mail]

[Армянское Радио]

Вредный и опасный совет. Современные компиляторы могут выполнить оптимизаци... (что как раз ускоряет работу с ними), в результате чего программа будет работать непредсказуемо.

[Максим Мосейчук]

Армянское Радио: В статье разыменовывается указатель и превращается в ссылку. Вызов метода по ссылке всегда не виртуальный, т.к. приведение ссылки одного типа к другой - "undefined behavior", и тогда нет смысла лезть в таблицу, т.к. если есть ссылка - то это либо объект известного из ссылки типа (и тогда полиморфизм не нужен), либо ошибка. gcc даже с отключенными напрочь оптимизациями вызывает методы ссылки по адресу, а не через таблицу.

[Максим Мосейчук]

Армянское Радио: ну и даже с O3 моя писулька работает. Если это нужно для грязного хака на 10 минут, то можно и попробовать. В продакшне за такое убили бы на месте, это да.

[Максим Мосейчук]

Армянское Радио: с "undefined behavior" я перегнул, кастовать ссылки вполне можно. Но вызов по ссылке по прежнему не виртуальный.

[Максим Мосейчук]

Армянское Радио: что-то я совсем запутался. Вместо присвоения ссылки скопировал объект. Работает полиморфизм по ссылке, работает. Что-то меня с просони занесло :-)

[AtomKrieg]

Вы не понимаете. Дело в том что компилятор может заинлайнить конкретный полиморфный метод в определенный кусок кода. Отсюда следует, что подмена в виртуальной таблице для этого определенного куска кода ничего не даст. В результате автор топика получит:
#define TRUE (rand() > 0.1 ? TRUE : FALSE) // happy debugging losers

[Максим Мосейчук]

AtomKrieg: Виртуальный метод может быть заинлайнен, только если он вызывается у объекта. Не указателя или ссылки, а именно из локально созданного объекта. Если использовать ссылку или указатель виртуальный метод никогда не инлайнится.

[AtomKrieg]

fshp: Замечательно, что вы подтверждаете мои слова. Давайте вместе пожелаем автору топика - "добро пожаловать в чудесный мир отладки".

[Pavel K]

AtomKrieg: спасиб, я там был, вернулся с сувенирами =) Нужн это для совсем костыля...

Answer 2

[sitev_ru]

"Нужно, что бы снаружи класса функция myFunct1 вызывалась как обычно, но на самом деле вызывалась myFunct2."

Может всё намного проще?

int myFunct1(double b) {
  return myFunct2(b);
}

Comments

[Pavel K]

Не издевайтесь =)))

[sitev_ru]

Так написан вопрос... Есть такое понятие - делегаты. Может Вам в эту сторону?

Answer 3

[Станислав Макаров]

Вызывать обе с помощью указателя на метод. Вы в вопросе уже ответ написали.

Comments

[Pavel K]

Наверно не точно написал. Нужно, что бы снаружи класса функция myFunct1 вызывалась как обычно, но на самом деле вызывалась myFunct2.

Answer 4

[AtomKrieg]

Паттерн "стратегия"
Если в компайл-тайм, то через шаблоны можно выбирать алгоритмы в зависимости от константы