右值hello world缺少构造函数

rvalue hello world missing constructor

本文关键字：构造函数 world hello 右值      更新时间：2023-10-16

我想了解更多关于右值引用，但我被困在这个最简单的例子:

#include <iostream>
using namespace std;
struct C {
    C() { cout << "C()n"; }
    ~C() { cout << "~C()n"; }
    C(const C&) { cout << "C(const C&)n"; }
    C& operator=(const C&) { cout << "operator=(const C&)n"; return *this; }
    C(C&&) { cout << "C(C&&)n"; }
    C& operator=(C&&) { cout << "operator=(C&&)n"; return *this; }
};
C foo() { C c; return c; }
int main()
{
    const C c = foo();
    return 0;
}

我已经用Clang 3.2和-std=c++11 -fno-elide-constructors编译了它(以避免(N)RVO)，但结果令我惊讶:

C()
~C()    // huh?
C(C&&)
~C()
~C()

除了第一个~C()，我完全期望。它是从哪里来的，我遗漏了什么，因为有2个构造和3个破坏?是&&构造函数调用一个销毁的对象引用??

这一定是一个bug。在foo()中构造的局部对象的析构函数在接收对象的move构造函数之前被调用。特别是，似乎是分配了一个临时对象，但在按值返回时没有(move-)构造。下面的程序显示了这一点:

#include <iostream>
using namespace std;
struct C 
{
    C(int z) { id = z; cout << "C():" << id << endl; }
    ~C() { cout << "~C():" << id << endl; }
    C(const C& c) { id = c.id + 1; cout << "C(const C&):" << id << endl; }
    C& operator=(const C&) { cout << "operator=(const C&)n"; return *this; }
    C(C&& c) { id = c.id + 1; cout << "C(C&&):" << id << endl;}
    C& operator=(C&&) { cout << "operator=(C&&)n"; return *this; }
    int id;
};
C foo() { C c(10); return c; }
int main()
{
    const C c = foo();
    return 0;
}
输出:

C():10
// THE TEMPORARY OBJECT IS PROBABLY ALLOCATED BUT *NOT CONSTRUCTED* HERE...
~C():10 // DESTRUCTOR CALLED BEFORE ANY OTHER OBJECT IS CONSTRUCTED!
C(C&&):4198993
~C():4198992
~C():4198993

在foo()中创建两个对象似乎可以更清楚地说明这个问题:

C foo() { C c(10); C d(14); return c; }
输出:

C():10
C():14
~C():14
// HERE, THE CONSTRUCTOR OF THE TEMPORARY SHOULD BE INVOKED!
~C():10
C(C&&):1 // THE OBJECT IN main() IS CONSTRUCTED FROM A NON-CONSTRUCTED TEMPORARY
~C():0 // THE NON-CONSTRUCTED TEMPORARY IS BEING DESTROYED HERE
~C():1
有趣的是，这似乎取决于foo()中对象的构造方式。如果foo()是这样写的: 
C foo() { C c(10); return c; }

则出现错误。如果这样写，则不:

C foo() { return C(10); }

foo()最后一个定义的输出:

C():10 // CONSTRUCTION OF LOCAL OBJECT
C(C&&):11 // CONSTRUCTION OF TEMPORARY
~C():10 // DESTRUCTION OF LOCAL OBJECT
C(C&&):12 // CONSTRUCTION OF RECEIVING OBJECT
~C():11 // DESTRUCTION OF TEMPORARY
~C():12 // DESTRUCTION OF RECEIVING OBJECT
相关文章：