C++语法基础——引用

C++语法基础——引用

1. 基本介绍

知识点
引用可以理解为变量的"别名"。同时，也可以理解为一个type *const指针，即指针指向的对象的值可变，但指针本身的地址不可变。在指针的基础上，引用省略了取地址和解引用。

对引用的操作（求值，修改等）始终绑定在原对象上。

int a = 1;
int &b = a; // a == 1; b == 1
a = 2; // a == 2; b == 2
b = 3; // a == 3; b == 3

cout << sizeof(b) << endl; // 4; 和sizeof(a)相同
cout << &b << ' ' << &a << ' ' << (&a == &b) << endl;
// true; a和b的地址是一样的

int *c = &b; // 此时c指向a
cout << sizeof(c) << endl; // 64位系统上为8; 和上面sizeof(b)做对比

2. 引用的主要目的是作为函数的参数进行传递

知识点
如果想在函数内修改一个对象（而非数组）的值，传引用是更现代的方式。

**引用的另一个作用是可以让函数返回多个值。**此时，只要传入多个引用，然后把他们当作返回值修改即可。

void swap(int &a, int &b) 
{
    int tmp = a;
    a = b;
    b = tmp;
}

void return2value(int &a, int &b) 
{ //returns {3, 4}
    a = 3, b = 4;
}

int main() 
{
    int a, b;
    return2value(a, b);
    swap(a, b);
    cout << a << ' ' << b << '\n';
}

即使不需要修改传入对象的值，按引用传递往往也是更高效的方式，减小了开销。此时，常常使用常量引用传递。

这对于大对象的传递尤其有效。按值传递大对象时，会导致对整个对象的拷贝，可能很慢；而按引用传递时，开销仅仅为传一个指针（64 位计算机中为 8 bytes）。

因此，大多数时候，C++的函数参数为常量引用或普通引用，非引用/指针的参数出现较少。

// struct的知识会在后面学到，现在只需要知道BigType是个很大的对象: sizeof(BigType) == 4000
struct BigType 
{
    int val[1000];
};
void func1(BigType a) // copies 4000 bytes
{ 
    // ...
}
void func2(const BigType &a) // copies 8 bytes
{ 
    // ...
}

3. 引用返回

函数也可以返回变量的引用，此时和指针类似。可以返回的引用包括：

• 对全局变量的引用
• 返回函数的引用类型参数
• 返回函数指针类型参数解引用之后的结果

同上，不能返回局部变量的引用。

int glob;
int& func(int a, int &b, int *c) 
{
    int tmp;
    return a; // err
    return tmp; // err
    return b; // ok
    return *c; // ok: *c为引用类型
    return glob; // ok
}