函数---

函数

---

函数基础

一个典型的函数定义包括：返回类型、函数名、由0个或多个形参组成的列表以及函数体。其中，形参以逗号隔开，形参的列表位于一对圆括号内。
通过调用运算符来执行函数。调用运算符的形式是一对圆括号，它作用于一个表达式，该表达式是函数或者指向函数的指针；圆括号内是一个用逗号隔开的实参列表，我们用实参初始化函数的姓参（实参是形参的初始值）。
函数返回类型不能是数组类型或者函数类型，但可以是指向数组或函数的指针。
函数声明：函数三要素（返回类型、函数名、形参类型）描述了函数的接口，说明了函数的全部信息。函数声明也称作函数原型。建议函数在头文件中声明，在原文件中定义。

// 函数声明
void print(vector<int>::const_iterator beg,
		   vector<int>::const_iterator end);

参数传递

形参的类型决定了形参和实参交互的方式。如果形参是引用类型，它将绑定到对应的实参上；否则将实参的值拷贝后赋给形参。
当形参是引用类型时，我们说它对应的实参被引用传递或者函数被传引用调用；引用形参是它对应的实参的别名。
当实参的值被拷贝给形参时，形参和实参是两个相互独立的对象。我们说这样的实参被值传递或者函数被传值调用。

使用引用可以避免拷贝，特别是拷贝大的类类型对象或者容器对象比较低效，甚至有的类类型根本就不支持拷贝操作。如果函数无须改变引用形参的值，最好将其声明为常量引用。

bool isShorter(const string &s1, const string &s2)
{
	return s1.size() < s2.size()
}

数组形参

数组有两个特殊的性质：不允许拷贝数组以及使用数组时通常将其转换成指针。因为不能拷贝数组，所以我们无法以值传递的方式使用数组参数。因为数组会被转换成指针，所以当我们为函数传递一个数组时，实际上传递的是指向该数组首元素的指针。
因为数组是以指针的形式传递函数的，所以一开始函数就不知道数组的确切尺寸，调用者应该为此提供一些额外的信息。
管理数组实参的三种方式：

1. 要求数组本身包含一个结束标记；

void print(const char *cp)
{
	if (cp)
		while (*cp)
			cout << *cp++;
}

2. 传递指向数组首元素和尾元素的指针；

void print(const int *beg, const int *end)
{
	while (beg != end)
		cout << *beg++ << endl;
}

3. 专门定义一个表示数组大小的形参。

void print(const int ia[], size_t size)
{
	for (size_t i = 0; i != size; ++i){
		cout << ia[i] << endl;
	}
}

数组形参与const：当函数不需要对数组元素执行写操作的时候，数组形参应该是指向const的指针。只有当函数确实要改变元素值的时候，才把形参定义成指向非常量的指针。
数组引用形参

void print(int (&arr)[10])
{
	for (auto elem : arr)
		cout << elem << endl;
}

// &arr两端的括号必不可少
f(int &arr[10])    // 将arr声明成了引用的数组
f(int (&arr)[10])  // arr是具有10个整数的整型数组的引用

// *matrix两端的括号必不可少
int *matrix[10]    // 10个指针构成的数组
int (*matrix)[10]  // 指向含有10个整数的数组的指针

返回类型与return语句

只要函数的返回类型不是void，则该函数内的每一条return语句必须返回一个值。return语句返回值的类型必须与函数的返回类型相同，或者能隐式地转换成函数的返回类型。但有个例外，我们允许main函数没有return语句就结束。如果控制到达了main函数的结尾处而且没有return语句，编译器将隐式地插入一条返回0的return语句。
值是如何被返回的：返回的值用于初始化调用点的一个临时量，该临时量就是函数调用的结果。如果函数返回引用，则该引用仅是它所引对象的一个别名。