К вопросу о вопросах по C++

[singalen]

Продолжаем набивать журнал контентом.
Что будет, если указателю на функцию-член присвоить указатель на виртуальный метод предка, а потом вызвать её на экземпляре потомка?
А для невиртуальной функции?

#include <iostream>

class A
{
public:
  virtual void f() { std::cout << "A::f()\n"; };
  void g() { std::cout << "A::g()\n"; };
};

class B : public A
{
public:
  virtual void f() { std::cout << "B::f()\n"; };
  void g() { std::cout << "B::g()\n"; };
};

typedef void (A::*VirtualFunctionPointer) ();

int main()
{
  A a;
  B b;
  B* pb = &b;

  VirtualFunctionPointer p = &A::f;

  (pb->*p) ();

  p = &A::g;
  (pb->*p) ();

  return 0;
}

И на gcc, и на MSVC выдаёт одно и то же:
B::f()
A::g()
Вывод интересен: указатель на функцию-член хранит И индекс в VMT, И указатель на функцию. Ну и флаг, указывающий, что именно хранится.

Comments

[(Anonymous)]

Вообще-то, это всего лишь мои размышления на тему, почему так работает приведенный пример. Просто пришлось напрячься, чтобы разобраться. Очень понравилось, поскольку когда я разбираю такие примеры я улучшаю знание языка...

[singalen]

Ну, да. Это указано в последней строке поста. Теперь я её немного уточнил.

[(Anonymous)]

Кстати, вроде А. Александреску рассматривает похожие "фишки" в "Modern C++ Design", точно не помню...

[(Anonymous)]

Кстати, в разделе 15.5(Страуструп) поясняется "в отличие от указателя на переменную или обычную функцию, указатель на член не является просто указателем на область памяти. Он больше соответствует смещению в структуре или индексу в массиве."+(и действительно вывод этого указателя - целое число)+"Сочетание указателя на член с указателем на соответствующий объект дает то, что идентифицирует конкретный член конкретного объекта". Туманно, но для меня все прояснилось до конца...

P.S. наверно я вас достал своими постами, звыняйте... :-)