[Essential C++] 传值(pass by value)与传址(pass by reference)

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 所代表的对象一经声明则不会改变。