Pass by value/reference/pointer
在定义或调用一个函数时,用两种参数传递方式,传值(pass by value)与传址(pass by reference)。使用一个冒泡排序的程序作为例子进行理解。
传值(pass by value)
传值是将传给函数的对象复制一份,原对象和复制品之间没有任何关联。
当我们调用一个函数时,会在内存中建立起一块特殊的区域,称为“程序栈(progam stack)”。这块特殊区域提供了每个函数参数的存储空间,它也提供函数所定义的每个对象的内存空间——这些对象叫做local object(局部对象)。一旦函数完成,这块内存就会被释放掉。如下为传值的冒泡排序:
#include <iostream>
#include <vector>
using namespace std;
void display( vector<int> vec )//在终端上显示向量
{
for ( int i = 0; i < vec.size(); i++ )
{
cout << vec[i] << ' ';
}
cout << endl;
}
void swap( int val1, int val2 )//交换两个对象,此时为传值。
{
int temp = val1;
val1 = val2;
val2 = temp;
}
void bubble_sort( vector<int> vec )//冒泡排序算法
{
for ( int i = 0; i < vec.size(); i++ )
{
for( int j = i+1; j < vec.size(); j++ )
{
if ( vec[i] > vec[j] )
{
swap( vec[i], vec[j] );
}
}
}
}
int main()
{
int ia[8]={ 8, 34, 3, 13, 1, 21, 5, 2 };
vector<int> vec( ia, ia+8 );
cout << "vector before sort: ";
display( vec );
bubble_sort( vec );
cout << "vector after sort: ";
display( vec );
return 0;
}
可以看到通过传值并没有成功进行排序,这是因为当我们将 vec[i] 这样的对象传入函数时,默认情形下会被复制一份,成为参数的局部性定义(local definition)。我们在 bubble_sort() 内传给 swap() 的对象,和我们在 swap() 内操作的对象,其实是没有任何关联的两组对象。
传址(pass by reference)
传值是将传给函数的对象地址复制一份,函数中对该对象的任何操作,都相当于是对传入的对象进行间接操作
referecne 扮演着外界与对象之间的一个间接号码牌的角色,只要在型别名称和 reference 名称之间插入 & 符号,便是声明了一个 reference:
int ival = 1024;
int *pi = &ival; //指针,指向一个 int 对象,这里的 &为取址
int &rval = ival; // refernce,这里的 &为引用,代表一个int对象
rval = 4096;//对 reference 进行的操作会反映在本体上
pi = &rval;//将 iravl 的地址赋给pi
面对 reference 的所有操作都像面对 “reference 所代表的对象” 所进行的操作没有区别,当我们以 reference 作为函数参数时,亦是如此。在这里我们将 swap() 以及bubble_sort() 的传参方式改为传址:
void swap( int &val1, int &val2 )
void bubble_sort( vector<int> &vec )
其中主函数中调用函数语法不需要改变,且结果为预期结果。
其中还有一点值得注意,就是使用 reference 传参时因为不复制对象只复制地址,可以降低复制大型对象的负担,例如将打算显示的 vector 以传址方式传入 display() 中,速度会更快:
void display( const vector<int> &vec )
我们声明了一个 reference to const vector, 因为函数之中并不会更改 vector 的内容。加上 const 可以让阅读程序的人了解,我们以传址的方式来传递 vector,为的是避免赋值操作,而不是为了要在函数之中对它进行修改。
pointer 与 reference 的区别
我们也可以将参数以 pointer 形式传递。这和以 reference 传递的效果相同,传递的是对象地址,而不是整个对象的复制品。
使用 pointer 与使用 reference 的方法不同:
void display( const vector<int> *vec )
{
if ( ! vec ) //需判断 pointer 是否为空
{
cout << "display(): the vector pointer is 0\n";
return;
}
for ( int i = 0; i < vec->size(); i++)//此处 vec 为 pointer,所以不能使用'.',需要使用'->'来调用成员函数
{
cout << (*vec)[i] << '';
}
cout << endl;
}
int main()
{
int ia[8]={ 8, 34, 3, 13, 1, 21, 5, 2 };
vector<int> vec( ia, ia+8 );
cout << "vector before sort: ";
display( &vec );//传入vec的地址
bubble_sort( vec );
cout << "vector after sort: ";
display( vec );
return 0;
}
- pointer 可以指向空,当我们 dereference pointer 时,一定要确定其值并非0;而 reference 不能指向空,必定会代表某个对象,不需检查。然而以下情况需要避免,会造成错误。
int *p = null;
int& r = *p;
- pointer 所指的对象可以改变,而 reference 所代表的对象一经声明则不会改变。