1、值与右值:
左值可出现在赋值语句的左边,如:变量名、解除引用的指针;右值可出现在赋值表达式右边,但不能对其应用地址运算符的值,包括字面常量、x+y表达式等。
2、函数形参为左右引用可接受的实参类型:(例见复习题18.2)
1)、当形参为const类型的左值引用时可接受左值和右值类型的实参,此时的形参将被分别初始化为左值和右值的临时拷贝;
2)、当形参为非const类型的左值引用时,可接受左值引用参数,但不能接受右值实参
3)、当形参为右值引用时,只能接受右值引用实参,不能接受左值实参,右值引用形参只能为非const类型。
3、移动语义和右值引用
移动语义指直接将数据的所有权进行转让,将数据留在原来的地方,只改变其所有权的持有者。
一般采用右值引用和移动构造函数、移动赋值运算符结合的方式来处理大量数据的所有权转让问题,其中右值引用作为移动语义的标志告知编译器此时需要移动语义,而移动构造函数和移动赋值运算符用于不同情况下移动语义的实现。
4、Lambda函数(表达式)
[&count](int x){count+=(x%13)==0};[&count]让lambda能够在代码中使用count,若不使用可直接用[],若有多个自动变量可使用[&]使得能在代码中使用所有的自动变量,(int x)表示形参,{}中的内容为函数代码,该函数没有返回值,当{}仅有一条语句时将自动推断返回值类型。
5、包装器
头文件functional中定义,可用于对参数为函数的模板函数不同的函数将使用不同的模板实例,当多个函数的调用特征标(返回值和参数类型)相同时,可采用包装器使对个调用特征标相同的函数使用一个实例化模板,减少了工作量。
6、可变参数模板
模板类型声明中使用元运算符(省略号表示)和模板参数包Args,函数参数中使用元运算符和函数参数包args,实现多种参数类型的调用,当调用时同时提供多个实参时将进行递归调用,每次调用减少一个参数,模板函数参数包括每次调用需要的一个参数,与剩余的参数包,需要指定递归终止函数(一个参数版本的函数)编程练习18.3。