第七章 为改变思考方式而改变

7.1 指针空值--nullptr

7.1.1 指针空值：从0到NULL，再到nullptr

传统C头文件里NULL是一个宏定义：

在函数重载同时出现int和char *参数版本的函数时，使用NULL作为参数调用函数会调用int参数版本，而不是我们想要的char*参数版本。 引起该问的元凶是字面常量0的二义性，既可以是一个整型，也可以是一个无类型指针void*。除非对字面常量0进行强制类型转换b=并调用，否则编译器总是会优先把0看作是一个整型常量。

c++出于兼容性考虑，并没有消除字面常量0的二义性。但是引入了作为指针空值类型的常量nullptr，指针空值类型被命名为nullptr_t。nullptr是关键字，nullptr是有类型的，只能被隐式转化为指针类型，所以nullptr做参数可以成功调用char*版本的函数。

7.1.2 nullptr和nullptr_t

c++11标准不仅定义了指针空值常量nullptr，也定义了其指针空值类型nullptr_t。c++11标准严格规定了数据间的关系：

1.所有定义为nullptr_t类型的数据都是等价的，行为也是完全一致的。

2.nullptr_t类型数据可以隐式转换成任意一个指针类型。

3.nullptr_t类型数据不能转换为非指针类型。

4.nullptr_t类型数据不适用于算术运算表达式。

5.nullptr_t类型数据可以用于关系运算表达式，但仅能与nullptr_t类型数据或者指针类型数据进行比较，当且仅当关系运算符为==、<=、>=等时返回true。

7.1.3 一些关于nullptr规则的讨论

nullptr类型数据所占用的内存空间大小跟void*相同。

nullptr到任何指针的转换是隐式的，而(void*)0则必须经过类型转换后才能使用。

nullptr_t对象的地址可以被用户使用。虽然nullptr也是一个nullptr_t的对象，但它被定义为一个右值常量，因此用户不能获得nullptr的地址。

7.2 默认函数的控制

7.2.1 类与默认函数

在c++中声明自定义的类，编译器会默认生成一些被称为默认函数的成员函数，包括：

构造函数、拷贝构造函数、拷贝赋值函数（operator=）、移动构造函数、移动拷贝函数、析构函数。

c++编译器还会为以下这些自定义类型提供全局默认操作符函数：

operator ,，operator &，operator &&，operator *，operator ->，operator ->*，operator new，operator delete。

一旦实现了这些函数的自定义版本，则编译器不会再为该类自动生成默认版本。声明了带参的构造函数版本，必须声明不带参版本以完成无参的变量初始化。声明了自定义版本的构造函数，有可能导致自定义类型不再是POD的。

C++11中，可以在默认函数定义或者声明时加上"= default"来显式地指示编译器生成该函数的默认版本。另一方面，有时候又希望可以限制一些默认函数的生成，譬如有时候需要禁止使用拷贝构造函数，c++11中，可以在默认函数定义或者声明时加上“= delete”来显式地指示编译器不生成函数的缺省版本。

7.2.2 “= default”与“= deleted”

c++11中，也可以在类定义外显式指定缺省版本，这样可以对一个class定义提供多个实现版本，通过选择性编译，从而在提供缺省函数和自定义版本间切换。

c++11并不要求编译器为“operator ==”之类的函数提供缺省实现，但是将其声明为显式缺省的话，编译器会按照某些标准行为为其生成所需的版本。

显式删除可以避免用户使用一些不应该使用的类的成员函数，也可以避免编译器做一些不必要的隐式数据类型转换，例如：

隐式删除不应该和explicit同用。在下面的例子中：

显式删除导致显式构造的cc变量编译出错，但是Func调用中，编译器会尝试隐式地将char转为int，从而调用一次ConvType(int)构造函数，因而能通过编译。

显式删除并不局限于缺省版本的类成员函数或者全局函数上，对于普通函数，依然可以通过显式删除来禁止类型转换。

7.3 lambda函数

7.3.1 lambda的一些历史

7.3.2 c++11中的lambda函数

lambda函数的语法定义：

捕捉列表由多个捕捉项组成，以逗号分割，有如下形式：

[var]表示值传递方式捕捉变量var，[=]表示值传递方式捕捉所有父作用域的变量，[&var]表示引用传递捕捉变量var。[&]表示引用捕捉所有父作用域的变量。[this]表示值传递方式捕捉当前this指针。还可以进行组合，例如[=,&a,&b]表示引用传递方式捕捉a和b，其他变量以值传递方式捕捉。

默认情况下lambda函数总是一个const函数，mutable可以取消其常量性，使用时参数列表不可省略。

不需要返回值的时候也可以连同符号->一起省略。

c++11标准规定在块作用域以外的lambda函数捕捉列表必须为空，而在块作用域中的lambda函数仅能捕捉父作用域中的自动变量。

7.3.3 lambda与仿函数

在c++11之前，我们在STL中会用到一种特别的对象，称之为函数对象，或者仿函数functor，也就是重定义了成员函数operator()的一种自定义类型对象。在使用它的时候，在代码层面跟函数的使用一样，但本质却是一种对象。仿函数是编译器实现lambda的一种方式。现阶段，通常编译器会把lambda函数转化为一个仿函数对象。

7.3.4 lambda的基础使用

lambda可用于实现局部函数。

7.3.5 关于lambda的一些问题及有趣的实验

如果需要捕捉的值称为lambda函数的常量，通常需要使用按值传递的方式捕捉。反之，需要捕捉的值称为lambda函数运行时的变量，则应采用按引用方式进行捕捉。

lambda的类型并非简单的函数指针或者自定义类型，lambda的类型被定义为闭包的类，每个lambda表达式会产生一个闭包类型的临时对象（右值）。不过c++标准允许lambda表达式向函数指针的转换，前提是函数没有捕捉任何变量，且函数指针所示的函数原型，必须跟lambda函数有这相同的调用方式。

lambda函数的常量性及mutable关键字。现有c++11标准中lambda等价的是有常量成员函数operator()的仿函数，捕捉列表中的变量都会成为等价仿函数的成员变量，而常量成员函数中改变其值是不允许的，因而在按值捕捉的变量在没有声明为mutable的lambda函数中改变其会导致编译器报错。可以通过mutable修饰符消除其常量性，不过更推荐使用引用捕捉。

7.3.6 lambda与STL

当循环次数较多时，内联的lambda函数比函数指针性能好。函数指针应用范围相对狭小，特别是需要具备一些运行时才能决定的状态时，以前或许会使用仿函数，现在则可以选用lambda。

7.3.7 更多的一些关于lambda的讨论

在现有c++11中，lambda不是仿函数的完全替代者，这点很大程度上是由lambda的捕捉列表的限制造成的。仿函数可以被定义以后在不同的作用域范围内取得初始值，这使得仿函数天生具有跨作用域共享的特征。lambda函数被设计的目的，就是要就地书写，就地使用。