广告
返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >C++深入探究引用的使用
  • 443
分享到

C++深入探究引用的使用

2024-04-02 19:04:59 443人浏览 薄情痞子
摘要

目录一. 引用的概念二. 引用特性三. 常引用四. 使用场景1. 做参数2. 做返回值3. 做返回值需要注意的问题五. 传值传引用效率对比1. 值和引用传参时的效率比较2. 值和引用

一. 引用的概念

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

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

如下:

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

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

二. 引用特性

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

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

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

如下:

void TestRef()
{
     int a = 10;
     int a2 = 20;
     //a的多个引用
     int& b = a;
     int& c = a;
     int& d = b;
     int& ra;//该条语句编译时会出错,未初始化
     int &ra = a2;//报错,引用了其他实体
     printf("%p %p %p %p\n", &a, &b, &c, &d); 
}

三. 常引用

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;
     //int& c = 100; // 该语句编译时会出错,常量是只读的
     const int& c = 100;
}

注意:

引用取别名原则:对原引用变量,读写权限只能缩小,不能放大

const int a = 10;

int& ra = a;

编译不通过,因为放大了权限,原引用本来是只读,但是引用以后却变成了可读可写

int& b = 10;

const int& b = 10;

编译可以通过,因为缩小了权限,原引用本来是可读可写,引用后变成了只读

double d = 12.34;

int& rd = d;

编译不通过,这里比较特殊,看起来是因为类型不同而报错,其实不然,报错是因为权限放大了,为什么?

int类型要引用double类型,double类型转化到int类型属于隐式类型转换会舍弃小数位,隐式类型转换会产生临时变量,double类型到int类型会创建一个临时变量存储double变成了int类型的值,这里需要注意,这个临时变量具有常性是只读的,rd其实是引用了这个临时变量,因为临时变量是只读的,引用了临时变量的rd也应该是只读的,所以这就是为什么const int& rd = d 可以编译通过。

int& c = 100;

编译通过,因为常量本来就是只读的,不加const代表引用后变成了可读可写,权限放大。

四. 使用场景

1. 做参数

void Swap(int& left, int& right)
{
     int temp = left;
     left = right;
     right = temp;
}
  • 输出型参数
  • 减少拷贝,提高效率

2. 做返回值

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

减少拷贝

(传值返回需要拷贝数据,传引用返回直接返回变量的别名)

3. 做返回值需要注意的问题

首先,我们要知道当函数返回一个值时,会生成一个临时变量,而函数的返回类型就是这个临时变量的类型

int Add(int a, int b)
{
    return a + b;
}
int Count()
{
    static int n = 0;
    n++;
    return n;
}
int main()
{
    int temp = Add(2, 3);
    int tmp = Count();
    return 0;
}

以上代码将a+b(n)的值赋值给临时变量,临时变量再赋值给temp(tmp),为什么要设置这个临时变量?

其实很简单,在这个代码里是会有问题的,出了函数作用域a+b的值就已经被销毁了,需要一个临时变量去储存这个返回值,再去访问那块空间是非法的,而被static修饰的n由于它的生命周期变长了,即使出了函数也不会被销毁

那么问题来了,以下代码是正确的吗?

int& Add(int a, int b)
{
     int c = a + b;
     return c;
}
int main()
{
     int& ret = Add(1, 2);
     return 0;
}

很明显是有问题的!这里将c的引用返回 ,而一旦出了函数c就被销毁了,这块空间也被操作系统收回,再将c的引用赋值给ret就变成了非法访问了,就变成了由引用造成的野指针

由上面的问题可以衍生出以下代码:

这里的ret是什么?

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,ret是c的引用,由于出了函数以后这块空间的使用权还给了操作系统,由于第二次函数调用仍然是在第一次函数调用的空间进行栈帧的建立,因为ret的地址(ret的地址就是之前那块临时变量的地址)还是之前那个地址,所以由于第二次返回c时建立的临时变量已经变成了7,所以ret也变成了7

但是一定会是7吗?其实不然,我们知道这块空间的使用权还给了操作系统,这块空间也有可能会被其他程序使用了,导致数值变成了不确定性,因为这里是直接马上又调用了这个函数,所以会是7,所以,其实正确答案应该是随机值才对

看下面这个代码就是典型的例子:

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;
     cout << "Add(1, 2) is :"<< ret <<endl;
     return 0;
}

这里的输出语句其实也是调用了函数,由上面可知第一个是7,那么第二个呢?随机值!因为进行了第一次输出后其实也是进行了函数调用,函数调用会建立栈帧,在上一个输出建立的栈帧处重新建立了栈帧,函数调用前需要先传参,由于上一个输出语句销毁完栈帧以后ret地址处的值被覆盖成随机值,在第二次输出语句中此时就会把这个随机值作为参数传过去给函数,导致输出了随机值,所以传引用返回不是所有情况都可以使用的,像一开始加上了static关键字之类的才可以返回,因为n的生命周期变长了,出了函数作用域没有被销毁,取值都是去静态区取数据。

结论:如果函数返回时,出了函数作用域,如果返回对象还未还给系统,则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。

五. 传值传引用效率对比

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

1. 值和引用传参时的效率比较

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

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

#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;
}

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

六. 引用和指针

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

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;
}

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

引用和指针的不同点:

  • 引用在定义时必须初始化,指针没有要求(建议初始化)
  • 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
  • 没有NULL引用,但有NULL指针
  • 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占 4个字节)
  • 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
  • 有多级指针,但是没有多级引用
  • 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
  • 引用比指针使用起来相对更安全

引用和指针的相同点:

虽然从语法角度来看引用是别名没有额外开空间,但是底层角度来看他们是一样的。

什么是底层角度呢?就是通过编译器处理的结果来看,以下是指针和引用经编译器处理后的结果

我们会发现汇编指令是一致的,这就说明了从底层角度看这两个实现方式是一样的

到此这篇关于c++深入探究引用的使用的文章就介绍到这了,更多相关C++引用内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

--结束END--

本文标题: C++深入探究引用的使用

本文链接: https://www.lsjlt.com/news/148930.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑,方便收藏和打印~

下载Word文档
猜你喜欢
  • C++深入探究引用的使用
    目录一. 引用的概念二. 引用特性三. 常引用四. 使用场景1. 做参数2. 做返回值3. 做返回值需要注意的问题五. 传值传引用效率对比1. 值和引用传参时的效率比较2. 值和引用...
    99+
    2022-11-13
  • C++深入探究友元使用
    目录友元特点外部函数友元成员函数友元总结类友元友元 友元 friend 机制允许一个类授权其他的函数访问它的非公有成员. 友元声明以关键字 friend 开头 ,它只能出现在类的声明...
    99+
    2022-11-13
  • C++深入探究引用的本质与意义
    目录一、引用的意义二、特殊的引用三、引用是否占用存储空间四、引用的本质五、引用的注意事项六、小结一、引用的意义 引用作为变量别名而存在,因此在一些场合可以代替指针引用相对于指针来说具...
    99+
    2022-11-13
  • C++深入探究继承的概念与使用
    目录1、概念及定义1.1 概念1.2 定义2、class与struct的区别3、赋值兼容规则4、继承中的作用域问题5、派生类(子类)的默认成员函数5.1 构造函数5.2 拷贝构造函数...
    99+
    2022-11-13
  • C++深入探究list的模拟实现
    目录迭代器正向迭代器类反向迭代器类push_back尾插函数push_front头插函数insert插入函数erase删除函数pop_front函数pop_back函数构造函数析构函...
    99+
    2022-11-13
  • C语言深入探究栈的原理
    栈 压栈:栈的插入操作叫做进栈/压栈/入栈,入数据在栈顶。 出栈:栈的删除操作叫做出栈。出数据也在栈顶。 栈的实现 栈的实现一般可以使用数组或者链表实现,相对而言数组的结构实现更优...
    99+
    2022-11-12
  • Java深入探究关键字abstract的使用
    目录1. 理解2. 作用3. 修饰类-抽象类4. 修饰方法-抽象方法5. 代码演示6. 经典题目7. 抽象类的匿名子类8. 应用-模板方法设计模式(TemplateMethod)1....
    99+
    2022-11-13
  • C++深入探究不同的继承体系
    目录单继承多继承菱形继承概念存在的问题解决方案菱形虚拟继承虚拟继承什么是虚拟继承内存层面理解虚拟继承虚拟继承和普通单继承的区别虚拟继承+菱形继承声明: 本文的测试环境为Windows...
    99+
    2022-11-13
  • 深入探究C语言中的二叉树
    目录1.树概念及结构1.1树的概念 1.2 树的相关概念1.3 树的表示2.二叉树概念及结构   2.1概念2.2 特殊的二叉树2.3 二叉树的性质&n...
    99+
    2023-05-19
    C语言二叉树 C语言数据结构
  • C语言深入探究函数的溯源
    目录一、函数的由来二、模块化程序设计三、C 语言中的模块化四、面向过程的程序设计五、声名和定义六、小结一、函数的由来 二、模块化程序设计 三、C 语言中的模块化 四、面向过程的...
    99+
    2022-11-13
  • C++深入探究二阶构造模式的原理与使用
    目录一、构造函数的回顾二、半成品对象三、二阶构造四、小结一、构造函数的回顾 关于构造函数 类的构造函数用于对象的初始化构造函数与类同名并且没有返回值构造函数在对象定义时自动被调用 问...
    99+
    2022-11-13
  • C语言指针和数组深入探究使用方法
    目录1、数组参数和指针参数1.1 一维数组传参1.2 一级指针传参1.3 二维数组参数和二级指针参数1.4 野指针的问题2、函数指针3、函数指针数组4、指向函数数组的指针5、回调函数...
    99+
    2022-11-13
    C语言指针和数组 C语言指针 C语言数组
  • SpringBoot深入探究@Conditional条件装配的使用
    目录1.相关介绍2.举例测试1.指定组件不存在时2.指定组件存在时3.完整代码1.相关介绍 @Conditional注解可以用在任何类型或者方法上面,通过@Conditional注解...
    99+
    2022-11-13
  • JavaScriptcookie与session的使用及区别深入探究
    目录1. cookie1.1 什么是cookie1.2 KOA中使用cookie1.3 expires和maxAge1.4 浏览器端设置和删除cookie2. session2.1 ...
    99+
    2022-11-13
    JavaScript cookie与session JavaScript cookie JavaScript session
  • 深入探究Golang中flag标准库的使用
    目录1.使用1.1示例1.2标志类型1.3标志语法2.源码解读2.1定义标志2.2解析标志参数2.3其他代码3.总结在使用 Go 进行开发的过程中,命令行参数解析是我们经常遇到的需求...
    99+
    2023-05-18
    Golang flag标准库使用 Golang flag标准库 Golang flag
  • 深入探究Golang中log标准库的使用
    目录使用源码使用建议Go 语言标准库中的 log 包设计简洁明了,易于上手,可以轻松记录程序运行时的信息、调试错误以及跟踪代码执行过程中的问题等。使用 log 包无需繁琐的配置即可直...
    99+
    2023-05-19
    Golang log标准库用法 Golang log标准库使用 Golang log标准库 Golang log
  • c++中explicit与mutable关键字的深入探究
    今天说一说c++里面的两个关键字explicit和mutable。 1. explicit关键字 在写c++标准输入输出相关文章,查看iostream实现代码的时候,经常看到构造函...
    99+
    2022-11-12
  • 如何深入探究Flex应用程序使用
    这篇文章将为大家详细讲解有关如何深入探究Flex应用程序使用,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。和大家重点讨论一下Flex应用程序的概念,主要包括...
    99+
    2022-10-19
  • 深入探究Go语言的索引实现方式
    在现代编程语言中,索引是非常重要的数据结构之一。Go语言作为一门新兴的编程语言,也提供了多种索引实现方式。本文将。 一、数组和切片 在Go语言中,数组和切片是最基本的索引实现方式。数组是一种固定长度的数据结构,而切片则是动态长度的数据结构...
    99+
    2023-06-01
    并发 异步编程 索引
  • C++深入探究重载重写覆盖的区别
    目录基类实现子类实现函数调用总结资源链接基类实现 我们先实现一个基类 class BaseTest { private: virtual void display() { c...
    99+
    2022-11-13
    C++ 重载 C++ 重写 C++ 覆盖
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作