函数的形参为函数提供了已命名的局部存储空间,它是在函数的形参表中定义的,并由调用函数时传递给函数的实参初始化,而形参的
初始化与变量的初始化一样,如果形参具有非引用类型,则复制实参的值,如果形参为引用类型,则它只是实参的别名,具体分析如下:
1.非引用形参
普通的非引用类型的参数通过复制对应的实参实现初始化,而当实参副本初始化形参时,函数并没有访问所传递的实参本身,因此这不会
改变实参的值,例如:
int fun(int v1,int v2)
{
while(v2)
{
int temp=v2;
v2=v1%v2;
v1=temp;
}
return v1;
}
while循环体虽然修改了v1和v2的值,但是这些改变仅限于局部参数,而对调用fun()函数使用的实参没有任何影响,而一旦函数执行结束,
这些局部参数(局部变量)的值也就没有了也就是说,假如我们调用了函数:fun(a,b) 则a和b的值不受fun()执行的赋值修改的影响.
2.指针形参
与其他非引用类型的形参一样,如果函数的形参是指针,那么此时也将复制实参指针,所以,该类形参的任何改变也仅是作用于局部副本,不过
由于指针类型与普通变量的差异,在操作上也有点不同,指针实参的局部副本虽然不会改变主调函数使用的实参指针值,但是,如果函数形参是
非const类型的指针时,则函数可以通过修改指针所指向对象的值来扩大它的影响力。
例如:
void reset(int *ptr)
{
*ip=0;
ip=0;
}
调用reset()函数后,实参依旧保持原来的值,也就是说它还是指向原来的地方,不过,它所指向的那个地方的对象的值现在变为了0.
如果需要保护指针所指向的值,则可以将形参定义为指向const对象的指针,如下:
void fun(const int *ptr)
{
...................................
}
此时,我们即可以用int *也可以用const int *类型的实参来调用fun()函数,但是仅可以将int *类型的实参传递给reset()函数
3.const形参
如果函数使用的是非引用的非const形参,既然传递的只是实参的副本,当然既可以给该函数传递const实参也可以传递非const形参,如果
函数使用的是非引用的const类型,如:
void fun(const int i){
..............................
}
则在函数中,我们不可以修改实参的局部副本,不过,由于实参仍然是以副本的形式传递的,因此传递给fun()函数的既可以是const
对象也可以是非const对象
4.引用形参
与所有引用一样,引用形参将直接关联到其所绑定的对象,作为实参的别名,而非仅仅是这些对象的副本,因此,我们可以在实际运用中
通过引用形参让函数修改实参的值,这可以弥补函数只能返回单个值的缺陷,在函数需要返回的值不止一个时,我们可以通过传递额外的
引用形参来解决该问题。此外,我们还可以利用const引用来避免大型数据的复制,提供效率的同时,也可以保护所指向的对象。
如果函数具有普通的非const引用形参,则显然是不能通过const对象进行调用的,因为此时函数可以修改传递进来的参数,这样就违背了
实参的const特性,其实,在这个问题的处理上,C++显得更为严格,也就是说,非const引用形参只能与完全同类型的非const对象所关
联.
5.传递指向指针的引用
void fun(int *&v1,int *&v2)
{
int *temp=v2;
v2=v1;
v1=temp;
}
首先对于形参 int *&v1 我们可以这样理解,从右至左:v1是一个引用,它与指向int型对象的指针相关联,换句话说,v1只是传递
进fun()函数的任意指针的别名,因此,我们可以通过调用该函数来分别改变他们所指向对象的值。
6.数组形参
有三种方式就可以指定数组的形参:
void fun1(int *)
void fun2(int [])
void fun3(int [10])
这三种方式都是等价的,形参都是int*,这我们可以这样理解:使用数组名字时,数组名会自动转换为指向其第一个元素的指针,通常,将
数组形参直接定义为指针比使用数组语法定义更好,因为此时函数操作的是指向数组元素的指针,而不是数组本身,此外,编译器会忽略
为任何数组形参指定的长度,但是往往因为数组越界问题而导致运行失败。
7通过引用传递数组
大部分情况下,数组以普通的非引用类型传递时,数组会悄悄地转换为指针,因此,此时函数实质上操作的也是指针的副本,它不会修改
实参指针的值,但是函数可以通过这些指针改变它所指向的数组元素的值。但是,如果形参是数组的引用如:
void fun(int (&arr)[10]){
................
}
编译器不会将数组实参转换为指针,而是传递数组的引用本身,在这种情况下,数组大小成为形参和实参类型的一部分,编译器将严格检
查数组实参的大小与形参的大小是否匹配。