第6章 函数

6.1 函数基础

6.1.1 局部对象

1. 函数参数：实参是函数中形参的初始值，存在对应关系，但并没有规定实参的求值顺序。
2. 局部静态对象：不同于只存在于块执行期间的自动对象，局部静态对象直到程序终止才被销毁；没有显式初始值时会执行值初始化。

6.2.4 数组形参

1. 数组参数：不允许拷贝数组以及使用数组时（通常）会将其转换成指针。大小不同的数组是不同类型；若形参是信用，数组不会转换为指针。
2. 传多维数组：数组第二维（以及后面所有维度）的大小都是数组类型的一部分，不能省略。

6.2.6 含有可变形参的函数

1. initializer_list：实参数量未知但类型都相同，initializer_list可作形参；提供的操作类似容器，但对象中的元素永远是常量。
2. 省略符形参：出现在形参列表的最后一个位置，形式为foo(…)或foo(t,…)；大多类类型对象传递给省略符形参时无法正常拷贝。

6.3返回类型和return语句

6.3.2 有返回值的函数

1. 返回引用：不要返回局部对象的引用或指针，调用一个返回引用的函数得到左值。
2. 列表初始化返回值：函数可以返回花括号包围的值的列表；若返回为内置类型，则花括号内至多一个值，而且所占空间不应大于目标类型空间。
3. main的返回值：控制到了main的结尾仍无return语句，编译器隐式插入return 0;；头文件cstdlib中定义了预处理变量EXIT_FAILURE和EXIT_SUCCESS表示成败。

6.3.3 返回数组指针

1. 因为数组不能被拷贝，所以函数不能返回数组。不过，函数可以返回数组的指针或引用。
2. 返回数组指针：形如Type (*function(parameter_list))[dimension]，函数返回类型是指向大小为dimension的数组的指针。
   int *p1[10];//p1是一个含有10个指针的数组
   int (*p2)[10];//p2是一个指针，它指向含有10个整数的数组
3. 尾置返回类型：形如auto function(parameter_list) -> Type (*)[dimension];
   auto func(int i) -> int(*)[10]
4. decltype确定返回类型：把左值转换为引用；由于decltype不负责把数组或函数类型转换为对应指针，所以函数声明时要加一个*。

6.4 函数重载

1. const_cast和重载：常用const_cast修改const参数属性的性质，将const和非const版本的重载函数关联。

6.4.1 重载与作用域

1. 重载与作用域：名字查找发生在类型检查前，所以在不同作用域无法重载函数名，且内层将隐藏外层声明的同名函数。

6.5 特殊用途语言特性

6.5.1 默认实参

1. 形参默认值：被赋予了默认值的形参，后面所有形参都必须有默认值；在给定的作用域中一个形参只能被赋予一次默认值；可多次声明函数给不同形参赋予默认值

6.5.2 内联函数和constexpr函数

1. 内联函数：一般只有当函数规模小、流程直接、无递归时，内联函数的请求才会被编译器接受。
2. constexpr函数：能用于常量表达式的函数，但返回值可以是非常量；返回和形参类型都是字面值类型，函数只执行一句return；被隐式指定为内联函数；

6.5.3 调试帮助

1. 预处理宏assert：根据提供的表达式判断是否要输出错误信息并终止程序，可定义预处理变量NDEBUG禁用assert的效果
2. NDEBUG：可在#ifndef NDEBUG和#endif之间编写自己的调试代码；有5个编译器预定义的名字变量func/FILE/LINE/TIME/DATE，用于输出调试信息。

6.6 函数匹配

1. 函数匹配：先选择在调用点可用的同名候选函数，再找到参数数量相等且类型相同或可强制转换的可行函数，再寻找其中最佳匹配的函数
2. 最佳匹配：每个实参的匹配都不劣于其他可行函数，且至少有一个优于其他；若找不到最佳匹配则报二义性错误。
3. 实参类型转化优先级：精确匹配>const转换>类型提升>算术类型或指针转换>类类型转换。

6.7 函数指针

1. 函数指针：声明指向一个函数的指针，只需要用指针替换函数名；将函数名当作值使用时会自动转换成指针。
   bool (*pf)(const string &, const string &)
   pf = lengthcompare //pf 指向名为lengthcompare 的函数
   pf = &lenthcompare //等价的赋值语句：取地址符可选
   调用：
   bool b1 =pf("hello","world")
   bool b2 = (*pf)("hello","world")
2. 重载函数的指针：指针类型必须与重载函数中的某一个精确匹配。
3. 函数指针形参：函数声明中，若形参是函数类型，则它会自动转换成指向函数的指针