【C++】【C++ Primer】6-函数

1 函数基础

1.1 调用运算符

调用运算符是一对圆括号，我们通过调用运算符来执行函数。调用运算符作用于一个表达式，该表达式是函数或指向函数的指针。

1.2 调用函数

函数的调用完成两项工作：

• 用实参初始化函数对应的形参。
• 将控制权转移给被调函数。此时，主调函数执行暂时中断，被调函数开始执行。

函数执行到return语句时结束执行过程。return语句也完成两项工作：

• 返回return语句中的值。
• 将控制权从被调函数转移回主调函数。

1.3 形参和实参

实参是形参的初始值。实参的数量必须和形参数量一致。实参的类型必须和形参类型匹配，或能转换成形参类型。

实参的求值顺序不固定，编译器可能以任意可行的顺序对实参求值。

1.4 函数返回类型

大多数类型都可以作为函数的返回类型。函数的返回类型不能是数组类型或函数类型，但可以是指向数组或函数的指针。

1.5 局部对象

1.5.1 作用域和生命周期

C++中，名字有作用域，对象有生命周期。

• 名字的作用域是程序文本的一部分，名字在其中可见。
• 对象的生命周期是程序执行过程中该对象存在的一段时间。

1.5.2 局部变量

形参和定义在块中的变量统称为局部变量。

所谓的块不局限于函数体，每对花括号都是一个块。局部变量的生命周期依赖于定义的方式，最普通的局部变量仅在其定义的作用域中可用。

int main()
{
	int i = 1;
	{
		int j = 2;    // j的作用域是这个块
	}
	cout << i + j << endl;    // j已经被销毁，编译时会报错

	return 0;
}

如果局部变量和全局变量同名，则局部变量会覆盖全局变量。

int i = 10;

int main()
{
	int i = 1;
	int j = 2;
	cout << i + j << endl;    // 输出结果为3

	return 0;
}

1.5.3 自动对象

2 参数传递

3 返回类型和return语句

4 函数重载

5 特殊用途语言特性

6 函数匹配

7 函数指针

7.1 函数指针的基本理解

函数指针指向的是函数而非对象。

函数的类型由它的返回类型和形参类型决定，与函数名无关。譬如以下函数，其类型为bool (const string &, const string &s)。

bool lengthCompare(const string &, const string &s);

想声明一个指向lengthCompare函数的指针，只要用指针替换函数名即可：

bool (*pf)(const string &, const string &s);    // 未初始化

上面的表达式要这样理解：pf前面有个*，说明pf是指针。pf后面有形参列表，说明pf指向函数。最前面的bool表示该函数的返回类型是bool。注意，*pf两端的括号不能少，否则表达式变成下面的形式，pf就成了返回类型为bool *的函数。

bool *pf(const string &, const string &);

7.2 使用函数指针

将函数名作为一个值使用时，该函数自动转换为指针。取地址符是可选的。以下两条语句等价：

bool *pf(const string &, const string &);
pf = lengthCompare;
pf = &lengthCompare;

可以直接用指向函数的指针调用该函数，无需提前解引用指针。以下三条语句等价：

bool *pf(const string &, const string &);
bool b1 = pf("hello", "goodbye");
bool b2 = (*pf)("hello", "goodbye");
bool b3 = lengthCompare("hello", "goodbye");

指向不同函数类型的指针间不存在转换规则，必须精确匹配。

bool *pf(const string &, const string &);
string::size_type sumLength(const string&, const string&);
bool cstringCompare(const char *, const char *);
bool lengthCompare(const string &, const string &s);

pf = 0;                 // 正确。pf不指向任何函数
pf = sumLength;         // 错误。返回类型不匹配
pf = cstringCompare;    // 错误。形参类型不匹配
pf = lengthCompare;     // 正确。函数和指针的类型精确匹配

可以为函数指针赋nullptr或值为0的整型常量表达式，表示该指针没有指向任何函数。

bool *pf(const string &, const string &);
pf = 0;                 // 正确。pf不指向任何函数

7.3 重载函数的指针

使用重载函数时，上下文必须清晰地界定到底使用哪个函数。如果定义指向重载函数的指针，指针类型必须与重载函数中的某一个精确匹配。编译器将通过指针类型决定选用哪个函数。

void ff(int *);
void ff(unsigned int);
void (*pf1)(unsigned int) = ff;    // pf1指向ff(unsigned int)
void (*pf2)(int) = ff;             // 错误。参数列表不匹配
double (*pf3)(int *) = ff;         // 错误，返回类型不匹配

7.4 函数指针形参

不能定义函数类型的形参，但形参可以是指向函数的指针。可以直接将函数作为实参使用，它会自动转换成指针。

// 第三个形参是函数类型，它会自动转换成指向函数的指针
void useBigger(const string &s1, const string &s2,
				bool pf(const string &, const string &));
// 等价的声明：显式地将形参定义为指向函数的指针
void useBigger(const string &s1, const string &s2,
				bool (*pf)(const string &, const string &));
// 自动将函数lengthCompare转换成指向该函数的指针
useBigger(s1, s2, lengthCompare);

直接使用函数指针类型较为繁琐，可以借助类型别名和decltype来简化使用函数指针的代码。需要注意的是，decltype返回函数类型，此时不会将函数类型自动转换成指针类型，需要在结果前面加上*才能得到指针。

// Func和Func2是函数类型
typedef bool Func(const string &, const string &);
typedef decltype(lengthCompare) Func2;

// FuncP和FuncP2是指向函数的指针
typedef (bool) (*FuncP)(const string &, const string &);
typedef decltype(lengthCompare) *FuncP2;

// useBigger的等价声明，其中使用了类型别名
void useBigger(const string&, const string&, Func);    // 编译器自动将Func表示的函数类型转换成指针
void useBigger(const string&, const string&, FuncP2);

7.5 返回指向函数的指针

不能返回函数，但可以返回指向函数的指针。编译器不会自动将函数返回类型当成对应的指针类型吹了，因此必须将返回类型写成指针形式。

7.5.1 直接声明

直接声明的格式如下：

int (*f1(int))(int *, int);

按照由内向外的顺序阅读这条声明语句。f1有形参列表，所以f1是个函数。f1前面有*，所以f1返回一个指针。这个指针本身也包含形参列表，所以指针指向一个函数，该函数的返回类型为int。

7.5.2 使用类型别名声明

声明返回函数指针的函数，最简单的办法是使用类型别名。和函数类型的形参不同，返回类型不会自动转换成指针，必须显式地将返回类型指定为指针。

using F = int(int *, int);        // F是函数类型，不是指针
using PF = int(*)(int *, int);    // PF是指针类型

PF f1(int);    // 正确。PF是指向函数的指针，f1返回指向函数的指针
F f1(int);     // 错误。F是函数类型，f1不能返回函数类型
F *f1(int);    // 正确。显式地指定返回类型为函数指针

7.5.3 使用位置返回类型声明

可以使用尾置返回类型的方式声明返回函数指针的函数：

auto f1(int) -> int (*)(int*, int);

7.6 将auto和decltype用于函数指针类型

如果明确知道返回的函数是哪一个，就可以使用decltype简化书写函数指针返回类型的过程。需要注意的是，当我们将decltype作用于某个函数时，它返回函数类型而非指针类型。因此，需要显式地加上*以表明我们要返回指针，而非函数本身。

string::size_type sumLength(const string &, const string &);
string::size_type lagerLength(const string &, const string &);

decltype(sumLength) *getFcn(const string &);