c++入门学习第二章（引用的使用）

引用

引用的概念：引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。

如：“齐天大圣”指的是孙悟空，“斗战胜佛”也指的是孙悟空

可通过以下代码简单验证：

void TestQoute()
{
    int a = 10;
    int& b = a;
    printf("%p\n", a);
    printf("%p\n", b);
}

注意：引用类型必须和引用实体是同种类型的 如int a = 10;double&b = a;是错误写法，只能改为int&b = a;

引用特性

1. 引用在定义时必须初始化 不能出现int& a诸如此类的形式

2. 一个变量可以有多个引用

如 void Qoute()
{
    int a = 10;
    int& b = a;
    int& c = a;
}

但是无法实现

3. 引用一旦引用一个实体，再不能引用其他实体

如

void Qoute2()
{
    int a = 10;
    int& b = a;
    int& c = b;

    int x = 15;
    c = x;

    printf("a = %d\n", a);
    printf("b = %d\n", b);
    printf("c = %d\n", c);

}

上述代码 c作为b的别名，因此 c = x;这段代码只是起赋值作用，即改变c引用对象a的值，所以打印结果为

常引用

常引用的关键问题为引用的过程中权限不能放大

如：void TestConstQut()
{
    const int a = 10;
    //int& qa = a;   // 该语句编译时会出错，a为常量，权限放大。
    const int& qa = a;
    // int& b = 10; // 该语句编译时会出错，b为常量，权限放大。
    const int& b = 10;
    double d = 12.34;
    //int& qd = d; // 该语句编译时会出错，类型不同，d自动升级为int类型的临时常量，权限放大。
    const int& qd = d;//该语句中qd 和 d的类型虽不同，但在c++中d会自动提升为int类型的临时常量，因此const int& qd与d权限相等。
}

引用的使用场景

引用作参数

（交换两个数）

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

引用作返回值

int& Add(int a, int b)
{
    static int c = a + b;
    return c;
}

注意：引用作返回值需注意作用域问题：

如以下代码

int& Add(int a, int b)
{
     int c = a + b;
    return c;
}

int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1, 2) is :" << ret << endl;

c为Add函数中的局部变量，当执行完Add函数后，如果c没有被操作系统销毁，则可以使用引用返回，打印结果Add(1, 2) is : 7；为如果已经被操作系统销毁，则会返回随机值，必须使用传值返回。

传值、传引用效率比较

以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直接返回，而是传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效率是非常低下的，尤其是当参数或者返回值类型非常大时，效率就更低。

引用和指针的区别

在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。

在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。

引用和指针的不同点:

1. 引用概念上定义一个变量的别名，指针存储一个变量地址。

2. 引用在定义时必须初始化，指针没有要求。

3. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体。

4. 没有NULL引用，但有NULL指针。

5. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32 位平台下占4个字节)。

6. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小。