【C++ Primer】函数

七、函数

1. 参数传递

形参的初始化与变量的初始化一样：如果形参具有非引用类型，则赋值实参的值，如果形参为引用类型，则它只是实参的别名。

指针形参：const int * 类型的可用int *及const int*调用，而int *则只能用int *调用；就如同变量初始化一样

引用形参：非const 引用只能调用非const引用，传递右值也不可以：

int incr(int &val) 不能用 incr(v1 + v2)调用，原因同样可以参考变量初始化。、

void ptr(int *&vl) : 指向指针的引用。 同样可以从右向左理解。

与vector相关的参数，函数一般使用vector的迭代器来传递容器，相当于传进来指针。

数组形参：

因为数组无法复制，因此数组会被当作指针进行处理，

一维数组：  void p(int *)  void p(int[] ) void p(int[10]（编译器检查时不会进行长度检查，只要是int *类型就能进行传递）) ，这三种的形参类型实质都是int *，

通过引用传递数组： void p(int (&arr)[10] ) 此时，数组大小成为参数的一部分，编译器会进行检查。

int (&arr)[10]  , arr是一个引用，指向一个数组；int &arr[10] ， arr是一个数组名，这个数组存放十个引用；注意* & 的优先级都比较低

多维数组： void p(int (*matrix)[10]  /  int matrix[][10], int rowsize) ： 除了第一维之外都必须明确指出。

多维数组的引用传递  ：  void p(int (&r)[10][10])

保障数组处于界内：1、C风格字符串；2、传入开始结束标志；3、显示传递数组大小  

含有可变形参的函数： void foo(parm_list, ...) void foo(...)

千万不要返回局部对象的引用和指针；

默认实参：默认实参可以是任何适当类型的表达式，默认实参后面的参数应该都为默认设置的

string screenInit(string::size_type = 24, string::size_type= 80, char backgroud='')

下面调用均为正确：  screenInit(); screenInit(66); screenInit(66,256);

既可以在函数声明也可以在函数定义中指定默认实参。  但是，在一个文件中，只能为一个形参指定默认实参一次。

static局部变量在程序执行第一次通过定义初始化，在程序结束前都不会被撤销。

内联函数： 内联函数的定义应该放入头文件中，当内联函数进行修改时，所有使用了该头文件的源文件都必须重新编译。编译器隐式地将类内定义的成员函数当作内联函数；

2. 类函数

在成员函数后加上const，变成常量成员函数，隐含的this指针则是一个指向const xx* 类型的指针。

const对象、指针、引用只能调用其const成员函数，调用非const成员函数，将是错误的。（比较容易理解，因为非const成员函数有可能会改变对象内某些成员变量的值）

构造函数的初始化列表： A() : a(0), b("hello") {}

合成的默认构造函数： 没有显式定义任何构造函数，会依据变量初始化的规则初始化类中的所有成员。

如果对象在全局作用域中定义（不在任何函数中）或者为静态局部变量，则对象的内置类型成员将被初始化为0。

函数声明中的某类型的变量名可以省略。

重载函数：具有相同名字而形参表不同，不是返回类型不同。不能定义参数相同、返回类型不同的同名函数，但可以定义参数不同、返回类型也不同的同名函数。

重载函数的匹配策略，逐层递减：如果有多个最佳匹配出现，编译器会出错

1. 精确匹配，实参与形参类型相同。

2. 通过类型提升的匹配： char、 unsigned char、 short、unsigned short等提升为int

3. 通过标准转换实现的匹配： bool转换为int等

4. 通过类类型转换

当形参以副本传递时，不能基于形参是否为const来实现重载：

void A(int&) 与 void A(const int&)是重载函数

void A(int *)与 void A(const int *)是重载函数

void A(const int)与void A(int)不是重载函数。

void A(int *)与void A(int * const) 不是重载函数。

2. 函数指针

由返回类型以及形参表确定，与函数名无关

函数指针：bool (*cmpFn) (const string &a , const string &b)

返回bool指针的函数：   bool *cmpFn (const string &a , const string &b)

typedef进行操作：

typedef bool (*cmpFn) (const string &a , const string &b)；

初始化：只能通过同类型的函数或函数指针或0值常量表达式来进行初始化或赋值

cmpFn pf1 = 0; 

bool lengthcomp (const string &a , const string &b)；

comFn pf2 = lengthcomp/& lengthcomp 同样的效果；调用时可以解引用也可以不解引用；

函数指针形参： 可以使用函数类型，也可以使用函数指针：

void A(bool (const string &a , const string &b))

void A(bool  (*)(const string &a , const string &b))

返回值是函数指针： int (*ff(int)) (int* ， int)，使用typedef语义更清楚！

指向重载函数的函数指针必须与重载函数的一个版本精确匹配！