c++ - Rvalue成员的确也是Rvalues吗？

They say Rvalues的成员也是Rvalues-这很有意义。因此，这可能是特定于VC ++的错误，也可能是我对Rvalues的理解中的错误。

采取以下玩具代码：

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

struct MyTypeInner
{
    MyTypeInner()   {};
    ~MyTypeInner()                     { cout << "mt2 dtor" << endl; }
    MyTypeInner(const MyTypeInner& other)  { cout << "mt2 copy ctor" << endl; }
    MyTypeInner(MyTypeInner&& other)       { cout << "mt2 move ctor" << endl; }
    const MyTypeInner& operator = (const MyTypeInner& other)
    {
        cout << "mt2 copy =" << endl;       return *this;
    }
    const MyTypeInner& operator = (MyTypeInner&& other)
    {
        cout << "mt2 move =" << endl;       return *this;
    }
};

struct MyTypeOuter
{
    MyTypeInner mt2;

    MyTypeOuter()   {};
    ~MyTypeOuter()                     { cout << "mt1 dtor" << endl; }
    MyTypeOuter(const MyTypeOuter& other)  { cout << "mt1 copy ctor" << endl;  mt2 = other.mt2; }
    MyTypeOuter(MyTypeOuter&& other)       { cout << "mt1 move ctor" << endl;  mt2 = other.mt2; }
    const MyTypeOuter& operator = (const MyTypeOuter& other)
    {
        cout << "mt1 copy =" << endl;       mt2 = other.mt2;   return *this;
    }
    const MyTypeOuter& operator = (MyTypeOuter&& other)
    {
        cout << "mt1 move =" << endl;   mt2 = other.mt2;    return *this;
    }
};

MyTypeOuter func()   {  MyTypeOuter mt; return mt; }

int _tmain()
{
    MyTypeOuter mt = func();
    return 0;
}

此代码输出：


  mt1移动ctor
  
  mt2复制=
  
  mt1 dtor
  
  mt2 dtor


也就是说，MyTypeOuter的移动ctor调用MyTypeInner的副本，而不是移动。如果我将代码修改为：

MyTypeOuter(MyTypeOuter&& other)
{ cout << "mt1 move ctor" << endl;  mt2 = std::move(other.mt2); }

输出是预期的：


  mt1移动ctor
  
  mt2 move =
  
  mt1 dtor
  
  mt2 dtor


似乎VC ++（2010年和2013年）均不遵守该标准的这一部分。还是我错过了什么？

最佳答案

rvalue的成员是否为rvalue并不是这里的问题，因为您正在处理赋值运算符中的左值。

在此移动分配运算符中，

const MyTypeOuter& operator = (MyTypeOuter&& other)
{
    cout << "mt1 move =" << endl;
    mt2 = other.mt2;
    return *this;
}

other是一个lvalue（因为它有一个名称），other.mt2也是扩展名。当您说mt2 = other.mt2时，您只能调用标准分配运算符。

为了调用move构造函数，您需要使other.mt2看起来像一个右值，这是std::move实现的：

const MyTypeOuter& operator = (MyTypeOuter&& other)
{
    cout << "mt1 move =" << endl;
    mt2 = std::move(other.mt2);
    return *this;
}

请参见this related question。