每次调用函数都会重新创建它的形参,并用传入的实参对形参进行初始化。初始化的机理与变量初始化一样。
1.传值参数
当初始化一个非引用类型的变量时,初始值被拷贝给变量,此时变量的改动不会影响初始值。传值参数的机理完全一样,函数对形参做的所有操作都不会影响实参。
指针形参
指针的行为和其他非引用类型一样,当执行指针拷贝操作时,拷贝的是指针的值。拷贝之后,两个指针是不同的指针。因为指针使我们可以间接地访问它所指的对象,所以通过指针可以修改它所指对象的值。指针形参的行为与之类似:
void func(int *ip)
{
*ip = 0; //改变ip所指对象的值
ip = 0; //只改变ip的局部拷贝,实参指针的地址值未改变
}
熟悉C的程序员常常使用指针类型的形式访问函数外部对象,在C++中建议使用引用类型的形参替代指针。
2.传引用参数
对引用的操作实际上是作用在引用所指的对象上,引用形参的行为与之类似。通过使用引用形参,允许函数改变一个或多个实参的值。
使用引用避免拷贝
拷贝大的类类型对象或者容器对象比较低效,甚至有的类类型根本就不支持拷贝操作。此时函数只能通过引用形参访问该类型的对象。如果函数无须改变引用形参的值,最好将其声明为常量引用。
使用引用形参返回额外信息
一个函数只有一个返回值,然而有时候函数需要返回多个值,引用形参为我们一次返回多个结果提供了有效的途径。
3.const形参和实参
当形参是const时,必须要注意关于顶层const的讨论,顶层const作用于对象本身:
const int ci = 42; //不能改变ci,ci是顶层const
int i = ci; //当拷贝ci时忽略顶层const属性
int *const p = &i; //const是顶层const,不能给p赋值
*p = 0; //正确,通过p改变对象的内容是允许的,限制i变成了0
和其他初始化一样,当用实参初始化形参时会忽略掉顶层const属性。换句话说,形参的顶层const被忽略掉了。当形参有顶层const时,传给它常量对象或非常量对象都是可以的:
void func(const int i){
} //func能读取i,但是不能修改i,即可传入const int也可以传入int,传入int会忽略掉顶层const
void func(int i) {
} //错误,因为顶层const忽略掉了,所以和第一个func是相同的函数,重复定义了func(int)
指针或引用形参与const
形参的初始化方式和变量的初始化方式是一样的。我们可以使用非常量初始化一个底层const对象,但是反过来不行。同时一个普通的引用必须用同类型的对象初始化:
int i = 42;
const int