【C++11】统一的列表初始化 + 声明（auto + decltype）+ 范围for + 指针空值nullptr

👦个人主页：@Weraphael
✍🏻作者简介：目前学习C++和算法
✈️专栏：C++航路
🐋 希望大家多多支持，咱一起进步！😁
如果文章对你有帮助的话
欢迎 评论💬 点赞👍🏻 收藏 📂 加关注✨

---

一、统一的列表初始化

1.1｛｝初始化

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

但在C++11中扩大了用花括号{}括起的列表的使用范围，使其可用于所有的内置类型和类类型（一切皆可用{}初始化），而类可以使用花括号{}初始化本质是在调用了默认构造函数初始化对象。

class MyClass
{
public:
	MyClass(int a = 0, int b = 0)
		:_a(a)
		,_b(b)
	{
		cout << "调用了MyClass的默认构造函数" << endl;
	}

	int _a;
	int _b;
};

int main()
{
	int a = { 1 }; // 内置类型
	cout << a << endl;

	// 老式写法
	MyClass c1(1, 2);
	cout << c1._a << " " << c1._b << endl;

	// C++11
	MyClass c2 = { 1,2 }; // 类对象
	cout << c2._a << " " << c2._b << endl;

	return 0;
}

【程序结果】

从上看出，C++11还支持多参数隐式类型转换。

当然了，C++11还支持使用初始化列表时，可不添加赋值符号=。

class MyClass
{
public:
	MyClass(int a = 0, int b = 0)
		:_a(a)
		,_b(b)
	{
		cout << "调用了MyClass的默认构造函数" << endl;
	}

	int _a;
	int _b;
};

int main()
{
	int a{ 1 }; // 内置类型
	cout << a << endl;

	MyClass c{ 1,2 };
	cout << c._a << " " << c._b << endl;

	return 0;
}

【程序结果】

建议不要省略，省略了赋值符号看的不直观，但是要明白有这个有这个语法。

1.2 initializer_list

• initializer_list文档介绍：点击跳转

initializer_list是C++11中引入的标准库类型，它是一种轻量级容器

initializer_list主要用于各种容器的初始化。

在C++11中，标准库容器（如vector、map、set等）支持使用花括号{}进行初始化，这是因为标准库中为这些容器提供了相应的初始化列表initializer_list的构造函数。

这种初始化列表构造函数允许使用花括号列表来初始化容器，从而简化了代码并提高了可读性。

二、声明

2.1 auto关键字

随着程序越来越复杂，程序中用到的类型也越来越复杂，经常体现在：

1. 类型难于拼写（过长）
2. 含义不明确导致容易出错

#include <iostream>
#include <string>
#include <map>

int main()
{
	std::map<std::string, std::string> m{ { "apple", "苹果" }, 
										  {"orange","橙子" },
										   {"pear","梨"} };
	std::map<std::string, std::string>::iterator it = m.begin();
	while (it != m.end())
	{
		//....
	}
	return 0;
}

对于这么长的类型std::map<std::string, std::string>，首先可以想到使用typedef为类型取别名

例如：

#include <iostream>
#include <string>
#include <map>
using namespace std;

//重命名长类型
typedef std::map<std::string, std::string> Map;

int main()
{
	map m{ { "apple", "苹果" },{ "orange", "橙子" }, {"pear","梨"} };
	map::iterator it = m.begin();
	while (it != m.end())
	{
		//....
	}
	return 0;
}

使用typedef给类型取别名确实可以简化代码，可能会引起以下问题：

1. 难以理解：typedef可以创建新的类型名称，但可能会使代码难以理解和维护。如果类型名称太过简略或不符合命名规范，会导致代码的可读性降低。
2. 可能会与其他定义冲突：由于typedef允许用户创建新的类型名称，因此可能会与其他定义发生冲突。这可以通过遵循命名规则和避免使用与其他名称相同的名称来避免。
3. 难以进行调试：由于typedef创建了新的类型名称，因此调试时可能会难以确定变量的类型。这可以通过良好的代码注释和为类型名称选择有意义的名称来避免。
4. 可能会导致错误：typedef也可以用于创建指向其他类型的指针或引用类型。如果不小心使用了错误的类型名称，可能会导致程序错误。这可以通过在代码中进行仔细的检查和测试来避免。

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

因此在C++11中废弃auto原来的用法，将auto进行升级，即 它可以通过赋值操作符右边的表达式来推导出其类型。但这样要求必须进行显示初始化。

• typeid(变量).name可以打印变量类型

2.1.1 auto的使用细则

1. auto与指针和引用结合起来使用

用auto声明指针类型时，用auto和auto*没有任何区别

但用auto声明引用类型时则必须加&

2. 在同一行定义多个变量

当在同一行声明多个变量时，这些变量必须是相同的类型，否则编译器将会报错。

第96行代码会编译失败，因为c和d的初始化表达式类型不同。

2.1.2 常见auto不能推导的场景

1. auto不能作为函数的参数

2. auto不能直接用来声明数组

2.2 decltype

decltype 是C++11中引入的一个关键字，用于获取表达式的类型或变量的类型，而不实际计算表达式或调用函数。它的语法形式为：

decltype(expression) 变量名;

其中，expression 可以是一个变量、函数调用、表达式等。

decltype 返回的结果类型与其参数相关，具体规则如下：

• 如果 expression 是一个变量名，则 decltype(expression) 返回该变量的类型，包括修饰符（如const等）。

const int ci = 0;
const int& cj = ci;
decltype(ci) x = 0; // x的类型是const int
decltype(cj) y = x; // y的类型是const int&，y是x的别名
decltype(cj) z;     // erro：z是一个引用，必须初始化

• 如果 expression 是一个函数调用，则 decltype(expression) 返回该函数调用的返回类型。

int func()
{
	int x = 1;
	++x;
	return x;
}

int main
{
	// d的类型是func函数的返回值：int
	decltype(func()) d; 
}

• 如果 expression 是一个表达式，则 decltype(expression) 返回该表达式计算结果之后的类型。

int i = 1;
int* p = &i;
int& r = i;
	
decltype(i + i) a; // a是int类型
decltype(r + 0) b; // b是int类型
decltype(*p) c; // erro，c是int&，必须初始化

因为r是一个引用，因此decltype(r)的结果是引用类型。但r + 0是一个表达式，显然这个表达式的结果是一个具体值而非一个引用。

另一方面，如果表达式的内容是解引用操作，则decltype将得到引用类型。为什么呢？正如我们所熟悉的那样，解引用指针可以得到指针所指的对象，而且还能给这个对象赋值。因此，decltype(*p)的结果类型就是int&，而非int。

---

有一种情况需要特别注意：对于decltype所用的表达式来说，如果变量名加上了一对括号，则得到的类型与不加括号时会有不同。

• 如果decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型。
• 如果给变量加上了一层或多层括号，则得到的结果一定是引用类型。

int i = 1;
decltype((i)) d; // erro，d是int&，必须显示初始化
decltype(i) e; // 正确，e是一个未初始化的int类型

三、范围for

在C++11之前，我们想遍历一个数组都要先知道元素个数，然后通过下标来进行遍历

然后，在C++11中支持了一种非常好用的遍历方式：范围for。它无需知道数组元素个数。

范围for循环后的括号由冒号“ ：”分为两部分：第一部分是范围内用于迭代的变量，第二部分则表示被迭代的范围。它本质的意思是：依次取数组arr中的元素赋值给e。

如果需要修改元素，则需要使用引用。

范围for之所以如此好用，这是因为它的底层是迭代器。

四、 指针空值nullptr

由于C++兼容C，因此我们是可以使用NULL的，但NULL实际是一个宏，我们通过查询cplusplus网站来查看其属性

可以看到，NULL被定义为字面常量0，或者被定义为无类型指针(void*)的常量。不论采取何种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如：

• 程序本意是想通过NULL调用指针版本的f(int*)函数，但是由于NULL被定义成0，因此与程序的初衷相悖。
• 这是因为在C++98中，NULL既可以是一个整形数字0，也可以是无类型的指针(void*)常量，但是编译器默认情况下将其看成是一个整形常量。如果要将其按照指针方式来使用，必须对其进行强转(指定类型*)NULL。
  
  但C++11引入了nullptr，C++真正意义上的空指针