六、函数（二）

二、参数传递（续）

1、const形参和实参

       当形参有顶层const时，可传给它常量对象和非常量对象（顶层const：指针本身是一个常量；底层const：指针所指对象为常量） 

<span style="font-size:18px;"><span style="font-size:18px;">示例
void fcn(const int i)
{
	/*fcn能够读取i，但是不能向i写值*/
}</span></span>

可以使用非常量初始化一个底层const对象，反之不成立，同时一个普通的引用必须用同类型的对象初始化。不能把const对象、字面值或者需类型转换的对象传递给普通的引用形参，尽量使用常量引用。

2、数组形参

        数组有两个特殊的性质：不允许拷贝数组以及使用数组时（通常）会将其转换成指针。所以无法以值传递的方式使用数组形参（不允许拷贝），而给函数传递一个数组时，实际传递的是指向数组首元素的指针。

<span style="font-size:18px;">示例
//形式不同，但这三个函数等价，每个函数的唯一形参都是const int*类型
void print(const int*);
void print(const int[]);
void print(const int[10]);

int main()
{
	int i = 0, j[2] = { 0, 1 };
	print(&i);                 //&i的类型时int*
	print(j);                  //j转换成int*并指向就j[0]
	return 0;
}</span>

管理数组实参：

<span style="font-size:18px;">示例
void print(const int *beg, const int *end)
{
	//输出beg到end之间（不含end）的所有元素
	while (beg != end)
		cout << *beg++ << endl;//输出当前元素并将指针向前移动一个位置
}</span>

数组引用形参：形参可以是数组的引用，引用形参绑定到对应的实参，也即绑定到数组上。

<span style="font-size:18px;">示例：
//形参是数组的引用，维度是类型的一部分
//&arr两端的括弧不可少，arr是具有10个整数的整型数组的引用
//只能将函数作用于大小为10的数组
void print(int(&arr)[10])         
{                                 
	for (auto elem : arr)
		cout << elem << endl;
}</span>

3、main：处理命令行选项

main函数是向函数传递数组的一个典型例子：

示例
int main(int argc, char *argv[])
{
	/**/
}

其中第二个形参argv是一个数组，它的元素指向c风格字符串的指针，第一个形参argc表示数组中字符串的数量。当使用argv中的实参时，可选的实参要从argv[1]开始，argv[0]保存程序的名字或空字符串，而非用户输入。

4、含有可变形参的函数

       initializer_list形参：函数的实参数量未知但是全部实参类型都相同。