参考资料：
- 《C++ Primer》第5版
- 《C++ Primer 习题集》第5版
6.1 函数基础（P182）
典型的函数定义包括：返回类型（ return type ）、函数名字、0 个或多个形参（ parameter ）组成的列表、函数体。其中函数体为语句块。
我们通过调用运算符执行函数。调用运算符的形式是一对圆括号，作用于函数或指向函数的指针，圆括号之内是实参(argument)列表，实参用来初始化函数的形参。调用表达式结果的类型就是函数的返回类型。
调用函数
函数调用完成两项工作：
- 用实参初始化函数的形参。
- 将控制权移交到被调用函数。
形参和实参
实参和形参一一对应，但没有规定求值顺序。
实参的类型必须与对应的形参匹配，实参的数量和形参一致。
函数的形参列表
形参列表可以为空，但不能省略：
void f1() { /* ... */ }
void f2(void) { /* ... */ }
每个形参都是含有一个声明符的声明，函数最外层作用域的局部变量不能和函数形参同名。
形参名不是必须的，如果某个形参在函数中不会被用到，可以不对其命名。
函数的返回类型
函数的返回类型不可以是数组或函数（因为这两种类型不支持拷贝操作？），但可以是指向数组或函数的指针。
6.1.1 局部对象（P184）
- 名字的作用域是程序文本的一部分，名字在其中可见。
- 对象的生命周期是程序执行过程中该对象存在的一段时间。
形参和函数体内部定义的变量称为局部变量（local variable），这些变量只在函数内部可见，且会隐藏外层作用域中的同名变量。
在所有函数体之外定义的对象在程序启动时被创建，直到程序结束才会销毁。
自动对象
我们把只存在于块执行期间的对象称为自动对象（automatic object）。
局部静态对象
如果想令局部变量的生命周期贯穿函数调用及之后的时间，可以使用 static 将其定义成局部静态对象（local static object）。局部静态对象在程序第一次经过其定义语句时初始化，直到程序结束才销毁：
int count_calls(){
static int cnt = 0;
return ++cnt;
}
如果局部静态变量没有显式的初始值，将执行值初始化。
6.1.2 函数声明（P186）
函数只能定义一次，但可以声明很多次。函数的声明和定义非常相似，区别在于无须函数体也无须形参的名字，用分号代替即可。
函数最好在头文件中声明，在源文件中定义。
6.1.3 分离式编译（P186）
C++ 语言支持分离式编译，即把程序分隔到多个文件中，每个文件独立编译。
编译和链接多个源文件
6.2 参数传递（P187）
形参的初始化机制和变量初始化一样，如果形参是引用类型，它将绑定到对应的实参上，否则将实参的值拷贝给形参。
6.2.1 传值参数（P187）
指针形参
指针形参初始化时和其他非引用类型一样执行拷贝操作，拷贝之后两个不同的指针指向同一个对象。
在 C++ 中，建议使用引用形参代替指针形参
6.2.2 传引用参数（P188）
使用引用避免拷贝
当某些对象拷贝效率较低或不支持拷贝时，可以使用引用形参访问该类的对象。如果函数无需改变引用形参的值，最好将其声明为常量引用。
使用引用形参返回额外信息
6.2.3 const形参和实参（P190）
当形参具有顶层 const 属性时，传入常量还是非常量都是可以的，换句话说，形参中的顶层 const 属性在初始化时被忽略了。
C++ 允许我们定义若干相同名字的函数，前提是这些函数应有不同的形参列表：
void func(const int ci);
void func(int i); // 错误
指针或引用形参与const
尽量使用常量引用
把函数不会改变的形参定义成普通引用是一种常见的错误，这样做会让人误认为函数可以修改这个对应实参的值，同时还会限制能接受的实参类型（不能把 const 对象、字面值、需要类型转换的对象传递给普通引用形参上）。
6.2.4 数组形参（P193）
由于数组不支持拷贝，所以数组不能作为函数的返回类型；由于数组名通常会转换成指针，所以我们向函数传递一个数组时，实际上传递的是指向首元素的指针。
尽管不能通过值传递的方式传递数组，但 C++ 允许我们把形参写成数组形式：
// 下面三个函数是等价的，唯一的形参都是const int*
void print(const int*);
void print(const int[]);
void print(const int[10]); // 这里的10其实没啥用
无论 print 函数使用上述的哪种方式声明，编译器只检查传入的参数是否是 const int* 。也就是说，将数组当作实参传递给函数时，会自动转化为指向首元素的指针。
使用标记指定数组长度
数组本身包含一个结束标记，如 C 风格字符串。
使用标准库规范
利用 begin() 和 end() 传递数组的首元素指针和尾后指针。
显式传递一个表示数组大小的形参
数组形参和const
当不需要改变数组元素时，应该将数组形参设为指向 const 的指针。
数组引用形参
当形参为数组的引用时，数组的维度就成了类型的一部分：
void print(int (&arr)[10]); // 限制实参必须为维度为10的数组
传递多维数组
由于 C++ 中多维数组实际上是数组的数组，所以多维数组除第一维外均不可以忽略：
void print(int (*matrix)[10]);
void print(int matrix[][10]); // 因为编译器会忽略第一个维度，所以声明时最好不写
6.2.5 main：处理命令行选项（P196）
int main(int argc, char *argv[]) { ... }
argc 表示 argv 数组中字符串的数量。当实参传递给 main 函数后，argv 的第一个元素指向空串或程序的名字，接下来的元素依次为命令行提供的实参，最后一个指针的下一个元素为 0 。如命令：
prog -d -o ofile data0
argv 数组中的内容为：
argv[0] = "prog"; // 程序名，也可能是空串
argv[1] = "-d"; // 实参实际上argv[1]开始
argv[2] = "-o";
argv[3] = "ofile";
argv[4] = "data0";
argv[5] = 0;
6.2.6 含有可变形参的函数（P197）
initializer_list实参
如果所有实参类型相同，但数量不固定，我们可以使用名为 initializer_list 的标准库类型作为形参。initializer_list 定义在同名头文件中
initializer_list 中的元素永远是常量。
void error_msg(initializer_list<string> il){
for(auto beg = il.begin();beg!=il.end();++beg){
cout << *beg << ' ';
}
cout << endl;
}
// 调用方式
error_msg({"functionX", expected, actual});
省略符形参
省略符形参是为了便于 C++ 程序访问某些 C代码而设置的，省略符只能出现在形参列表的最后一个位置：
void foo(pram_list, ...);
void foo(...);
6.3 返回类型和return语句（P199）
return;
return expression;
6.3.1 无返回值函数（P200）
没有返回值的语句只能用于返回值为 void 的函数中。返回值为 void 的函数最后一句后面会隐式执行 return 。
返回值为 void 的函数也能返回使用第二种类型的 return 语句，但 expression 必须为另一个返回 void 的函数。
6.3.2 有返回值函数（P200）
在含有
return语句的循环后面也应该有一条return语句。如果没有的话该程序就是错误的，而许多编译器无法发现这个错误。
值是如何被返回的
返回的值用于初始化调用点的一个临时量。
返回值也可以是引用类型：
const string &shorterString(const string s1, const string s2){
return s1.size() <= s2.size() ? s1 : s2;
}
不要返回局部对象的引用或指针
函数完成后，它所占用的空间也会被释放掉。
返回类类型的函数和调用运算符
调用运算符的优先级和点运算符和箭头运算符相同，满足左结合律。
引用返回左值
函数的返回类型决定函数调用是否为左值，调用一个返回引用的函数得到左值，其他返回类型得到右值。
列表初始化返回值
C++11 规定，函数可以返回花括号包围的值的列表。如果列表为空，临时量执行值初始化。
vector<string> example{
return {'hello', 'world'};
}
主函数main的返回值
main 函数是唯一返回类型不是 void 但可以没有 return 语句的函数，编译可以隐式插入一条返回 0 的 return 语句。
main 函数返回 0 表示执行成功，其他值表示执行失败。cstdlib 头文件定义了 EXIT_FALLURE 和 EXIT_SUCCESS 两个预处理变量，用来表示 main 函数执行的失败与成功。
递归
main 函数不能调用自己。
6.3.3 返回数组指针（P205）
虽然函数不能返回数组，但可以返回数组的指针或引用：
typedef int arrT[10]; // arrT是含有是个整数的数组类型
arrT* func(int i); // 使用类型别名可以简化表达式
func 函数接受一个 int 实参，返回一个指向包含 10 个 int 的数组的指针。
声明一个返回数组指针的函数
如果在声明 func 函数时不想使用类型别名，则可以按照如下方式声明：
int (*func(int i))[10];
数组的维度必须在名字之后，而函数的形参列表应该紧跟在函数名字后面，所以数组维度要写在形参列表后面；(*func(int i)) 外侧的括号不能省略，否则函数的返回类型将是指针的数组，这显然是不合法的。
使用尾置返回类型
在 C++11 新标准中，可以使用尾置返回类型简化 func 的声明：
auto func(int i) -> int(*)[10];
任何函数都可以使用尾置返回，为了表示函数真正的返回类型在形参列表之后，我们在本应出现返回类型的地方放置一个 auto 。
使用decltype
int arr[10] = {};
decltype(arr) *func(int i);
