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

#include <iostream>
using std::cout; using std::endl;

struct Foo
{
    virtual void foo() { cout << 1 << endl; }
};

struct Foo2: public Foo
{
    virtual void foo() { cout << 2 << endl; }
};

int main( int, char** )
{
    Foo *foo = new Foo2;

    void (Foo::*foo_pointer)() = &Foo::foo;

    foo->foo();            // prints 2
    foo->Foo::foo();       // prints 1
    (foo->*foo_pointer)(); // prints 2
}

То, что я хотел бы сделать, это объединить два и получить указатель на мономорфную версию функции-члена; то есть я хочу указатель на Foo :: foo, который всегда вызывает версию foo базового класса и печатает 1, даже если он вызывается на Foo2. Тем не менее, я не смог найти способ сделать это. Является ли это возможным?

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