C++11(上)

统一的列表初始化

首先要说明：

这个列表初始化和类和对象那里的初始化列表不是一个概念.

{} 初始化

在C++98中, 标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定.
比如:

C语言里面其实就是这样支持的, 所以可以认为C++支持这样就是因为要兼容C.

在C++11中：

C++11扩大了用大括号括起的列表的使用范围, 使其可用于所有的内置类型和用户自定义的类型, 使用初始化列表时, 可添加等号(=), 也可不添加。

struct Point
{int _x;int _y;
};// 一切都可以用列表初始化
// 并且可以省略掉=
int main()
{int x1 = 1;int x2 = { 2 };int x3{ 3 };//可以省略等号int array1[]{ 1, 2, 3, 4, 5 };int array2[5]{ 0 };Point p{ 1, 2 };// C++11中列表初始化也可以适用于new表达式中int* pa = new int[4] { 0 };return 0;
}

C++11支持我们这样使用{}初始化，并且赋值=也可以省略

创建对象时也可以使用列表初始化方式调用构造函数初始化:

class Date
{
public:Date(int year, int month, int day):_year(year), _month(month), _day(day){cout << "Date(int year, int month, int day)" << endl;}
private:int _year;int _month;int _day;
};int main()
{Date d1(2022, 1, 1); // old style// C++11支持的列表初始化，这里会调用构造函数初始化//实际上是构造+拷贝构造,然后优化成直接构造Date d2{ 2022, 1, 2 };Date d3 = { 2022, 1, 3 };Date* p1 = new Date[3]{ d1, d2, d3 };Date* p2 = new Date[3]{ {2022, 11, 25}, {2022, 11, 26}, {2022, 11, 27} };return 0;
}

std::initializer_list

除了上面的场景, C++11还支持了STL里面的容器也可以这样去初始化:

如果按照上面Data列表初始化的理解, 这里是调用vector的构造函数初始化, 但这里的参数是不固定的, vector也没有传这么多参数的构造函数.

而这里我们直接给一个大括号初始化, 和之前数组初始化很像, 那它在这里也是一个数组吗?

我们可以打印看一下它的类型是什么：

int main()
{// the type of il is an initializer_list auto il1 = { 10, 20, 30, 40, 50 };cout << typeid(il1).name() << endl;return 0;
}

它的类型是initializer_list<int>

为什么这个东西可以赋值给vector呢？

C++11给STL中的这些容器增加了这样一个构造函数, 支持用initializer_list类型的对象去构造vector这些容器, 所以正常使用这个构造应该是这样写:

但这样写也可以, 因为构造函数支持隐式类型转换.

而且也支持将initialize_list的对象进行赋值:

那initializer_list这个类是什么呢？

initializer_list是C++11引入的一种特殊类型, 用于容器初列表始化, 它可以在构造函数或函数参数中以列表的形式传递一组值.
可以认为它就是一个常量数组, 存储在常量区, initializer_list对象中的元素永远是常量值, 我们无法改变initializer_list对象中元素的值.

initializer_list也支持迭代器访问, 范围for也可以使用:

int main()
{initializer_list<int> il2 = { 10, 20, 30};initializer_list<int>::iterator it2 = il2.begin();while (it2 != il2.end()){cout << *it2 << " ";++it2;}cout << endl;//for (int e : il2)for (auto e : il2){cout << e << " ";}cout<< endl;return 0;
}

再来看map的列表初始化:

int main()
{pair<string, string> kv1("sort", "排序");map<string, string> dict = {kv1, {"insert", "插入"}, {"get","获取"} };for (auto& kv : dict){cout << kv.first << ":" << kv.second << endl;}return 0;
}

注意区分, 红色框内的{}是initialize_list用来初始化map, 黄色框内的{}是pair的隐式类型转换, 用来构造pair, 所以可以发现当{}内的参数和构造函数一致时, 会识别成构造函数, 当参数不一致时会识别成initialize_list.

接下来再做一件事情:

将我们之前模拟实现过的vector进行改造, 让它也支持用initializer_list进行{}初始化和赋值.

构造:

赋值:

声明

c++11提供了多种简化声明的方式

auto

auto之前介绍过

在C++98中auto是一个存储类型的说明符, 表明变量是局部自动存储类型, 但是局部域中定义局部的变量默认就是自动存储类型, 所以auto就没什么价值了.

C++11中废弃auto原来的用法，将其用于实现自动类型推断, 这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。

decltype

再来看C++11引入的关键字——decltype

declypes可以获取表达式或变量类型
我们之前用过typeid(变量/表达式).name()可以获取变量或表达式的类型, 然后我们可以打印出来查看, 而使用decltype我们可以获取类型并使用这个类型

可以看到decltype获取的类型可以定义变量, 而typeid获得到的类型只能输出.

但是上面的场景用auto也可以实现:

但是有的场景auto就不行, 比如：

我们要定义一个vector, 要求vector里面存储的数据类型跟re 的返回类型一致

这个场景auto就不行了.

nullptr

nullptr之前也介绍过,由于C++中NULL被定义成字面量0, 这样就可能回带来一些问题, 因为0既能指针常量, 又能表示整形常量. C++98中NULL定义成了0, 但是更希望匹配的是(void*) 0. 所以出于清晰和安全的角度考虑, C++11中新增了nullptr，用于表示空指针。

范围for循环

之前也介绍过

智能指针

后面会单独介绍

STL中的一些变化

新容器

用橘色圈起来是C++11中的一些几个新容器, 但是实际最有用的是unordered_map和unordered_set.

array

array主要是为了替代c静态数组, []访问能更好的检查越界, 但是我们用vector + resize也挺好, vector也能检查边界, array和vector底层不同, array的空间是开在栈上的, vector的空间开在堆上.

array的对象空间是会变化的, vector对象的空间64位下永远是32,32位下永远是16.

forward_list

forward_list是单链表, 比起list而言, 每个节点可以节省一个指针的空间, 头插头删效率不错, 但是存在的意义很有限, 除非有大量的节省内存的需求或者需要高频头插头删.

新方法:

其次是增加了一些新方法:

const迭代器

比如提供了cbegin和cend方法返回const迭代器等等, 但是实际意义不大, 因为begin和end也是可以返回const迭代器的.

右值引用与移动语义

实际上C++11更新后, 容器中增加的新方法最实用的是右值引用版本插入.

右值引用与移动语义

左值引用和右值引用

传统的C++语法中就有引用的语法, 而C++11中新增了的右值引用语法特性, 所以我们之前学习的引用就叫做左值引用. 无论左值引用还是右值引用, 都是给对象取别名。

左值

什么是左值? 什么是左值引用?

左值是一个表示数据的表达式(如变量名或解引用的指针), 我们可以获取它的地址+可以对它赋值, 左值可以出现赋值符号的左边或者右边, 右值不能出现在赋值符号左边.

定义时const修饰符后的左值, 不能给他赋值, 但是可以取它的地址.

左值引用就是给左值的引用, 给左值取别名.

右值

什么是右值? 什么是右值引用?

右值也是一个表示数据的表达式, 如: 字面常量、匿名对象、表达式返回值, 函数返回值(一般是传值返回, 不能是左值引用返回)等等, 右值只能出现在赋值符号的右边, 不能出现出现在赋值符号的左边, 右值不能取地址.
右值引用就是对右值的引用,给右值取别名.

需要注意的是右值是不能取地址的, 但是给右值取别名后, 会导致右值被存储到特定位置, 且可以取到该位置的地址(右值引用具有左值属性), 下面有更详细的解释.

也就是说例如: 不能取字面量10的地址, 但是rr1引用后, 可以对rr1取地址, 也可以修改rr1. 如果不想rr1被修改, 可以用const int&& rr1 去引用.

rr2不能被修改, 会报错.

左值引用、右值引用本身是左值还是右值？

被声明出来的左、右值引用都是左值。因为被声明出的左右值引用是有地址的，也位于等号左边。仔细看下边代码：

// 形参是个右值引用
void change(int&& right_value) {right_value = 8;
}int main() {int a = 5; // a是个左值int &ref_a_left = a; // ref_a_left是个左值引用int &&ref_a_right = std::move(a); // ref_a_right是个右值引用change(a); // 编译不过，a是左值，change参数要求右值change(ref_a_left); // 编译不过，左值引用ref_a_left本身也是个左值change(ref_a_right); // 编译不过，右值引用ref_a_right本身也是个左值change(std::move(a)); // 编译通过change(std::move(ref_a_right)); // 编译通过change(std::move(ref_a_left)); // 编译通过change(5); // 当然可以直接接右值，编译通过cout << &a << ' ';cout << &ref_a_left << ' ';cout << &ref_a_right;// 打印这三个左值的地址，都是一样的
}

这个结论后面会用到.

思考

左值引用可以给右值取别名吗？或者说左值引用可不可以引用右值?

一般情况下是不能的:

这样是权限的放大 (运算结果一般也放到临时变量里面存一下, 临时变量具有常性), 所以我们加一个const就行了:

那右值引用可以给左值取别名(引用左值)吗？

但是右值引用可以给move之后的左值取别名.

move是库里面的一个函数, 它可以把传入的参数arg转换为右值引用（移动语义） :

左值引用与右值引用总结

左值引用:

1. 左值引用只能引用左值, 不能引用右值.

2. 但是const左值引用既可引用左值, 也可引用右值.

右值引用：

1. 右值引用只能引用右值, 不能引用左值.

2. 但是右值引用可以move以后的左值.

所以其实左值引用其实既可引用左值, 也可引用右值(加const就行了), 那为什么要有右值引用.

右值引用使用场景和意义

移动构造

左值引用既可以引用左值和又可以引用右值, 那为什么C++11还要提出右值引用呢?是不是化蛇添足呢？下面我们来看看左值引用的短板, 右值引用是如何补齐这个短板的.

先以一个简易的string为例, 主要观察其中的拷贝构造和赋值:

#include<iostream>
using namespace std;
#include <assert.h>namespace test
{class string{public:typedef char* iterator;iterator begin(){return _str;}iterator end(){return _str + _size;}string(const char* str = ""):_size(strlen(str)), _capacity(_size){//cout << "string(char* str)" << endl;_str = new char[_capacity + 1];strcpy(_str, str);}// s1.swap(s2)void swap(string& s){::swap(_str, s._str);::swap(_size, s._size);::swap(_capacity, s._capacity);}// 拷贝构造string(const string& s):_str(nullptr){cout << "string(const string& s) -- 深拷贝" << endl;string tmp(s._str);swap(tmp);}// 赋值重载string& operator=(const string& s){cout << "string& operator=(string s) -- 深拷贝" << endl;string tmp(s);swap(tmp);return *this;}~string(){delete[] _str;_str = nullptr;}char& operator[](size_t pos){assert(pos < _size);return _str[pos];}void reserve(size_t n){if (n > _capacity){char* tmp = new char[n + 1];strcpy(tmp, _str);delete[] _str;_str = tmp;_capacity = n;}}void push_back(char ch){if (_size >= _capacity){size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;reserve(newcapacity);}_str[_size] = ch;++_size;_str[_size] = '\0';}//string operator+=(char ch)string& operator+=(char ch){push_back(ch);return *this;}const char* c_str() const{return _str;}private:char* _str;size_t _size;size_t _capacity; // 不包含最后做标识的\0};}

再实现一个整型转换字符串的函数(只是简易版, 只能处理正数):

这里左值引用的短板就体现出来了:

当函数返回对象是一个局部变量, 出了函数作用域就不存在了, 就不能使用左值引用返回, 只能传值返回, 这种情况就不能避免拷贝的消耗.

比如to_string函数返回的是局部对象ret, 所以不能引用返回, 因为ret这个局部对象在函数调用结束就销毁了, 所以这里会产生一个临时对象(ret的拷贝) 作为返回值.
main函数:

这里使用vs2019测试, vs2022优化等级太高, 看不出来区别.

可以看到进行了一次深拷贝:

在分析上面的情况之前, 再补充一点:

就算有些地方会把右值分为两种——纯右值和将亡值
一般可以认为内置类型的右值是纯右值，自定义类型的右值是将亡值.

怎么理解将亡？

就是将要死亡, 即即将被销毁的右值, 一般对于将亡值我们可以直接转移它的资源来减少拷贝的消耗, 就像上面的ret, s其实没有必要再用那个临时变量拷贝构造一次, s内部的字符串直接指向那个临时变量即可,.(将亡值一般是针对自定义类型去谈的, 因为一般自定义类型涉及资源管理, 左值引用的缺陷是对于右值的堆空间上的资源无法很好地利用, 需要多次资源申请降低效率, 才需要考虑提高效率这些概念, 所以上面才说一般认为自定义类型的右值是将亡值, 且一般是深拷贝的自定义类型)

现在再增加一个左值:

首先我们要把这两种不同情况区分开来:

上面这两种情况一个是左值一个是右值, 左值就是正常的调用拷贝构造, 现在需要处理的是s3的右值避免让它拷贝构造.

对于ret来说, 按照我们上面说的他是一个将亡值, (这里是一个临时对象保存返回值, 然后它拷贝给s3之后就销毁了).
对于一个将亡值, 我们就没有必要再去拷贝它, 针对这样的情况我们可以对它做一个单独的处理, 直接移动它的资源——移动拷贝, 所以我们可以重载一个移动拷贝的函数.

直接把把这个右值交换给我们要构造的string对象就行了, 相当于进行资源的转移, 就减少了拷贝, 反正你这个将亡值马上就要被销毁了。

再次运行发现就调用了移动构造:

这次没有调用深拷贝的拷贝构造, 而是调用了移动构造, 移动构造中没有新开空间拷贝数据,只是资源的转移, 所以效率提高了.

所以移动构造本质是将参数右值的资源窃取过来, 占为已有, 那么就不用做深拷贝了, 所以它叫做移动构造, 就是窃取别人的资源来构造自己.

注意:

如果对于s2的拷贝构造我也想使用资源转移的移动构造来让s1构造s2呢? 但是s1是左值啊
这时我们就可以使用上面提到的move函数了

这次就没有调深拷贝了, 而是移动拷贝, 那s的资源是否真的被转移走了呢？

但是这样如果我们后面使用s1它就为空了, 所以也不能随便使用move, 在合适的场景下应用

move函数的参数是一个通用引用（universal reference）, 既可以接受左值类型, 也可以接受右值类型, 返回值是传递进来的参数的右值引用.
move只是返回值为右值引用, 并不会真正改变参数的属性, 它的作用是告诉编译器, 我们希望对该对象执行移动操作, 以便能够使用移动构造函数或移动赋值运算符.
有些场景下, 可能真的需要用右值去引用左值实现移动语义。
当需要用右值引用引用一个左值时，可以通过move函数将左值转化为右值引用。
C++11中，std::move()函数位于头文件中，该函数名字具有迷惑性，它并不搬移任何东西，唯一的功能就是返回参数的右值引用（并不会真正改变参数的属性）, 然后实现移动语义。

移动赋值

不仅仅有移动构造, 还有移动赋值.

对于这里to_string返回产生的临时变量, 它也是一个将亡值, 所以我们没必要进行深拷贝的赋值, 就可以直接进行移动赋值(这里就不像是上面说的那样直接用ret构造编译器又进行特殊识别, 这里是确实产生了临时变量,因为连续的构造+赋值重载不能优化):

C++11给STL中的容器都增加了移动构造和移动赋值:

其它容器也是, 不一一列举.

右值引用的其他场景

STL库中的swap函数就得到了很大的优化:

algorithm库里的swap函数得到了很大的优化, 因为它可以不再像C++98里实现的那样, 对于自定义类型的对象, 还要用拷贝构造创建一个临时变量作为中间值交换, 降低效率, 为此string库里还自己实现了swap就是为了避免这样不必要的深拷贝.

对于一些传值返回的场景也得到了优化:

这里直接返回一个vector<vector<int>>如果直接深拷贝代价太大, 而有了移动构造之后就可以放心使用值返回了, 因为只是资源的转移, 并没有实际深拷贝, 而以前C++98为了提高效率, 是将要返回的值作为输出型参数传进去, 不够直观.

右值引用版本的插入接口函数

除了移动构造和移动赋值外:

C++11给STL中容器的插入数据接口函数也都增加右值引用的版本.

那增加了右值引用的版本, 有什么好处呢?

以list为例:

第一个push_back的是s1, s1是一个string对象, 是一个左值, 所以他调用的push_back就是左值引用的那个版本. push_back里面要创建一个新结点链接到链表上, 结点里面存的是string, 所以这里必然要进行string的深拷贝.

第二个push_back插入的是一个字符串, 会先构造成string, 这个string是临时对象声明周期在这一行,是将亡值 , 所以这里就会调第二个右值引用版本的push_back.
那这样的话push_back里面创建新结点时, string的拷贝构造就会调用移动构造了.

万能引用与完美转发

万能引用

模板中的&& 万能引用

void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }

这里有4个函数,它们是重载的关系,然后我们给这样一个函数模板:

template<class T>
void PerfectForward(T&& t)
{Fun(t);
};

这里模板中的&&不代表右值引用, 而是万能引用, 其既能接收左值又能接收右值:

int main()
{PerfectForward(10);// 右值int a;PerfectForward(a);// 左值PerfectForward(std::move(a)); // 右值const int b = 8;PerfectForward(b);//左值PerfectForward(std::move(b)); // const 右值return 0;
}

我们传的是左值, 那参数t就是左值引用, 我们传的是右值, 参数t就是右值引用, 所以有些地方也把它叫做引用折叠, 我们传左值的时候, 它好像就把&&折叠了一下一样.
但是, 大家看到我们这里接收t之后又往下传了一层, 把t传给了Fun(), 在PerfectForward函数内部t又往下传给了Fun, 那传给Fun的话t会匹配什么呢?

为什么全部匹配的都是左值引用?

上面提到过:

右值不能取地址, 但是给右值取别名后, 会导致右值被存储到特定位置, 且可以取到该位置的地址, (有名的)右值引用具有左值属性.

这样设计其实是合理的,比如之前的场景:

所以模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力, 但是引用类型的唯一作用就是限制了接收的类型, 后续使用中都退化成了左值, 我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面的完美转发.

完美转发及其应用场景

先拷贝一份模拟实现的list:

namespace test
{template<class T>struct list_node{list_node<T>* _next;list_node<T>* _prev;T _data;list_node(const T& x = T()):_next(nullptr), _prev(nullptr), _data(x){}};// 1、迭代器要么就是原生指针// 2、迭代器要么就是自定义类型对原生指针的封装，模拟指针的行为template<class T, class Ref, class Ptr>struct __list_iterator{typedef list_node<T> node;typedef __list_iterator<T, Ref, Ptr> self;node* _node;__list_iterator(node* n):_node(n){}Ref operator*(){return _node->_data;}Ptr operator->(){return &_node->_data;}self& operator++(){_node = _node->_next;return *this;}self operator++(int){self tmp(*this);_node = _node->_next;return tmp;}self& operator--(){_node = _node->_prev;return *this;}self operator--(int){self tmp(*this);_node = _node->_prev;return tmp;}bool operator!=(const self& s){return _node != s._node;}bool operator==(const self& s){return _node == s._node;}};template<class T>class list{typedef list_node<T> node;public:typedef __list_iterator<T, T&, T*> iterator;typedef __list_iterator<T, const T&, const T*> const_iterator;iterator begin(){//iterator it(_head->_next);//return it;return iterator(_head->_next);}const_iterator begin() const{return const_iterator(_head->_next);}iterator end(){return iterator(_head);}const_iterator end() const{//iterator it(_head->_next);//return it;return const_iterator(_head);}void empty_init(){_head = new node(T());_head->_next = _head;_head->_prev = _head;}list(){empty_init();}template <class Iterator>list(Iterator first, Iterator last){empty_init();while (first != last){push_back(*first);++first;}}void swap(list<T>& tmp){std::swap(_head, tmp._head);}list(const list<T>& lt){empty_init();list<T> tmp(lt.begin(), lt.end());swap(tmp);}// lt1 = lt3list<T>& operator=(list<T> lt){swap(lt);return *this;}~list(){clear();delete _head;_head = nullptr;}void clear(){iterator it = begin();while (it != end()){//it = erase(it);erase(it++);}}void push_back(const T& x){insert(end(), x);}void push_front(const T& x){insert(begin(), x);}void pop_back(){erase(--end());}void pop_front(){erase(begin());}void insert(iterator pos, const T& x){node* cur = pos._node;node* prev = cur->_prev;node* new_node = new node(x);prev->_next = new_node;new_node->_prev = prev;new_node->_next = cur;cur->_prev = new_node;}iterator erase(iterator pos){assert(pos != end());node* prev = pos._node->_prev;node* next = pos._node->_next;prev->_next = next;next->_prev = prev;delete pos._node;return iterator(next);}private:node* _head;};
}

配合上面用的那个string, 把string里面我们添进去的移动拷贝和移动构造我也先注释掉, 然后执行这样一段代码:

全是深拷贝, 不论左值还是右值, 那我们把string的移动构造和移动拷贝放出来:

依然全是深拷贝, 先来一个个研究.

第一个深拷贝其实是在list初始化的时候进行的,

这里_data的初始化还是深拷贝, 所以list_node可以添加一个右值引用版本构造:

但是发现还是深拷贝, 这就是上面说到的问题, 右值被右值引用后就变成了左值, 虽然能进入右值引用版本的构造里, 但 _data(x)里的x还是会被识别成左值, 所以可以move(x)

这样_data调用的就是移动构造了.

第二行的深拷贝是不能避免的, 因为它push_back 的是左值, 只能去拷贝构造.

第三和第四行的深拷贝都可以优化, 因为参数是右值, 所以给list的push_back增加右值引用的版本 :

这里存在和上面一样的问题, x是有名的右值引用, 是左值, 需要move成右值传递下去.

push_back里复用的insert也需要一份右值引用版本:

这样就可以实现右值引用版本的插入接口函数, 但上面的场景用move就可以实现, 回到最开始的那个问题, 只靠move实现不了:

这样又全变成了右值引用, 而我们想要的是参数在传递过程中保持它的左值或者右值的属性, 完美转发就是用来解决这个问题.

完美转发是为了解决传递参数时的临时对象（右值）被强制转换为左值的问题。在C++03中, 可以使用泛型引用来实现完美转发, 但是需要写很多重载函数, 非常繁琐。而在C++11中，引入了std::forward, 可以更简洁地实现完美转发.

因此, 概括来说, std::forward实现完美转发主要用于以下场景：提高模板函数参数传递过程的转发效率。

如何只想在传递过程中保持它的左值或者右值的属性, 这就要用到完美转发. std::forward是C++11中引入的一个函数模板，用于实现完美转发（Perfect Forwarding）。它的作用是根据传入的参数，决定将参数以左值引用还是右值引用的方式进行转发, 也就是说在传参的过程中保留对象原生类型属性.

在给Fun传参的时候进行一次完美转发就可以了.

list里的x用完美转发也可以转换成右值:

新的类功能

默认成员函数
原来C++类中, 有6个默认成员函数：

1. 构造函数
2. 析构函数
3. 拷贝构造函数
4. 拷贝赋值重载
5. 取地址重载
6. const 取地址重载

最后重要的是前4个, 后两个用处不大.

默认成员函数就是我们不写编译器会生成一个默认的, C++11 新增了两个: 移动构造函数和移动赋值运算符重载, 但它们的要求很严格.
针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下:

如果你没有自己实现移动构造函数, 且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任
意一个, 那么编译器会自动生成一个默认移动构造。

默认生成的移动构造函数, 对于内置类型成员会执行逐成员按字节拷贝, 自定义类型成员, 则需要看这个成员是否实现移动构造, 如果实现了就调用移动构造, 没有实现就调用拷贝构造.

如果你没有自己实现移动赋值重载函数, 且没有实现析构函数 、拷贝构造、拷贝赋值重载中
的任意一个, 那么编译器会自动生成一个默认移动赋值。

默认生成的移动构造函数，对于内
置类型成员会执行逐成员按字节拷贝, 自定义类型成员, 则需要看这个成员是否实现移动赋
值, 如果实现了就调用移动赋值, 没有实现就调用拷贝赋值.(默认移动赋值跟上面移动构造
完全类似)

如果你提供了移动构造或者移动赋值, 编译器不会自动提供拷贝构造和拷贝赋值.

比如下面这个Person类, 先把拷贝构造, 赋值重载和析构屏蔽, 以保证它会自动生成一个默认移动构造和移动赋值:

class Person
{
public:Person(const char* name = "", int age = 0):_name(name), _age(age){}/*Person(const Person& p):_name(p._name),_age(p._age){}*//*Person& operator=(const Person& p){if(this != &p){_name = p._name;_age = p._age;}return *this;}*//*~Person(){}*/private:test::string _name;int _age;
};int main()
{Person s1;Person s2 = s1;Person s3 = std::move(s1);Person s4;s4 = std::move(s2);return 0;
}

可以看到s2正常调用string拷贝构造, s3和s4都分别调用了移动构造和移动赋值.

如果实现三个函数中其中一个:

就不会生成默认的移动构造和移动赋值, 像之前一样内置类型值拷贝, 自定义类型调用它的拷贝构造.

另外, 如果满足了移动构造的条件但是自定义类型成员没有移动构造, 那还是会去调用它的拷贝构造.

总结:

移动构造的条件看起来很苛刻, 但其实也不算, 因为这三个函数(析构函数+拷贝构造函数+拷贝赋值重载)正常情况下是绑定在一起的, 一般情况下一个类需要实现析构就需要实现拷贝构造和拷贝赋值重载, 这三个一般不会单独出现, 因为析构说明有资源需要释放, 就说明需要有深拷贝. 而如果实现了拷贝构造和拷贝赋值重载, 说明移动构造和移动赋值也需要自己实现, 因为内部的哪些资源需要移动式由自己决定.