C++：指向虚拟成员函数的单态版本的指针？

Question

在 C++ 中，可以获取指向类的（非静态）成员函数的指针，然后在对象上调用它。如果函数是虚拟的，则根据对象的动态类型动态调度调用。通过显式提供包含要使用的版本的作用域，也可以（不使用成员指针）单态调用对象的虚拟成员函数。下面的代码演示了这一点：

#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 上调用的。但是，我一直无法找到一种方法来做到这一点。是否可以？

（除了编写一个新的非虚函数来进行单态调用，然后获取指向该函数的指针的繁琐手动方式之外。）

Answer 1

为了详细说明包装函数的代码示例（尽管OP希望避免这种方法！），因为在许多情况下，这是更实用的解决方案：

#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; }
};

void monomorphicFooFoo( Foo * f ) { f->Foo::foo(); }

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

    void (*baseFoo)( Foo * ) = &monomorphicFooFoo;
    baseFoo( foo ); // Prints 1
}

Answer 2

在 GCC 中是可能的，但是它以 C++ 语言记录的方式扩展部分表明没有可移植的方法来做到这一点。

您可以做两件事：

1. 如果您控制该类，请为其创建一个非虚拟函数和一个虚拟包装器，当您知道不需要虚拟分派时，只需获取非虚拟函数的地址即可。
2. 如果不这样做，请创建一个模板仿函数来保存成员指针并执行显式作用域调用。

Answer 3

换句话说：你想作弊。

不，这是不可能的，因为这就是多态性与指向成员方法的指针相结合的工作方式。