【初始C++】引用的概念及使用场景、引用与指针的区别、内联函数、类型推导关键字auto、范围for循环、指针空值nullptr

目录

1.引用

1.1引用的概念

1.2引用的特性

1.3使用场景

1.4引用与指针的区别

2.内联函数

2.1内联函数的概念

2.2内联函数的特征

3.auto关键字(C++11)

4.基于范围的for循环(C++11)

5.指针空值nullptr(C++11)


1.引用

1.1引用的概念

引用不是新定义一个变量,而 是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空
间,它和它引用的变量 共用同一块内存空间。
引用的声明方法:类型& 引用变量名(对象名) = 引用实体;
看到 & 这个符号是否会觉得熟悉,在C语言中,我们用&来取变量的地址,还可以表示进行按位与操作,在C++中我们沿用了这两种表达方式,新增了引用。
区分使用&的三种情况:
&a               ;表示取地址
a&b             ;a,b进行按位与
int& b = a    ;b是a的引用,即b是a的别名

可以给一个变量定义多个引用 ,即取多个别名,也可以给别名取别名。

    int a = 10;int& b = a;  //给a取别名int& c = a;  //给a取别名int& d = b;  //给b取别名

1.2引用的特性

(1)引用必须初始化

(2)一个变量可以有多个引用

(3)引用定以后不能改变指向

int& b = a;

b = c;  //该操作是将c的值赋给a

 引用的一个使用场景:

        在学习引用之前,在交换两数的Swap函数中,传过去的参数是两数的地址,函数参数用指针接收,使用引用时参数写为 类型& 别名

void Swap1(int* x,int* y)  //x,y是a,b的地址
{int tmp = *x;*x =*y;*y = tmp;
}
void Swap2(int& x, int& y) //x,y是a,b的别名
{int tmp = x;x = y;y = tmp;
}
int main()
{int a = 1;int b = 2;Swap1(&a,&b);Swap2(a,b);return 0;
}

        既然能这样使用,那么引用能否替代指针?

        不能完全替代,指针和引用的功能类似,C++的引用对指针使用比较复杂的场景进行一些替换,让代码更简单,不能完全替代的原因:引用定以后,不能改变指向

1.3使用场景

(1)做参数

a、输出型参数

像下面这道题中的returnSize,就是一个输出型参数。

二叉树的前序遍历

b、如果对象比较大,减少拷贝,提高效率。

        虽然指针也能达到目的,但是引用效率更高,更省时。

(2)做返回值

a、修改返回对象

b、减少拷贝、提高效率

以下代码是引用做返回值的形式吗?

e52becba1110434ea1261a4e731d9240.png        代码(1)是传值返回,返回a的值用ret接收,因为a是局部变量,fun1函数结束,ret收到的值取决于函数栈帧销毁时对这块空间清不清零,如果清零就收到的返回值就是随机值;

        代码(2)是引用返回,返回a的引用,但因为a仍是局部变量,与(1)相同,对这片空间清零的话ret收到的值就是随机值;

        代码(3)中返回a的引用,ret也是a的引用,但出了作用域a的空间就被反还给操作系统,ret成了野引用,就找不到a了;

总结:如果返回变量出了函数作用域生命周期到了要销毁,就不能用引用返回

        所以以上都不是。以上是传值返回和传引用返回的区别,前者是传返回值的拷贝,后者是传返回值的引用。

可以用引用返回的情况有:全局变量/静态变量/堆上变量等

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

1.4引用与指针的区别

 语法上:

a、引用是别名,不需要开额外的空间;指针是地址,需要开辟空间存放地址

b、引用必须初始化,指针可以初始化也可以不初始化

c、引用不能改变指向,指针可以改变

d、引用相对更安全,没有空引用,但是有空指针。所以容易出现空指针,不容易出现空引用

 e、sizeof中含义不同引用结果为引用类型的大小,但指针始终是地址空间所占字节个数

 f、有多级指针,没有多级引用

g、引用++是对所引用的实体增1,指针++是指针向后偏移一个类型的大小

h、指针需要显示解引用,引用编译器自己处理 

用法和底层:

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

2.内联函数

2.1内联函数的概念

每调用一次函数就建立一个栈帧,如果频繁调用就需要频繁建立栈帧,在C语言中,使用宏函数解决了这个问题。但是宏函数在书写时语法比较复杂不好控制,所以C++中引入了内联函数。

inline修饰的函数叫做内联函数, 编译时C++编译器会在 调用内联函数的地方展开,没有函数调
用建立栈帧的开销,内联函数提升程序运行的效率。

c65443cdae434a60beb693d897061f36.png

2.2内联函数的特征

(1)inline是一种以空间换时间的做法,如果编译器将函数当作内联函数处理,在编译阶段,会用函数体替换函数调用。(空间不是内存空间,是指编译好的可执行程序)缺点:可能会使目标文件变大,即发生代码膨胀;优点:减少了调用开销,提高程序运行效率。

(2)inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般将函数规模小的、不是递归的、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性。

(3)inline不建议声明和定义分离,否则会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到。

如果在头文件内定义一个函数,在多个文件包含该头文件,程序将会报错。报错信息如下:

2ad8d854b47b45139b0a6dca406bd8ad.png

这是因为在生成的code.o和test.o内都有函数定义,该函数地址进入符号表了,在链接时两文件的符号表需要合并,合并时发生存在两个一样的函数,便发生了链接错误

链接错误的解决方法:

①声明与定义分离

        这种方法是我们最常使用的一种,在头文件声明,其他文件定义。

②static修饰

        如果不想将声明和定义分离,便可使用static修饰函数。static修饰函数是改变了函数的链接属性,语法上说是只在当前文件可见,从底层讲是该函数地址不会进入符号表,因此不会发生链接冲突。

③inline修饰

        声明与定义不可分离,与静态修饰的原理类似。一般我们对小函数用inline修饰,大函数用static修饰。

594ff07ded714268b4e8162d0b625550.png

3.auto关键字(C++11)

3.1引入

        随着程序越来越复杂,程序用到的类型也越来越复杂,比如含义不明确、类型难拼写等。

#include<map>
#include<string>
int main()
{std::map<std::string, std::string>m{ {"apple","苹果"},{"orange","橘子"}};std::map<std::string, std::string>::iterator it = m.begin();//...return 0;
}

std::map<std::string, std::string>::iterator 是一个类型名,但是该类型太长了,写起来很麻烦,所以我们可以通过给它取别名来减少失误。

在C语言的学习中,我们使用typedef给类型取别名,比如添加 typedef  std::map<std::string, std::string> Map 。     

#include<map>
#include<string>
typedef  std::map<std::string, std::string> Map ;
int main()
{std::map<std::string, std::string>m{ {"apple","苹果"},{"orange","橘子"}};Map::iterator it = m.begin();//...return 0;
}

那么在C++中,使用什么可以简化代码呢?由此我们引出了关键字auto。

写为:

auto it = m.begin();

 3.2auto的含义

        auto的作用是自动推导类型,在使用的时候必须初始化。

在早期的C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量。

C++11中,auto被赋予了新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推到而得。

#include<iostream>
using namespace std;
int main()
{int i = 1;auto j = i;cout << typeid(j). name() << endl;  //typeid用于打印参数类型auto p = &i;auto* ps = &j;cout << typeid(p).name() << endl;cout << typeid(ps).name() << endl;auto& k = j;cout << typeid(k).name() << endl;//auto m;    error C3531: “m”: 类型包含“auto”的符号必须具有初始值设定项return 0;
}

7e02b724e6024c1d8e0a299084699109.png  

【注意】auto使用时必须初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此,auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。 

3.3auto的使用场景

3.3.1auto与指针和引用结合起来使用

        通过前面例子可以看出用auto声明指针类型时使用 auto 和 auto* 没有区别,但在用auto声明引用类型时必须写为auto&。

3.3.2在同一行声明多个变量

        在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器会报错。因为编译器只对第一个类型进行推导,然后用推导出来的类型定义其他变量。

void TestAuto()
{
    auto a = 1, b = 2;
    auto c = 3, d = 4.0;
}

报错如下:

9faf12a2703f4f6bbdd35380899444d6.png

3.4auto不能推导的场景

(是规定,记住就可以了)

①auto不能作函数的参数

a265cb4f0d974595bad3f3fb72fb6991.png

②auto不能用来声明数组

b69f1d4ef0d24f8b946103ff7b723615.png

③与新式for循环,lambad表达式等配合使用。

4.基于范围的for循环(C++11)

4.1引入

在C++98中,我们要遍历一个数组通常使用下面的方式进行:

void TestFor()
{int array[] = { 1,2,3,4,5 };for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)array[i] *= 2;for (int* p = array; p < array + sizeof(array) / sizeof(array[0]); ++p)cout << *p << endl;
}

遍历的范围是一个有限的集合,为了避免出错,在程序员使用时可以不必说明循环范围。因此在C++11中引入了基于范围的for循环。for循环后的括号由“ :”分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围

上述代码可修改成下面的形式,想想打印的结果是什么?

void TestFor()
{int array[] = { 1,2,3,4,5 };for (auto e : array)  //依次取数组中的值赋值给e,自动迭代,自动判断结束e *= 2;for (auto e : array)cout << e << " ";
}

 结果是:1 2 3 4 5

不是已经执行 e *= 2 了吗,为什么打印出的结果还是原数值呢。因为只是将array[0]、arrary[1] 等的值赋给了变量e,e只是它的一份拷贝,并不会修改数组本身的值。要想修改数组的值,只需将变量声明为引用类型。

b460b43f7b6745939a8a4a8c7e154f8f.png

4.2范围for的使用条件 

①for循环迭代的范围必须是确定的

像下面代码就是有问题的,因为循环迭代的范围不确定。(形参不能是数组,传过来的是指针) 

void TestFor(int a[])
{for (auto& e : a)e *= 2;
}
int main()
{int arr[] = { 1,2,3 };TestFor(arr);return 0;
}

②迭代的对象要实现++和==的操作

5.指针空值nullptr(C++11)

请看以下代码,思考一下结果是什么

void f(int i)
{cout << "f(int)" << endl;
}
void f(int* i)
{cout << "f(int*)" << endl;
}
int main()
{f(0);f(NULL);
}

结果如下:

a765a770bc0e428fa35a52512ef56fb7.png

与你思考的结果一样吗?f(NULL)对应结果为什么不是f(int*)?

在C++98中NULL实际是一个宏,在stdio.h中可以看到以下代码

#ifndef NULL
#ifdef _cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif

可以看出NULL被定义为字面常量0,或者被定义为无类型指针(void*)的常量。从而出现了上面的问题。

所以要想在C++中匹配第二个函数时应该将NULL强转成指针类型。

这样看来每次使用指针空值时需要强转,很不方便。在C++11中引入了一个关键字nullptr,用它来表示指针空值。

55c8f312db09419fa441a6162967ca2d.png

注意:

①使用nullptr表示指针空值时不需要包含头文件

②在C++11中,sizeof(nullptr) 与 sizeof((void*)0) 所占字节数相同

③为了提高代码健壮性,后续都建议使用nullptr表示指针空值

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/684624.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

RocketMQ消息队列(下)

RocketMQ 基本概念 RocketMQ主要有四大核心组成部分&#xff1a;NameServer、Broker、Producer以及Consumer 四部分。这些角色通常以集群的方式存在&#xff0c;RocketMQ 基于纯Java开发&#xff0c;具有高吞吐量、高可用性、适合大规模分布式系统应用的特点。 对于RocketMQ …

嵌入式培训机构四个月实训课程笔记(完整版)-Linux ARM驱动编程第四天-ARM Linux编程之IIC与uart (物联技术666)

链接&#xff1a;https://pan.baidu.com/s/1V0E9IHSoLbpiWJsncmFgdA?pwd1688 提取码&#xff1a;1688 教学内容&#xff1a; 1、I2C总线&#xff1a; I2C&#xff08;Inter&#xff0d;Integrated Circuit),PHILIPS公司开发的两线式半双工同步串行总线&#xff1b;可以用来连…

C/C++重点解析——内存管理

1. C/C内存分布 我们先来看一段代码和其相关问题&#xff1a; int globalVar 1; static int staticGlobalVar 1; void Test() {static int staticVar 1;int localVar 1;int num1[10] { 1, 2, 3, 4 };char char2[] "abcd";const char* pChar3 "abcd"…

蓝桥杯刷题--python-6

0最大距离 - 蓝桥云课 (lanqiao.cn) n=int(input()) nums=list(map(int,input().split()))max_=float(-inf) for i in range (n):for j in range (i+1,n):tmp=abs(i-j)+abs(nums[i]-nums[j])max_=max(tmp,max_) print(max_) 0最长递增 - 蓝桥云课 (lanqiao.cn) import os im…

中科大计网学习记录笔记(十一):CDN

前言&#xff1a; 学习视频&#xff1a;中科大郑烇、杨坚全套《计算机网络&#xff08;自顶向下方法 第7版&#xff0c;James F.Kurose&#xff0c;Keith W.Ross&#xff09;》课程 该视频是B站非常著名的计网学习视频&#xff0c;但相信很多朋友和我一样在听完前面的部分发现信…

解决报错npm i -g ts-node

报错提示&#xff1a; npm ERR! code EPERM npm ERR! syscall mkdir npm ERR! path C:\Program Files\nodejs\node_modules\ts-node npm ERR! errno -4048 npm ERR! Error: EPERM: operation not permitted, mkdir C:\Program Files\nodejs\node_modules\ts-node npm ERR! [E…

【读书笔记】ICS设备及应用攻击(一)

工控系统通常是由互联设备所构成的大型复杂系统&#xff0c;这些设备包括类似于人机界面&#xff08;HMI&#xff09;、PLC、传感器、执行器以及其他使用协商好的协议进行相互通信的设备。所有交互背后的驱动力都是软件&#xff0c;软件为工控系统中几乎所有部分的运行提供支撑…

软件测试-自动化测试-面试题研究,知识要点,高频、重点知识点,自动化测试知识要点、知识梳理-PYTHON+自动化,评估试题

自动化项目实战能力评估 介绍一下你的自动化测试框架&#xff1f; 我的框架主要根据分层思想设计了几个独立模块&#xff1a; 模块一&#xff1a;主要存放通用业务代码&#xff0c;比如接口访问&#xff0c;数据库操作&#xff0c;excel 操作&#xff0c;等等 模块二&#xf…

2月12号

第一种判断方式 if (n 10) 更好&#xff0c;因为它具有更好的可读性、可以避免误操作&#xff0c;并符合常见的编程习惯和约定

问题:下列不属于影响职业选择的内在因素是()。 #微信#微信

问题&#xff1a;下列不属于影响职业选择的内在因素是&#xff08;&#xff09;。 A.健康 B.个性特征 C.性别 D.家庭的影响 参考答案如图所示

程序员搞什么副业才有性价比?

干一行恨一行&#xff0c;三百六十行&#xff0c;行行干破防&#xff01; 一份稳定的主业固然重要&#xff0c;但是有性价比的副业更令人心动。朝九晚五的工作日复一日&#xff0c;当然也可能是996的生活反复捶打。从整体来讲&#xff0c;程序员算是高收入群体&#xff0c;但往…

C++ 图上 bfs(五十八)【第五篇】

今天我们来学习一下图上bfs。 1.图上bfs 在图上&#xff0c;我们也可以进行 BFS&#xff0c;也可以解决图上 DFS 能解决的问题&#xff0c;比如连通块。 除此以外&#xff0c;根据 BFS 的性质&#xff0c;第一次到一个点的时候记下来的步数一定是到从起点到这个点的最小步数&…

promise【JavaScript

Promise有四种状态&#xff1a; 1.pending&#xff08;进行中&#xff09;&#xff1a;初始状态&#xff0c;表示异步操作尚未完成。当创建一个Promise对象时&#xff0c;它的初始状态就是pending。 2.fulfilled&#xff08;已成功&#xff09;&#xff1a;表示异步操作已成功…

【论文精读】GPT2

摘要 在单一领域数据集上训练单一任务的模型是当前系统普遍缺乏泛化能力的主要原因&#xff0c;要想使用当前的架构构建出稳健的系统&#xff0c;可能需要多任务学习。但多任务需要多数据集&#xff0c;而继续扩大数据集和目标设计的规模是个难以处理的问题&#xff0c;所以只能…

Leetcode 516.最长回文子序列

题意理解&#xff1a; 给你一个字符串 s &#xff0c;找出其中最长的回文子序列&#xff0c;并返回该序列的长度。 子序列定义为&#xff1a;不改变剩余字符顺序的情况下&#xff0c;删除某些字符或者不删除任何字符形成的一个序列。 回文理解为元素对称的字串&#xff0c;这里…

PR:视频编辑播放速度技巧

想要视频片段加速或者减速&#xff0c;可以在片段上右击&#xff0c;选择“速度/持续时间...” 速度&#xff1a;可以更改百分比&#xff0c;如改成200%就是加速一倍&#xff0c;改成50%就是减速一倍。 注&#xff1a;如果源视频是正常速度录制的&#xff0c;比如每秒25帧&…

Linux split命令教程:如何分割大文件(附实例详解和注意事项)

Linux split命令介绍 split命令在Linux中用于将大文件分割成多个小文件。你可以根据需要自定义参数来分割文件。默认情况下&#xff0c;split命令会创建每1000行的新文件。 Linux split命令适用的Linux版本 split命令在所有主流的Linux发行版中都可以使用&#xff0c;包括但…

MySQL性能调优篇(6)-主从复制的配置与管理

MySQL数据库主从复制是一种常用的数据复制和高可用性解决方案。它允许将一个MySQL主服务器上的数据自动复制到多个从服务器上&#xff0c;从而提供了数据冗余备份、读写分离等优势。本文将详细介绍MySQL数据库主从复制的配置与管理。 1. 原理概述 MySQL主从复制是基于二进制日…

CSS弹性布局

CSS弹性布局 一、概念 ​ 弹性盒子是 CSS3 的一种新的布局模式。 ​ CSS3 弹性盒&#xff08; Flexible Box 或 flexbox&#xff09;&#xff0c;是一种当页面需要适应不同的屏幕大小以及设备类型时确保元素拥有恰当的行为的布局方式。 ​ 引入弹性盒布局模型的目的是提供一…

【制作100个unity游戏之23】实现类似七日杀、森林一样的生存游戏17(附项目源码)

本节最终效果演示 文章目录 本节最终效果演示系列目录前言制作木板UI直接复制和工具一样的即可检查背包是否有指定数量的空插槽 源码完结 系列目录 前言 欢迎来到【制作100个Unity游戏】系列&#xff01;本系列将引导您一步步学习如何使用Unity开发各种类型的游戏。在这第23篇…