05 - 引用的本质分析

---- 整理自狄泰软件唐佐林老师课程

1. 引用意义

• 引用作为 变量的别名 而存在，因此 存在一些场合可以代替指针
• 引用相对于指针来说具有更好的可读性和实用性

• 注意：函数中的 引用形参 不需要进行初始化
  （普通引用在定义时必须用 同类型的变量 进行初始化）

1.1 指针版 swap

#include <stdio.h>

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

int main()
{
    int a= 1;
    int b = 2;

    swap(&a, &b);

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

    return 0;    
}

1.2 引用版 swap

#include <stdio.h>

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

int main()
{
    int a = 1;
    int b = 2;

    swap(a, b);

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

    return 0;    
}

2. const 引用

• 在 C++ 中可以声明 const引用

  const Type& name = var；

  const 引用让变量拥有 只读属性

• 当 使用 常量 对 const引用 进行 初始化 时，C++ 编译器会 为常量值分配空间，并 将 引用名 作为这段空间的别名

  

• 结论：使用常量对 const 引用初始化后 将生成一个 只读变量

#include <stdio.h>

void Example()
{
    printf("Example:\n");
    
    int a = 4;
    const int& b = a;
    int* p = (int*)&b;
    
    // b = 5; // 只读
    
    *p = 5;
    
    printf("a = %d\n", a);
    printf("b = %d\n", b);
}

void Demo()
{
    printf("Demo:\n");
    
    const int& c = 1;
    int* p = (int*)&c;
    
    // c = 5; // 只读
    
    *p = 5;
    
    printf("c = %d\n", c);
}

int main(int argc, char *argv[])
{
    Example();
    
    printf("\n");
    
    Demo();

    return 0;
}

3. 引用的本质

3.1 问题

• 引用有自己的存储空间吗？
  

#include <stdio.h>

struct TRef {
	char& r;
};

int main(int argc, char *argv[])
{ 
	char c = 'c';
	char& rc = c;
	
	TRef ref = {c};
	
	printf("sizeof(char&) = %ld\n", sizeof(char&) );
	printf("sizeof(rc)    = %ld\n", sizeof(rc)    );
	
	printf("sizeof(TRef)  = %ld\n", sizeof(TRef)  );
	printf("sizeof(ref.r) = %ld\n", sizeof(ref.r) );

    return 0;
}

3.2 引用的本质

• 引用 在 C++ 中的内部实现是一个 指针常量

• 注意：
  • C++ 编译器在编译过程中用指针常量作为引用的内部实现，因此 引用所占用的空间大小与指针相同
  • 从使用的角度，引用只是一个别名，C++ 为了实用性而隐藏了引用的存储空间这一细节

#include <stdio.h>

struct TRef {
    char* before;
    char& ref;
    char* after;
};

int main(int argc, char* argv[])
{
    char a = 'a';
    char& b = a;
    char c = 'c';

    TRef r = {&a, b, &c};

    printf("sizeof(r)        = %ld\n", sizeof(r));
    printf("sizeof(r.before) = %ld\n", sizeof(r.before));
    printf("sizeof(r.after)  = %ld\n", sizeof(r.after));
    printf("&r.before        = %p\n", &r.before);
    printf("&r.after         = %p\n", &r.after);

    return 0;
}

3.3 函数返回引用

• 当函数执行完毕时，将 释放分配给局部变量的存储空间。此时，对局部变量的引用就会 指向不确定的内存。

#include <stdio.h>

int& demo()
{
    int d = 0;
    printf("demo: d = %d\n", d);
    return d; // 对局部变量的引用
}

int& func()
{
    static int s = 0;
    printf("func: s = %d\n", s);
    return s;
}

int main(int argc, char* argv[])
{
    int& rd = demo();
    int& rs = func();
    
    printf("\n");
	
    // printf("main: rd = %d\n", rd); // Segmentation fault
    printf("main: rs = %d\n", rs);
    printf("\n");
    
    // rd = 10; // Segmentation fault
    rs = 11;
    
    demo();
    func();
    
    printf("\n");
    // printf("main: rd = %d\n", rd); // Segmentation fault
    printf("main: rs = %d\n", rs);
    printf("\n");
    
    return 0;
}