【C++】引用

1.引用的概念

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

就像《水浒传》里面大多的角色都有独属于自己的外号，比如：李逵，在家称为"铁牛"，江湖上人称"黑旋风"。那么如果“铁牛”吃饱了，李逵也必然不饿，因为他们本身就是同一个人。

这就是引用与引用实体之间的关系。

他的语法形式为：

类型& 引用变量名(对象名) = 引用实体；

void TestRef()
{
    int a = 10;
    int& ra = a;//<====定义引用类型
    printf("%p\n", &a);
    printf("%p\n", &ra);
}

注意：引用类型必须和引用实体是同种类型的。

2.引用特性

1. 引用在定义时必须初始化。
2. 一个变量可以有多个引用。
3. 引用一旦引用一个实体，再不能引用其他实体。

其实这些特性都和外号比较像，外号是依据某个人的特性才创造出来。而一个人可以有多个外号。在一个人群中（一个项目中）外号都只指向一个人。

void TestRef()
{
    int a = 10;
    // int& ra;   // 该条语句编译时会出错
    int& ra = a;
    int& rra = a;
    printf("%p %p %p\n", &a, &ra, &rra);  
}

3.常引用常见错误

类型不同

void TestConstRef()
{
    const int a = 10;
    //int& ra = a;   // 该语句编译时会出错，a为常量
    const int& ra = a;
    // int& b = 10; // 该语句编译时会出错，b为常量
    const int& b = 10;
    double d = 12.34;
    //int& rd = d; // 该语句编译时会出错，类型不同
    const int& rd = d;
}

4.引用的使用场景

1.做参数

void Swap(int& left, int& right)
{
    int temp = left;
    left = right;
    right = temp;
}

1当引用作为参数时，对引用参数的改变会对引用实体本身做出改变。

2引用作为参数在传参时不会产生临时变量效率更高。

2.做返回值

int& Count()
 {
    static int n = 0;
    n++;
    // ...
    return n;
 }

根据生命周期的知识，一般情况下我们所创造的变量在栈上储存，在离开他的生命周期后，变量所占有的空间便会归还给计算机。所以当引用做返回值时，要注意变量的生命周期。常见的返回变量一般是处于静态区的。

尝试分析下面代码的问题：

int& Add(int a, int b)
 {
     int c = a + b;
     return c;
 }
 int main()
 {
     int& ret = Add(1, 2);
     Add(3, 4);
     cout << "Add(1, 2) is :"<< ret <<endl;
     return 0;
 }

注意：如果函数返回时，出了函数作用域，如果返回对象还在(还没还给系统)，则可以使用

引用返回，如果已经还给系统了，则必须使用传值返回。

5.传值、传引用效率比较

以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直

接返回，而是传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效

率是非常低下的，尤其是当参数或者返回值类型非常大时，效率就更低。

可以使用下面代码进行测试

#include <time.h>
 struct A{ int a[10000]; };
 void TestFunc1(A a){}
 void TestFunc2(A& a){}
 void TestRefAndValue()
 {
     A a;
     // 以值作为函数参数
     size_t begin1 = clock();
     for (size_t i = 0; i < 10000; ++i)
         TestFunc1(a);
     size_t end1 = clock();
     // 以引用作为函数参数
     size_t begin2 = clock();
     for (size_t i = 0; i < 10000; ++i)
         TestFunc2(a);
     size_t end2 = clock();
     // 分别计算两个函数运行结束后的时间
     cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
     cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
 }

值和引用的作为返回值类型的性能比较

#include <time.h>
 struct A{ int a[10000]; };
 A a;
 // 值返回
 A TestFunc1() { return a;}
 // 引用返回
 A& TestFunc2(){ return a;}
 void TestReturnByRefOrValue()
 {
     // 以值作为函数的返回值类型
     size_t begin1 = clock();
     for (size_t i = 0; i < 100000; ++i)
         TestFunc1();
     size_t end1 = clock();
     // 以引用作为函数的返回值类型
     size_t begin2 = clock();
     for (size_t i = 0; i < 100000; ++i)
         TestFunc2();
     size_t end2 = clock();
     // 计算两个函数运算完成之后的时间
     cout << "TestFunc1 time:" << end1 - begin1 << endl;
     cout << "TestFunc2 time:" << end2 - begin2 << endl;
 }

通过上述代码的比较，发现传值和指针在作为传参以及返回值类型上效率相差很大。

6.引用和指针的区别

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

int main()
 {
     int a = 10;
     int& ra = a;
     cout<<"&a = "<<&a<<endl;
     cout<<"&ra = "<<&ra<<endl;
     return 0;
 }

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

int main()
 {
     int a = 10;
     int& ra = a;
     ra = 20;
     int* pa = &a;
     *pa = 20;
     return 0;
 }

我们来看下引用和指针的汇编代码对比：

引用和指针的不同点:

1. 引用概念上定义一个变量的别名，指针存储一个变量地址。
2. 引用在定义时必须初始化，指针没有要求
3. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体
4. 没有NULL引用，但有NULL指针
5. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32位平台占4个字节)
6. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小
7. 有多级指针，但是没有多级引用**
8. 访问实体方式不同，指针需要显式解引用，引用编译器自己处理
9. 引用比指针使用起来相对更安全

7、使用建议

1. 参数传递：使用引用作为函数参数可以避免对象的复制，特别是对于大型的类或结构体。如果函数不需要修改参数，应使用常量引用（const引用）。
2. 返回局部对象的引用不安全：不要返回局部变量的引用或指针，因为函数执行完毕后局部变量的存储空间会被释放，那么返回的引用或指针将指向无效的内存区域。
3. 使用引用作为类成员：通常不推荐使用引用作为类的成员变量，因为这可能会导致复制或赋值时的复杂性和错误。

8、C++11后的引用新增特性

C++11引入了右值引用和移动语义，这是对引用使用的重大扩展，极大地优化了程序性能。

1. 右值引用：通过使用&&符号声明，右值引用允许引用临时对象（即右值）。这种机制主要用于实现移动语义和完美转发。

cppCopy codevoid process(std::string&& str) {
     // 可以修改str，且不会影响原始数据
     std::cout << str;
 }

1. 移动语义：利用右值引用，可以将资源（如动态内存）从一个对象转移到另一个对象，从而避免不必要的数据复制。这通常在类的移动构造函数和移动赋值运算符中实现。

cppCopy codeclass Buffer {
 public:
     Buffer& operator=(Buffer&& other) {
         if (this != &other) {
             delete[] data;
             data = other.data;
             other.data = nullptr;
         }
         return *this;
     }
 private:
     char* data;
 };

1. 完美转发：利用右值引用和std::forward，函数模板可以将参数无损地转发给其他函数。这对于泛型编程和库的编写尤其重要。（当你传递的参数是右值将保留右值属性，而当你传递的参数是左值时，将会保留左值属性）

cppCopy codetemplate<typename T>
 void relay(T&& arg) {
     process(std::forward<T>(arg));
 }

总之，C++11对引用的增强显著提升了C++的表达力和效率。通过合理使用左值引用、常量引用和右值引用，可以更好地控制数据的拷贝行为，优化性能，以及利用新的语言特性实现更复杂的编程任务。对于C++程序员来说，掌握这些概念是提高代码质量和执行效率的关键。