Question

下面的示例显示了一个将虚拟成员函数绑定到fn的基类。在gcc 4.8上，对派生类的fn调用将调用重载的calculate函数。谁能解释为什么会这样？这种行为编译器是独立的吗？

#include <functional>
#include <iostream>

class Base {
public:
    Base(){
        fn = std::bind(&Base::calculate,this,1);
    }

    virtual int calculate(int value){
        return value + 1;
    }

    std::function<int(int)> fn;  
};

class Derived : public Base {
public:
    Derived() : Base() {}

    int calculate(int value){
        return 0;
    }
};

int main(int argc, const char **argv){
    Derived test;
    std::cout << test.fn(10) << std::endl;
    /* Output of test.fn(10) is zero, so overloaded function was called */
    return 0;
}

Answer 1

代码按预期运行：调用虚拟成员函数将调度到包含调用实例对象的派生程度最高的对象中覆盖率最高的函数。您使用成员函数指针（在绑定表达式中）的事实没有区别;事实上，指向成员函数的指针的全部意义在于它们与虚拟调度一起正常工作。

如果您想要对基本功能进行非虚拟调用，可以执行以下操作：

Base() : fn([this]() { return this->Base::calculate(1); }) {}

在基础构造函数中绑定虚拟类成员函数

1 个答案: