c++ - 对象切片是否依赖于构造函数的实现？

Question

在尝试对象切片和多态性的概念时，我想出了这个代码示例，它按我的预期工作:派生 FunctorTrue 的函数调用运算符类被称为 - 而不是父类 Functor类。

#include <iostream>
#include <functional>
using namespace std;

class Functor : public std::function<bool()> {
public:
virtual ~Functor() {};
    virtual bool operator()() const {return false;};
};

class FunctorTrue : public Functor{
public:
    bool operator()() const {return true;}
};

class Dispatcher {
public:
    const Functor & mFunctor; 
    Dispatcher(const Functor & functor): mFunctor(functor) {}
    Dispatcher(const Functor && functor): mFunctor(functor) {
    }

    void dispatch(){
        cout << boolalpha << mFunctor() << endl;
    }
};

int main() {
    Dispatcher dt = Dispatcher(FunctorTrue());
    dt.dispatch(); // returns true
}

注意:您可以run this example in Ideone .

我发现如果我修改 Dispatcher 的构造函数类打印一行，父级的函数调用运算符将​​被调用:

class Dispatcher {
public:
    const Functor & mFunctor; 
    Dispatcher(const Functor & functor): mFunctor(functor) {}
    Dispatcher(const Functor && functor): mFunctor(functor) {
        cout << "Constructor with rvalue" << endl;
    }

    void dispatch(){
        cout << boolalpha << mFunctor() << endl;
    }
};

int main() {
    Dispatcher dt = Dispatcher(FunctorTrue());
    dt.dispatch(); // returns false
}

注意:您可以also run this example in Ideone 。

这种意外的行为让我认为，由于成员变量 mFunctor 的类型在 Dispatcher类，dispatch方法只知道对象的“基类部分”，有效地调用基类的函数调用运算符。但这在最初的例子中并不成立，这让我很困惑。

我的问题是:

1) 为什么构造函数中的更改会更改 Functor > FunctorTrue 中调用的方法类(Class)层次？

2) 如果变化与默认构造函数执行的某些优化相关，那么该优化是什么以及如何指定它？

提前非常感谢。

Answer 1

您有未定义的行为。

您的构造函数存储对生命周期结束的对象的引用，然后 dispatch() 尝试使用该对象。

int main() {
    Dispatcher dt = Dispatcher(FunctorTrue());
       // lifetime of FunctorTrue object ends here

    dt.dispatch(); // Use of dt.mFunctor causes undefined behavior
}