将RVALUE-REFERCON与VC 中的局部变量结合

Question

我正在使用VC 2012运行以下代码：

#include <utility>
struct A
{
    int* m_p;
    A() { m_p = new int; }
    ~A() { delete m_p;  }
    A(const A& otherA)
    {
        m_p = new int;
        // BOOM!
        *m_p = *otherA.m_p;
    }
};
A&& CreateA()
{
    A a;
    return std::move(a);
}
int _tmain(int argc, _TCHAR* argv[])
{
    A a2 = CreateA();
    return 0;
}

在创建A2 A复制CTOR期间被称为 - 崩溃，因为在CreateA（）中创建的源对象已经被破坏。这是标准行为吗？这可以是编译器错误??

请注意，如果您将A2的类型从" A"更改为" const a＆amp;"坠机并未发生 - 这加剧了怀疑它确实是一个错误。谁能为此阐明吗？

注意：我完全知道这不是RVALUE-REF的预期用法，并且此示例是人为的。只是希望更好地了解这种新型的行为。

Answer 1

查看代码中发生的情况：

1. CreateA()称为
2. 在功能内部，创建了类型A的局部变量。
3. 您创建一个指向此局部变量的RVALUE参考
4. 您返回此RVALUE参考
5. 当您返回时，RVALUE参考指向的类型A的对象不在范围内，并被销毁
6. 引用现在指向被摧毁的对象
7. 您尝试将a2初始化为曾经存在的对象的副本

和...那行不通。您要复制的对象已经死了。未定义的行为。

不要那样做。：）

在C 中，引用不会影响引用对象的寿命。没有"我指着这个对象，所以你不能销毁它！

切勿将引用返回到本地对象。它不起作用，所以...只是不要做。

Answer 2

您无法访问其范围之外的本地变量。RVALUE参考不会改变这一点：它们仍然是参考。提出的代码具有未定义的行为，因为它返回对本地变量的引用，然后访问它。

不要返回rvalue参考。在绝大多数时间里，这很愚蠢。返回值：

A CreateA()
{
    A a;
    return a; // a move here is automatic
              // unless you are using a compiler with outdated rules like MSVC
    //return std::move(a); // ok, poor MSVC
    // alternatively:
    //return A{}; //or 
    //return A();
}

编写A const& a2 = CreateA();时，什么都没有崩溃，因为您实际上没有访问任何对象。您要做的就是抓住一个悬空的参考。但是，此代码甚至没有很好地构成，因为MSVC有一些过时的规则，可以进行编译。

。

因此，基本上，这些行为是编译器错误和未定义行为的混合：）