我在玩 C++ 构造函数。这是我的代码：
#include <iostream>
using namespace std;
class ArrayWrapper
{
public:
// default constructor produces a moderately sized array
ArrayWrapper ()
: _p_vals( new int[ 64 ] )
, _size( 64 )
{
cout << "Default constructor: " << this << endl;
}
explicit ArrayWrapper (int n)
: _p_vals( new int[ n ] )
, _size( n )
{
cout << "Constructor: " << this << endl;
}
// move constructor
ArrayWrapper (ArrayWrapper&& other)
: _p_vals( other._p_vals )
, _size( other._size )
{
cout << "Move constructor: " << this << endl;
cout << "Move from: " << &other << endl;
other._p_vals = NULL;
other._size = 0;
}
// copy constructor
ArrayWrapper (const ArrayWrapper& other)
: _p_vals( new int[ other._size ] )
, _size( other._size )
{
cout << "Copy constructor: " << this << endl;
for ( int i = 0; i < _size; ++i )
{
_p_vals[ i ] = other._p_vals[ i ];
}
}
~ArrayWrapper ()
{
cout << "Destructor: " << this << endl;
delete [] _p_vals;
}
public:
int *_p_vals;
int _size;
};
ArrayWrapper foo() {
ArrayWrapper a(7);
cout << "Temp object created!" << endl;
return a;
}
int main() {
ArrayWrapper b(foo());
cout << "Finish!" << endl;
}
输出是：
Constructor: 0x7fff5d97bb60
Temp object created!
Destructor: 0x7fff5d97bb60
Move constructor: 0x7fff5d97bbd0
Move from: 0x7fff5d97bbc0
Destructor: 0x7fff5d97bbc0
Finish!
Destructor: 0x7fff5d97bbd0
前三行表示 foo() 函数中的局部变量是用构造函数创建的，并在 foo() 返回时销毁。第 4 行表示 b 是使用 move 构造函数构造的。但是，接下来的两行是最令人困惑的：我现在有一个新地址，它不同于 foo() 中的局部变量“a”，我曾经调用移动构造函数。当复制构造函数完成时，右值引用消失，析构函数被调用。但是为什么没有 0x7fff5d97bbc0 的复制构造函数呢？换句话说，0x7fff5d97bbc0 从何而来，又是如何构造的？很简单，调用的析构函数比调用的构造函数多一个。
我觉得这与复制省略有关。因此，我将 foo() 中的返回行更改为以下内容：
return std::move(a);
输出是：
Constructor: 0x7fff55a7ab58
Temp object created!
Copy constructor: 0x7fff55a7abc0
Destructor: 0x7fff55a7ab58
Move constructor: 0x7fff55a7abd0
Move from: 0x7fff55a7abc0
Destructor: 0x7fff55a7abc0
Finish!
Destructor: 0x7fff55a7abd0
现在终于明白了：在第三行，它表明复制构造函数在“a”被销毁之前被调用。这意味着，当按值返回时，它实际上是在销毁临时变量之前将值复制到返回值中。
但是我还是被原来的程序弄糊涂了（没有std::move()），因为如果真的是复制省略引起的，foo()的返回值的地址不应该和局部变量“a”一样吗? 现在它不同了，这意味着它在内存中的位置与“a”完全不同，那为什么不调用复制构造函数呢？
希望我的问题清晰易懂。
-------------------------------------------------- -----------------------------------------
编辑：我使用的编译器是带有 -fno-elide-constructors 标志的 clang++。