【C++ 基础】第二篇 C++入门（2）重点：引用

潮.eth

已于 2022-10-10 20:13:24 修改

阅读量429

点赞数 3

分类专栏： # C++学习文章标签： c++

于 2022-09-16 17:38:01 首次发布

本文链接：https://blog.csdn.net/m0_54381284/article/details/126883185

版权

C++学习专栏收录该内容

11 篇文章 10 订阅

订阅专栏

5.引用

5.1 引用的概念

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

重点：取别名

格式：

类型& 引用变量名（对象名）= 引用实体；

void TestRef()
{
    int a=10;
    int& ra = a;//定义引用类型

    printf("%p\n",&a);
    printf("%p\n",&ra);00000000000
}

注意：

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

5.2 引用特性

1.引用在定义时必须初始化

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

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

int main()
{
    int a=10;
    // 下面的一条语句编译时会出错
    // 原因是引用在定义时必须初始化
    //int& ra;
    int& ra = a;
    int& rra=a;
    printf("%p %p %p\n",&a,&ra,&rra);//地址都是一样的
}

5.3 常引用

a是常量

ra1不是常引用，不能初始化为a

ra2是常引用，可以初始化为a

b1不是常引用，不能直接初始化为10

b是常引用，可以初始化为10

d是浮点型

ra是int类型的引用，与d类型不一样，不能初始化为d

rd是int类型的常引用，虽然与d的类型不一样，但是可以初始化为d，但是初始化的对象是d的拷贝。

运行一下，可以发现rd与d的地址并不一样，说明rd并不是d的别名。

总结：

1、指针和引用赋值中，权限可以缩小，但是不能放大。

2、一个常量，那么引用的类型也应该是常量

3、引用的类型与赋值的类型应该一样，否则会出现引用的对象改变。因为类型转换会出现临时变量。

5.4 引用的使用场景

1.做参数

#include<iostream>
using namespace std;
void swap(int& left, int& right)
{
	int temp = left;
	left = right;
	right = temp;
}
int main()
{
	int a = 10, b = 20;
	cout<<"swap前：" << a << " " << b << endl;
	swap(a, b);
	cout <<"swap后：" << a << " " << b << endl;
	return 0;
}

传引用可以达到跟传址一样的效果。

2.做返回值

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

注意：返回值应该是被static修饰的静态变量。

下面的代码输出什么结果？为什么？

#include<iostream>
using namespace std;
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;
}

返回的是7.

函数返回的是c，ret绑定的是c这块空间，参数值改变，c内部的内容也随之改变，那么ret也就会改变。

并不是我们想的ret就会打印3，存放3的空间已经被改变了。

注意：

1.如果函数返回时，出了函数作用域，如果返回值还在（还没还给系统），则介意使用引用返回。

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

5.5 引用返回与传值返回

关于5.4最后注意点的详细讲解。

引用返回跟传值返回会有什么区别呢？

先说传值返回。

n先拷贝一份临时变量，然后临时变量再拷贝给ret。

这个main函数中也不能写成,int& ret=Count();否则会报错。

上面两个代码说明，传值返回出了作用域，由于是拷贝一份返回值，因此函数栈帧销毁没有影响。

再看看引用返回

因为返回的是n的引用，因此就是n的别名，由此可以得出ret就是初始化为n，n的值是多少，ret就是多少。

但是由于n是静态变量，所以没有受到函数栈帧销毁的影响

内存销毁意味着什么？

1.空间还在吗？

在，只是使用权不是我们的，我们存的数据不被保护。

2.我们还能访问吗？

能，只是我们读写的数据都是不确定的。

为什么要拷贝返回值呢？

假如说n变量不是静态变量呢？

假如n不是静态变量的话，n就会随着栈帧的销毁，而变得不安全。

栈帧销毁之后，n会有三种情况，第一种，依旧是1。第二种，栈帧销毁，但是没有被赋值。第三种，被其他值覆盖。

总结：

1.如果函数返回时，出了函数作用域，如果返回值还在（还没还给系统），则介意使用引用返回。

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

5.6 传值、传引用效率比较

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

也就是说传值会产生另外的一份临时拷贝，而传引用不会，因此效率高些。

5.7 引用和指针的区别

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

#include<iostream>
using namespace std;

int main()
{
	int a = 10;
	int& ra = a;

	cout << "&a =" <<&a<<endl;
	cout << "&ra=" <<&ra<<endl;
	return 0;
}

地址相同，说明是一块空间。

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

#include<iostream>
using namespace std;

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.引用比指针使用起来相对更安全。

引用和指针的不同点（表格版）：

	引用	指针
概念	变量的别名	存储一个变量的地址
定义	必须初始化	没有要求
指向	只能引用一个实体	可以指向任何一个同类型实体
NULL	没有NULL引用	有NULL指针
sizeof	引用类型的大小	4/8
自加	引用实体+1	指针后偏移一个类型的大小
能否多级	没有多级引用	有多级指针
访问实体方式	编译器自己处理	指针需要显示解引用
安全性	比指针相对更安全	比引用相对更不安全