C++ Primer 笔记——第六章 函数

第六章 函数

6.1 函数基础

1. 函数的调用完成两项工作：一是用实参初始化形参，二是将控制权转移给被调用函数。
2. 函数最外层作用域中的局部变量也不能使用与函数形参一样的名字。
3. 形参和函数体内定义的变量都是局部变量。普通的局部变量只存在于其定义所在块的执行时间内，内置类型的未初始化的局部变量将产生未定义的值。
4. 局部变量在程序第一次经过定义语句时初始化，直到整个程序终止才销毁。

6.2 参数传递

1. 如果形参是引用类型，那么它将绑定到对应的实参上，他对应的实参被引用传递，即形参绑定了实参。
2. 如果函数无需改变引用形参的值，最好将其声明为常量引用。
3. 可以使用引用形参返回额外信息，达到一个函数同时返回多个值的效果。
4. 使用引用可以避免拷贝（拷贝大的类型对象或者容器对象比较低效，甚至有些类型不支持拷贝）
5. 允许定义若干函数名相同的函数，但不同的函数的形参列表应该有明显的区别。
6. 数组不能被拷贝，所以无法以值的形式传递数组参数，数组会直接转换成指针。在形参中数组的维度不具有强制力。
7. 数组的声明中，括号的影响
   cpp
int &arr[10]; //arr为引用的数组
int (&arr)[10]; //arr是具有10个整数的一个数组的引用
int *arr[10]; // arr是由10个指针构成的数组
int ( * arr)[10]; //arr是含有10个整数的数组的指针。

8. 使用 argv 中的实参时，可选的实参从 argv[1] 开始， argv[0] 保存的是程序名。
9. initializer_list 对象中的元素永远是常量值。

6.3 返回类型和 return 语句

1. 函数也可以返回引用，该引用只是它所引对象的一个别名。不要返回局部对象的引用或指针。
2. 调用一个返回引用的函数得到左值，可以像使用其他左值一样来使用改调用。
3. C++11 中，函数可以返回花括号包围的值的列表。
4. 使用尾置返回类型来简化函数声明。
   cpp
auto func(int i) -> int ( * )[10];
int (* func(int i))[10];

   以上两条声明等价。

6.4 函数重载

1. 一个拥有顶层 const 的形参无法和另一个没有顶层 const 的形参区分开来。

6.5 特殊用途语言特性

1. 一旦某个形参被赋予了默认值，它后面的所有形参都必须有默认值。函数调用时，实参按位置解析，只能省略尾部的实参。
2. 函数的后续声明只能为之前没有默认值的形参添加默认实参。
3. 内联说明只是向编译器发出一个请求，编译器可以选择忽略这个请求。
4. constexpr 函数要求函数的返回类型以及所有形参的类型都是字面值类型，且函数体中有且只有一条 return 语句。

6.6 函数匹配

1. 所有算术类型转换的级别都一样，这方面容易出现二义性调用。

6.7 函数指针

1. 当把函数名作为一个值使用时，该函数自动地转换成指针。
2. 函数的形参可以实指向函数的指针。

---