第六章 函数

主要内容

1. 函数基础
2. 参数传递
3. 返回类型和return语句
4. 函数重载
5. 特殊用途语言特性
6. 函数匹配
7. 函数指针
   本章主要介绍了C++中函数的相关特性，关键是参数传递中关于const引用的使用，以及函数重载部分关于重载的函数匹配的介绍，以及函数指针部分关于复杂的函数指针的定义和使用等。
   难点主要是函数重载的匹配，以及函数指针的定义形式。

需要掌握的内容

调用运算符是一对云括号，作用于一个表达式，表达式是函数或者指向函数的指针。

实参的求值顺序是没有明确规定的，编译器能以任意可行的顺序对实参求值。

在定义函数的时候形参名也是可选的，但是由于我们无法使用未命名的形参，所以形参一般都应该有个名字。但是这种有什么用？虽然可以编译通过。

int funcWithAnyoPara(int, int) {
    cout << "hehe" << endl;
    return 0;
}

函数返回类型

函数的返回类型不能是数组或函数类型，但是可以返回数组的指针或引用，也可以返回指向函数的指针，但是不能返回指针类型。

局部对象

名字有作用域，对象有生命周期，不是一个概念：
1. 名字的作用域是程序文本的一部分，名字在其中可见。
2. 对象的声明周期是程序执行过程中该对象存在的一段时间。
作用域是相对静态的，对象声明周期是动态的。

参数传递

参数传递分为：
1. 引用传递：引用形式
2. 值传递：指针形式也是值传递
虽然可以传递指针来修改实参，但是建议使用引用类型代替指针类型。

引用

使用引用避免拷贝，例如使用string参数时，如果拷贝的话会很消耗时间，直接使用引用即可，如果不需要修改形参的值，则将其声明为常量引用。

使用引用形参返回额外参数

修改这个引用形参来返回额外参数。

const形参和实参

顶层const作用于对象本身，所以const int i = 0； 是顶层const。当实参初始化形参时会忽略掉顶层的const，形参的顶层const被忽略掉了。当形参有顶层const时，传给它常量对象或非常量对象都是可以的。

但是这种忽略掉形参的顶层const会有意想不到的结果：

void fcn(const int i) {}
void fcn(int i) {}

这样的话两个函数是重复定义，因为const直接被忽略掉了，所以两个是一样的。
忽略的是形参的const而不是实参的const。

指针或引用形参与const

形参的初始化方式和变量的初始化方式是一样的，可以使用非常亮初始化一个底层const对象，但是反过来不行。同时一个普通引用必须用同类型的对象初始化。

int i = 42;
const int *cp = &i;
const int &r = i;
const int &r2 = 42;
int *p = cp;
int &r3 = r;
int &r4 = 42;
// 后面三个都是错误的

int i = 0;
const int ci = i;
string::size_type ctr = 0;

// void reset(int &i);
// void reset(int *i);
reset(&i);  // 正确
reset(&ci); //错误
reset(i); //正确
reset(ci); //错误 
reset(42); //错误
reset(ctr); //错误，类型不匹配。

常量引用实际上限制了实参的传入，因为非常量引用只能传入严格匹配的类型，而常量引用可以使用字面值，求值表达式或者需要转换的对象。所以常量引用更灵活一些。而非常量引用必须要类型完全匹配，double和int的类型转换都不行。

数组形参

数组的性质有不允许拷贝数组，使用数组时一般会将其转换成指针（哪些情况不会转换？decl