【C++庖丁解牛】C++11---统一的列表初始化 | auto | decltype | nullptr | STL中一些变化

🍁你好，我是 RO-BERRY 📗 致力于C、C++、数据结构、TCP/IP、数据库等等一系列知识 🎄感谢你的陪伴与支持 ，故事既有了开头，就要画上一个完美的句号，让我们一起加油

---

---

目录

1. C++11简介2. 统一的列表初始化2.1 ｛｝初始化2.2 std::initializer_liststd::initializer_list的介绍文档：**std::initializer_list是什么类型：**std::initializer_list的应用场景： 3. 声明3.1 auto3.2 decltype3.3 nullptr 4.STL中一些变化

---

1. C++11简介

🍁在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1)，使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。

🍁不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复，语言的核心部分则没有改动，因此人们习惯性的把两个标准合并称为C++98/03标准。

🎄从C++0x到C++11，C++标准10年磨一剑，第二个真正意义上的标准珊珊来迟。相比于C++98/03，C++11则带来了数量可观的变化，其中包含了约140个新特性，以及对C++03标准中约600个缺陷的修正，这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言，C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全，不仅功能更强大，而且能提升程序员的开发效率，公司实际项目开发中也用得比较多，所以我们要作为一个重点去学习。C++11增加的语法特性非常篇幅非常多，我们这里没办法一 一讲解，所以主要讲解实际中比较实用的语法。

C++11是C++的第二个主要版本，也是自C++98以来最重要的更新。引入了大量的更改，以标准化现有实践并改进C++程序员可用的抽象。
在2011年8月12日最终获得ISO批准之前，使用了名称“C++0x”，因为它预计将在2010年之前发布。从C++03到C++11花了8年时间，因此它已成为迄今为止版本之间最长的间隔。从那时起，目前，C++每3年定期更新一次。

语言的发展就像是练功打怪升级一样，也是逐步递进，由浅入深的过程。我们先来看下C++的历史版本

版本	内容
C with classes	类及派生类、公有和私有成员、类的构造和析构、友元、内联函数、赋值运算符重载等
C++1.0	添加虚函数概念，函数和运算符重载，引用、常量等
C++2.0	更加完善支持面向对象，新增保护成员、多重继承、对象的初始化、抽象类、静态成员以及const成员函数
C++3.0	进一步完善，引入模板，解决多重继承产生的二义性问题和相应构造和析构的处理
C++98	C++标准第一个版本，绝大多数编译器都支持，得到了国际标准化组织(ISO)和美国标准化协会认可，以模板方式重写C++标准库，引入了STL(标准模板库)
C++03	C++标准第二个版本，语言特性无大改变，主要：修订错误、减少多异性
C++05	C++标准委员会发布了一份计数报告(Technical Report，TR1)，正式更名C++0x，即：计划在本世纪第一个10年的某个时间发布
C++11	增加了许多特性，使得C++更像一种新语言，比如：正则表达式、基于范围for循环、auto关键字、新容器、列表初始化、标准线程库等
C++14	对C++11的扩展，主要是修复C++11中漏洞以及改进，比如：泛型的lambda表达式，auto的返回值类型推导，二进制字面常量等
C++17	在C++11上做了一些小幅改进，增加了19个新特性，比如：static_assert()的文本信息可选，Fold表达式用于可变的模板，if和switch语句中的初始化器等
C++20	自C++11以来最大的发行版，引入了许多新的特性，比如：模块(Modules)、协程(Coroutines)、范围(Ranges)、概念(Constraints)等重大特性，还有对已有特性的更新：比如Lambda支持模板、范围for支持初始化等
C++23	制定ing

C++还在不断的向后发展。但是：现在公司主流使用还是C++98和C++11，所有大家不用追求最新，重点将C++98和C++11掌握好，等工作后，随着对C++理解不断加深，有时间可以去琢磨下更新的特性。

✨小故事：

1998年是C++标准委员会成立的第一年，本来计划以后每5年视实际需要更新一次标准，C++国际标准委员会在研究C++ 03的下一个版本的时候，一开始计划是2007年发布，所以最初这个标准叫C++ 07。但是到06年的时候，官方觉得2007年肯定完不成C++ 07，而且官方觉得2008年可能也完不成。最后干脆叫C++ 0x。x的意思是不知道到底能在07还是08还是09年完成。结果2010年的时候也没完成，最后在2011年终于完成了C++标准。所以最终定名为C++11。

---

2. 统一的列表初始化

2.1 ｛｝初始化

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

struct Point{ int _x; int _y;};int main(){ int array1[] = { 1, 2, 3, 4, 5 }; int array2[5] = { 0 }; Point p = { 1, 2 }; return 0;}

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

struct Point{ int _x; int _y;};int main(){ int x1 = 1;       //给x1赋值为1 int x2{ 2 };      //给x2赋值为2 int x3 = {3};     //给x3赋值为3  int array[5] = { 1, 2, 3, 4, 5 }; //原版本 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;}

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

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(2024, 1, 1); // 原版本C++98的构造// 以下是C++11支持的列表初始化，这里会调用构造函数初始化Date d2{ 2024, 1, 2 };Date d3 = { 2024, 1, 3 };return 0;}

这三种列表初始化都可以进行支持

总之C++11的特性就是一切皆可用{ }初始化

---

2.2 std::initializer_list

🎄Date类型的实例构造就是调用其内部的构造函数
🎄vector容器的实例构造则是使用了initializer_list

他们都是进行了构造，但是Date调用拷贝构造需要按照构造函数传入三个参数，vector可以传入无数个参数，因为vector调用的是initializer_list的构造

//我们经常使用这种方式初始化vectorvector<int> v = {1, 2, 3}//这里右边其实就是使用了initializer_list

---

std::initializer_list的介绍文档：

http://www.cplusplus.com/reference/initializer_list/initializer_list/

---

std::initializer_list是什么类型：

可以看到initializer_list其实是一个模版，我们传入什么类型的数据他就会是什么样的类型

int main(){// the type of il is an initializer_list auto il = { 10, 20, 30 };initializer_list<int> il2 = { 1 ,2  ,3 };   //这两个初始化是一样的cout << typeid(il).name() << endl;return 0;}

int main(){// the type of il is an initializer_list auto il = { 1.1 ,1.2  ,1.3 };cout << typeid(il).name() << endl;return 0;}

---

🍁可以理解为initializer_list为C++11新增的一个容器，但是这个容器和我们以前讲述的容器不一样，这个容器不实际存储数据

但请注意，该模板类不是隐式定义的，即使隐式使用了类型，也应包括头＜initializer_list＞来访问它。initializer_list对象是自动构建的，就好像分配了一个T类型的元素数组一样，使用任何必要的非收缩隐式转换，将列表中的每个元素复制初始化为数组中的相应元素。initializer_list对象引用该数组的元素而不包含这些元素：复制initializer_list对象会生成另一个引用相同底层元素的对象，而不是引用它们的新副本（引用语义）。此临时数组的生存期与initializer_list对象的生存期相同。

---

std::initializer_list的应用场景：

初始化容器：std::initializer_list用于初始化各种容器，如std::vector、std::list、std::set等。通过使用花括号{}来创建一个std::initializer_list对象，并将其作为容器的构造函数参数，可以方便地初始化容器中的元素。

具体可以看文档：

http://www.cplusplus.com/reference/list/list/list/
http://www.cplusplus.com/reference/vector/vector/vector/
http://www.cplusplus.com/reference/map/map/map/
http://www.cplusplus.com/reference/vector/vector/operator=/

函数参数：std::initializer_list可以作为函数的参数，用于接收可变数量的参数。这样可以方便地传递一组值给函数，并在函数内部进行处理。例如，可以使用std::initializer_list来实现一个可变参数的打印函数。

初始化自定义对象：如果一个类具有接受std::initializer_list作为构造函数参数的构造函数，那么可以使用花括号{}来初始化该类的对象。这样可以方便地为自定义对象提供一组初始值。

---

3. 声明

c++11提供了多种简化声明的方式，尤其是在使用模板时。

3.1 auto

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

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

int main(){int i = 10;auto p = &i;auto pf = strcpy;cout << typeid(p).name() << endl;cout << typeid(pf).name() << endl;map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };//map<string, string>::iterator it = dict.begin();auto it = dict.begin();return 0;}

---

3.2 decltype

🍁decltype是C++11引入的一个关键字，用于获取表达式的类型。它可以在编译时推导出表达式的类型，并将其作为返回值类型或变量的类型。decltype的语法如下：

decltype(expression)

🎄其中，expression是一个表达式，可以是变量、函数调用、运算符等。
使用decltype可以方便地获取表达式的类型，特别是在模板编程中非常有用。它可以避免手动指定类型，减少代码冗余和错误。

例如，假设有一个变量x，我们可以使用decltype来获取x的类型：

int x = 10;decltype(x) y; // y的类型为int

另外，decltype还可以用于推导函数返回值类型，例如：

int foo();
decltype(foo()) result; // result的类型为int

总结一下，decltype是C++11引入的关键字，用于获取表达式的类型。它可以在编译时推导出表达式的类型，并将其作为返回值类型或变量的类型。

template<class T1, class T2>void F(T1 t1, T2 t2){decltype(t1 * t2) ret;cout << typeid(ret).name() << endl;}int main(){const int x = 1;double y = 2.2;decltype(x) z = 1; // ret的类型是intdecltype(x * y) ret; // ret的类型是doubledecltype(&x) p;      // p的类型是int*cout << typeid(z).name() << endl;cout << typeid(ret).name() << endl;cout << typeid(p).name() << endl;F(1, 'a');return 0;}

注意：

const 修饰int、double等类型在使用decltype后const会消失
const 修饰指针时使用decltype后const会依旧存在

---

3.3 nullptr

🍁在C++中，nullptr是一个特殊的关键字，用于表示空指针。它的设计意义在于解决了C语言中NULL的一些问题。

首先，nullptr的引入消除了C语言中NULL的二义性。在C语言中，NULL被定义为0，但0也可以表示整数的零值。这就导致了在某些情况下，编译器无法确定NULL到底是指针类型还是整数类型。而nullptr则明确表示一个空指针，消除了这种二义性。

其次，nullptr可以提高代码的可读性和安全性。使用nullptr可以明确地表示一个空指针，使得代码更加清晰易懂。同时，使用nullptr还可以避免一些潜在的错误，比如将整数值错误地赋给指针变量。

最后，nullptr还可以与函数重载一起使用，用于区分不同的函数重载。在C++中，函数重载是指在同一个作用域内定义多个同名函数，但它们的参数类型或参数个数不同。当我们调用这些重载函数时，如果传入一个空指针作为参数，编译器可以根据nullptr的类型来确定调用哪个重载函数。

总结一下，nullptr在C++中的设计意义主要有三点：消除NULL的二义性、提高代码可读性和安全性、与函数重载一起使用。

由于C++中NULL被定义成字面量0，这样就可能回带来一些问题，因为0既能指针常量，又能表示整形常量。所以出于清晰和安全的角度考虑，C++11中新增了nullptr，用于表示空指针。

#ifndef NULL#ifdef __cplusplus#define NULL   0#else#define NULL   ((void *)0)#endif#endif

---

4.STL中一些变化

新容器
用橘色圈起来是C++11中的一些几个新容器，但是实际最有用的是unordered_map和unordered_set。这两个我们前面已经进行了非常详细的讲解，其他的大家了解一下即可。

容器中的一些新方法

如果我们再细细去看会发现基本每个容器中都增加了一些C++11的方法，但是其实很多都是用得
比较少的。比如提供了cbegin和cend方法返回const迭代器等等，但是实际意义不大，因为begin和end也是
可以返回const迭代器的，这些都是属于锦上添花的操作。实际上C++11更新后，容器中增加的新方法最后用的插入接口函数的右值引用版本：

http://www.cplusplus.com/reference/vector/vector/emplace_back/
http://www.cplusplus.com/reference/vector/vector/push_back/
http://www.cplusplus.com/reference/map/map/insert/
http://www.cplusplus.com/reference/map/map/emplace/

但是这些接口到底意义在哪？网上都说他们能提高效率，他们是如何提高效率的？
请看下面的右值引用和移动语义章节的讲解。另外emplace还涉及模板的可变参数，也需要再继
续深入学习后面章节的知识。

总结：
STL的一些变化：

新容器

unerdered_xxx 用处很大array/forward_list 用处相见一般

新接口

无关痛痒的接口–cbegin等initializer_list系列的构造(重要)push_xxx/insert/emplace等增加优质应用插入版本意义重大，提高效率容器新增移动构造和移动赋值，也可以减少拷贝，提高效率

本文链接：https://www.kjpai.cn/news/2024-04-20/160624.html，文章来源：网络cs，作者：璐璐，版权归作者所有，如需转载请注明来源和作者，否则将追究法律责任！