现代C++ 移动构造、移动赋值、复制构造、复制赋值

c++primer中说：构造函数是一种特殊的成员函数。只要创建了类类型的新对象，就必须执行构造函数。构造函数的工作是确保每个对象的数据成员都有适当的初始值。

构造函数与其他函数不同：它们与类具有相同的名称，并且没有返回类型。

构造函数与其他函数相同：构造函数也有一个形式参数列表（可以为void）和一个函数体。 （参数列表为void的构造函数为默认构造函数）

构造函数构造类对象的顺序是： 1. 内存分配。当调用构造函数时，hermit\display 会初始化每个数据。

2.执行构造函数的执行。

1.构造函数初始化表

A() :a(0){}我们使用构造函数初始化来初始化数据成员。但是，在不使用初始化表的构造函数中，数据成员在构造函数主体中分配。

当我们编写一个类时，必须在构造函数初始化表中初始化一些成员。 （没有默认构造函数、const 或引用类型成员的类类型成员）

编写代码时请注意，可以初始化const对象或引用类型对象，但不能给它们赋值。也就是说，初始化工作需要在我们执行构造函数体之前完成，所以唯一的机会就是初始化表。从这一点可以看出，初始化表是在函数体之前执行的。

在初始化表中，成员初始化的顺序不是您编写初始化表的顺序，而是定义成员的顺序。

当初始化类类型的成员时，初始化列表指定实际参数并将它们传递给成员类型的构造函数。

c++primer中有一个书店的例子：

Sales-item(): isbn(10, '9'),units_sold(0),revenue(0.0) {}什么时候必须使用我们的初始化表？

当存在一个类成员，其本身是一个结构体或类，并且只有一个带参数的构造函数（没有默认构造函数）时。这时，如果我们想要初始化该成员，就需要调用该成员的构造函数。这个时候，我们就需要我们的初始化表，如果不使用初始化表的话，内存分配就会出现问题。

初始化列表的优点：主要针对自定义类型，初始化列表作用在函数体之前，它调用构造函数来初始化对象。

但在函数体内，需要先调用构造函数，然后再赋值，效率不如初始化表。

2.默认参数构造函数

A(int i=1) :a(i), ca(i), ra(i){}3.默认构造函数

合成默认构造函数：当类中没有定义构造函数时（注意是构造函数），编译器自动生成一个函数。

但我们不能过于依赖编译器。如果我们的类有复合类型或自定义类型成员，我们需要自己定义构造函数。

自定义默认构造函数：

A(): a(0) {}A(int i=1): a(i) {}问题可能是第二个构造函数是否也是默认构造函数？是的，因为参数中有默认值。

如果我们看一张图，就一目了然了：

4.类型转换

在C++primer中，书店问题的一个例子是，在将字符串对象或者iostream对象传入参数时，会发生隐式转换，从而产生问题。

C++11 中添加的新功能！

在我的上一篇博客中，我添加了一张图片来具体了解移动构造函数是如何工作的。

至此，我们已经窃取了临时变量的内存空间，并为自己所用。节省开辟空间的时间。

A(A h) : a(h.a){ h.a=nullptr; //还记得nullptr吗？ }正如你所看到的，这个构造函数的参数是不同的，并且有两个运算符。移动构造函数接收“右值引用”参数。

我还要说一下，这里h.a 设置为空。如果不是，ha 将在移动构造函数末尾执行析构函数时破坏我们窃取的内存。 h.a 将成为悬空指针。

移动构造函数何时触发？这是一个临时对象（右值）。使用临时对象时执行移动语义。

这里需要注意的是，当发生异常时，尽量保证移动构造函数中不发生异常。可以使用noexcept关键字来保证move构造函数中抛出的异常会直接调用terminate终止程序。

右值参考：

在上一篇博客中，我们提到了垂死值，它是C++11 中与右值引用相关的新表达式。

在C++11 中，右值引用是引用右值的类型。右值通常没有名称，所以我们只能通过引用来发现它的存在。

比较以下两种说法：

T a=returna();T b=returnb();此时a是右值引用，比b少一次对象销毁和对象构造过程。 a直接绑定returna返回的临时变量。 b 只是由临时变量值构造而成。

你应该能够看得清楚。右值引用是赋予返回的右值（临时对象）新的生命，延长其生命周期。临时对象被销毁，但右值引用仍然存在。

但需要注意的是，右值引用不能绑定左值：int a; int c=a;这是行不通的。

这里的一个函数是move 函数，它可以将左值强制转换为右值引用。

3. 移动赋值运算符

其原理与移动构造函数相同，这里不再赘述。

1. 一个类有一个或多个作为指针的数据成员。

2.构造函数中还有代表分配的其他资源的成员。其他类在创建新对象时必须做一些特定的工作。

5. 赋值运算符

与构造函数一样，可以通过指定不同类型的右操作数来重载赋值运算符。

下面是赋值运算符的写法：

A 运算符=(const A h){assert(this !=h);this-a=h.a;return *this;} 6. 析构函数

作为构造函数的补充，当对象超出范围或动态分配的对象被删除时，析构函数会自动应用。析构函数可用于释放在构造对象时获取的资源或在对象的生命周期内获取的资源。无论类是否定义了自己的析构函数，编译器都会自动执行类中非静态数据成员的析构函数。

析构函数的操作：

当对象引用或指针越界时，析构函数不会被执行。仅当指向动态分配对象的指针被删除或实际对象超出范围时，才会调用析构函数。

综合析构函数：

编译器总是合成一个析构函数，以与创建对象相反的顺序销毁每个非静态成员。请注意，合成析构函数不会删除指针成员指向的对象。