C++ : Slicing to base rvalue?

Question

我遇到了下面的代码，但我在谷歌上找不到为什么下面的语句是有效的 C++:

Base&& b = Derived();

请解释或给出引用

这是一个示例代码:

#include <iostream>
using namespace std;

class Base{
public:
    virtual ~Base(){}
    virtual void say_hi() { cout << "hi base"; }
};
class Derived : public Base{
public:
    virtual ~Derived(){}
    virtual void say_hi() { cout << "hi derived"; }
};

int main(int argc, const char * argv[]) {
    Base&& b = Derived();
    b.say_hi();

    return 0;
}

打印:

hi derived

Answer 1

这是将临时值绑定(bind)到右值引用。临时对象可以绑定(bind)到常量左值引用和右值引用。

至于为什么调用派生函数是正确的，那是因为你调用的是虚函数。动态调度正常进行。

这有点像使用带有右值引用参数的函数调用:

void callHi(Base&& b){
  b.say_hi();
}

...

callHi(Derived{}); // ultimately calls derived say_hi method

你提到切片。要进行切片，the sequence of events is a bit more complex than simply calling a virtual function.