Question

我有一种情况，我想要一个成员函数指针，指向一个避免动态调度的虚函数。见下文：

struct Base
{
    virtual int Foo() { return -1; }
};

struct Derived : public Base
{
    virtual int Foo() { return -2; }
};

int main()
{
    Base *x = new Derived;

    // Dynamic dispatch goes to most derived class' implementation    
    std::cout << x->Foo() << std::endl;       // Outputs -2

    // Or I can force calling of the base-class implementation:
    std::cout << x->Base::Foo() << std::endl; // Outputs -1

    // Through a Base function pointer, I also get dynamic dispatch
    // (which ordinarily I would want)
    int (Base::*fooPtr)() = &Base::Foo;
    std::cout << (x->*fooPtr)() << std::endl; // Outputs -2

    // Can I force the calling of the base-class implementation
    // through a member function pointer?
    // ...magic foo here...?

    return 0;
}

对于好奇，我想要的原因是因为派生类实现使用实用程序类来记忆（添加缓存）基类实现。实用程序类采用函数指针，但是，当然，函数指针动态调度到最派生的类，我得到无限递归。

是否有一种语法允许我重现我可以使用x->Base::foo()但通过函数指针实现的静态调度行为？

Answer 1

您可以像这样强制切片Base*：

std::cout << (static_cast<Base>(*x).*fooPtr)() << std::endl; // Outputs -1

Answer 2

没有独立的“成员函数指针”和您想要的属性。与绑定成员函数最接近的是闭包：

Base * x = new Derived;
auto f = [x]() { x->Base::Foo(); }
f();

如果您的班级Base是一个特殊的，一次性的用例并且在您的控制之下，您应该添加某种“接受访问者”功能，以便您可以动态传递成员呼叫者，像x->accept(foo_caller);等.C ++ 14中的一个例子：

struct X
{
    template <typename F>
    auto accept(F && f)
    {
        return [this, &f](auto &&... args) {
            return f(this, std::forward<decltype(args)>(args)...); };
    }

    virtual void foo() const { std::cout << "base\n"; }
};

用法：

void call_static_foo(X * p)
{
    p->accept([](X * that){that->X::foo();});
}

通过成员函数指向虚函数调用基本成员函数实现

2 个答案: