C++引用(内含和指针的对比)

2024-02-12 22:12
文章标签 c++ 指针 引用 对比 内含

本文主要是介绍C++引用(内含和指针的对比),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1.引用的概念

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

类型& 引用变量名(对象名) = 引用实体;(&这个符号我们可能会看成取地址或者按位与,但是在这里是引用的意思,前面是类型,后面是变量,因为C++兼容C,所以这个符号有多重意思)

int main()
{int a = 0;int& ra = a;//定义引用类型return 0;
}

解释:ra就是引用,也是a的别名

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

2.引用和原本变量的关系

因为引用就相当于取了个别名,所以都是一个意思,以上面代码为例,a就是ra,ra就是a(鲁迅就是周树人,周树人就是鲁迅)

看这段代码就可以很好理解,它们的地址一样,自增的时候也是加到一个地方,所以没有区别

3.引用的特性

3.1引用在定义时必须初始化

引用实质是“取别名”,所以我们在取别名之前要先有一个名字(变量),可以看到,先定义接下来再初始化会直接报错(语法问题)

3.2引用不能改变指向 

当我们引用已经指向一个变量,就不能再改变它的指向。代码如下,当我们定义出b引用指向a,就不能再让b指向c(代码不会报错,但是不能改变指向,只是赋值)

int main()
{int a = 0;int& b = a;int c = 0;b = c;return 0;
}

 代码结果就是会把c的值赋给b(b是a的别名,所以b改变a也会改变)

3.3一个变量可以有多个引用

一个变量是可以有多个引用的,也可以是引用的引用,最后这些引用都是这个变量a的别名,其中一个改变其他三个都会改变。

4.常引用

4.1可以权限缩小

int main()
{int a = 0;int& b = a;b++;return 0;
}

我们定义一个a的引用b,当我们++b的时候,a也会++,但是我们现在不想改变a要怎么办:

int main()
{int a = 0;const int& b = areturn 0;
}

当我们给b加上const的时候,b就不能改变了,这也叫做权限的缩小,因为a是可读可写(写:可以改变)的,但是定义出来的b是可读不可写的,这就是权限的缩小,是允许的 

4.2可以权限平移

int main()
{const int a = 10;const int& b = a;return 0;
}

我们知道10是常量,常量不能改变,这时候赋给a一个常量就要加上const,现在a是可读不可写的,当我们把a赋给b的时候,b也要是可读不可写的,所以b也要加const,这是权限的平移,是允许的

4.3不能权限放大

int main()
{const int a = 10;int& b = a;return 0;
}

 现在我们的a是一个可读不可写的值,当把a赋给b的时候,b是可读可写的,这样就是权限的放大,是不允许的

5.引用能不能代替指针

引用和指针功能是类似的(引用的出现是对指针使用比较复杂的的场景进行一些替换,让代码简单易懂,但是不能替代指针)

引用不能替代指针的原因:引用定义后,不能改变指向

就以双向不循环链表为例

struct Node
{struct Node* next;struct Node* prev;int val;
};

就以上面链表为例,我们想释放第二个,就得让第一个的next指向第三个,第三个的prev指向第一个,这个时候引用就不能代替指针

6.使用场景

6.1引用做返回值的陷阱

学了引用,有人可能想着拿引用做返回值,这个时候可能就会掉进陷阱

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

这段代码看着没什么问题,打印也能正常打印出10,为什么会错误呢?(ret接收到的是a的别名,Fun函数结束调用就会释放,释放之后a就会销毁,这个时候我们的ret取的值可能是对的也可能会改变,取决于a会不会被处理)

如果想用引用做返回:全局变量,静态变量(static),堆上(malloc)变量都可以用引用返回,因为它们出了作用域生命周期不会结束

6.2引用做参数

void Swap(int& x, int& y)
{int tmp = x;x = y;y = tmp;
}
int main()
{int i = 0;int j = 1;Swap(i, j);cout << "i=" << i << endl;cout << "j=" << j << endl;return 0;
}

我们可以做参数直接用引用接收,这个时候在Swap函数里面交换 x 和 y 也会影响到外面的 i 和 j,相比于之前的C语言指针,我们少了传地址然后再解引用的操作。

6.3引用做返回值

int& Fun()
{static int a = 10;return a;
}
int main()
{int ret = Fun();cout << ret << endl;return 0;
}

看了返回值的陷阱,这部分就很好理解,我们里面用static修饰就会变成静态变量,函数销毁跟a就没关系了,所以就可以放心用引用返回

7.引用和指针的区别

我们这里从语法底层做对比,不要把语法和底层混淆了,语法就是我们理解它的规定,底层就是从更深的层面去了解,所以说语法和底层是不一样的

语法:

1.引用是别名,不开空间,指针是地址,需要开空间存地址

2.引用必须初始化,指针可以初始化也不要不初始化

3.引用不能改变指向,指针可以

4.引用相对更安全,没有空引用,但是有空指针,容易出现野指针,但是不容易出现野饮用

5.sizeof、++、解引用访问等反面的区别

(上面这几点是比较重要的)

底层:

汇编层面上,没有引用,都是指针,引用编译后也转换成指针了

源代码:

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

汇编代码: 

 从上面汇编可以看出,引用的底层也是指针,不用看懂上面汇编,对比着看就可以了

这篇关于C++引用(内含和指针的对比)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/703732

相关文章

关于C++中的虚拟继承的一些总结(虚拟继承,覆盖,派生,隐藏)

1.为什么要引入虚拟继承 虚拟继承是多重继承中特有的概念。虚拟基类是为解决多重继承而出现的。如:类D继承自类B1、B2,而类B1、B2都继承自类A,因此在类D中两次出现类A中的变量和函数。为了节省内存空间,可以将B1、B2对A的继承定义为虚拟继承,而A就成了虚拟基类。实现的代码如下: class A class B1:public virtual A; class B2:pu

C++对象布局及多态实现探索之内存布局(整理的很多链接)

本文通过观察对象的内存布局,跟踪函数调用的汇编代码。分析了C++对象内存的布局情况,虚函数的执行方式,以及虚继承,等等 文章链接:http://dev.yesky.com/254/2191254.shtml      论C/C++函数间动态内存的传递 (2005-07-30)   当你涉及到C/C++的核心编程的时候,你会无止境地与内存管理打交道。 文章链接:http://dev.yesky

C++的模板(八):子系统

平常所见的大部分模板代码,模板所传的参数类型,到了模板里面,或实例化为对象,或嵌入模板内部结构中,或在模板内又派生了子类。不管怎样,最终他们在模板内,直接或间接,都实例化成对象了。 但这不是唯一的用法。试想一下。如果在模板内限制调用参数类型的构造函数会发生什么?参数类的对象在模板内无法构造。他们只能从模板的成员函数传入。模板不保存这些对象或者只保存他们的指针。因为构造函数被分离,这些指针在模板外

C++工程编译链接错误汇总VisualStudio

目录 一些小的知识点 make工具 可以使用windows下的事件查看器崩溃的地方 dumpbin工具查看dll是32位还是64位的 _MSC_VER .cc 和.cpp 【VC++目录中的包含目录】 vs 【C/C++常规中的附加包含目录】——头文件所在目录如何怎么添加,添加了以后搜索头文件就会到这些个路径下搜索了 include<> 和 include"" WinMain 和

C/C++的编译和链接过程

目录 从源文件生成可执行文件(书中第2章) 1.Preprocessing预处理——预处理器cpp 2.Compilation编译——编译器cll ps:vs中优化选项设置 3.Assembly汇编——汇编器as ps:vs中汇编输出文件设置 4.Linking链接——链接器ld 符号 模块,库 链接过程——链接器 链接过程 1.简单链接的例子 2.链接过程 3.地址和

C++必修:模版的入门到实践

✨✨ 欢迎大家来到贝蒂大讲堂✨✨ 🎈🎈养成好习惯,先赞后看哦~🎈🎈 所属专栏:C++学习 贝蒂的主页:Betty’s blog 1. 泛型编程 首先让我们来思考一个问题,如何实现一个交换函数? void swap(int& x, int& y){int tmp = x;x = y;y = tmp;} 相信大家很快就能写出上面这段代码,但是如果要求这个交换函数支持字符型

十五.各设计模式总结与对比

1.各设计模式总结与对比 1.1.课程目标 1、 简要分析GoF 23种设计模式和设计原则,做整体认知。 2、 剖析Spirng的编程思想,启发思维,为之后深入学习Spring做铺垫。 3、 了解各设计模式之间的关联,解决设计模式混淆的问题。 1.2.内容定位 1、 掌握设计模式的"道" ,而不只是"术" 2、 道可道非常道,滴水石穿非一日之功,做好长期修炼的准备。 3、 不要为了

C++入门01

1、.h和.cpp 源文件 (.cpp)源文件是C++程序的实际实现代码文件,其中包含了具体的函数和类的定义、实现以及其他相关的代码。主要特点如下:实现代码: 源文件中包含了函数、类的具体实现代码,用于实现程序的功能。编译单元: 源文件通常是一个编译单元,即单独编译的基本单位。每个源文件都会经过编译器的处理,生成对应的目标文件。包含头文件: 源文件可以通过#include指令引入头文件,以使

人工和AI大语言模型成本对比 ai语音模型

这里既有AI,又有生活大道理,无数渺小的思考填满了一生。 上一专题搭建了一套GMM-HMM系统,来识别连续0123456789的英文语音。 但若不是仅针对数字,而是所有普通词汇,可能达到十几万个词,解码过程将非常复杂,识别结果组合太多,识别结果不会理想。因此只有声学模型是完全不够的,需要引入语言模型来约束识别结果。让“今天天气很好”的概率高于“今天天汽很好”的概率,得到声学模型概率高,又符合表达

C++面试八股文:std::deque用过吗?

100编程书屋_孔夫子旧书网 某日二师兄参加XXX科技公司的C++工程师开发岗位第26面: 面试官:deque用过吗? 二师兄:说实话,很少用,基本没用过。 面试官:为什么? 二师兄:因为使用它的场景很少,大部分需要性能、且需要自动扩容的时候使用vector,需要随机插入和删除的时候可以使用list。 面试官:那你知道STL中的stack是如何实现的吗? 二师兄:默认情况下,stack使