【C++深入浅出】初识C++中篇（引用、内联函数）

news/2024/11/24 6:52:20/

目录

一. 前言

二. 引用

2.1 引用的概念

2.2 引用的使用

2.3 引用的特性

2.4 常引用

2.5 引用的使用场景

2.6 传值、传引用效率比较

2.7 引用和指针的区别

 三. 内联函数

3.1 内联函数的概念

3.2 内联函数的特性 

一. 前言

        上期说道，C++是在C的基础之上，容纳进去了面向对象编程思想，并增加了许多有用的库，以及编程范式等。我们介绍了部分C++为了补充C语言语法上的不足而新增的内容，如命名空间，缺省参数，函数重载等等，上期传送门【C++深入浅出】初识C++（上篇）http://t.csdn.cn/UjbIo        本期将继续介绍C++剩下的一些有趣的功能，如引用，内联函数等等，这也是为了后面的类和对象打好基础。 

          话不多说，直接上菜！！！

二. 引用

2.1 引用的概念

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

        引用就相当于我们给别人起昵称。例如你叫你女朋友小笨猪，那么对你而言，小笨猪就是你的女朋友，和叫名字是一个意思，既不是其他任何人，你也不会因此多一个女朋友

2.2 引用的使用

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

void Test()
{int a = 10;int& ra = a; //<====定义引用类型，此时ra就是变量a的别名，ra与a是同一块内存空间printf("a的地址为%p\n", &a);printf("ra的地址为%p\n", &ra);
}int main()
{Test();return 0;
}

我们看到变量a和引用变量ra的地址是一样的，说明它们共用同一块内存空间。

 2.3 引用的特性

        使用引用时需要注意以下几点特性

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

int main()
{int a = 10;int& b; //错误写法，会报错int& b=a; //正确写法return 0;
}

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

int main()
{int a = 10;//下面的b，c，d均是变量a的别名int& b = a;int& c = a;int& d = c;printf("%p %p %p %p\n", &a,&b,&c,&d);return 0;
}

          3、引用一旦引用一个实体，就不能引用其他实体

int main()
{int a = 10;int& b = a; //b是a的别名int c = 20; //能不能将b改成c的别名呢？b = c; //不行，这条语句是将c的值赋给引用变量b，即修改变量a的值，并不是让b引用cprintf("&a = %p &b = %p &c = %p\n", &a,&b,&c);printf("a = %d b = %d c = %d\n", a, b, c);return 0;
}

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

int main()
{int a = 10;double& b = a; //这种写法会报错return 0;
}

        我们看到编译器报错说非常量限定，那如果我们加上const修饰呢？如下：

    const double& b = a;

        我们惊讶地发现通过了编译，说明上面不是因为int和double类型不一样而报错，那究竟是为什么呢？下面我们来分析分析

         实际上，由于引用实体和引用变量的类型不同，编译器会自动进行隐式类型转换。编译器会生成一个double类型的临时变量tmp，然后将a的内容以某种形式放到临时变量tmp中，最后再让b引用临时变量tmp。

int main()
{int a = 10;const double& b = a;//类似于下面的步骤int a = 10;double tmp = a; //将a的值转换赋给tmpconst double& b = tmp; //b再引用tmpreturn 0;
}

         由于临时变量具有常属性，因此tmp的类型就是const double，用double类型的引用变量引用const double类型的变量，这无疑是一种权限的放大，是不被允许的。就好比别人大门紧缩不然你进，你偏偏另辟蹊径从窗户翻入，这无疑是犯法的，私闯民宅。这就是为什么编译器会报出非常量限定的错误的原因，引用变量d需要加上const修饰，权限的平移是被允许的。

        最后，本来临时变量tmp在当前语句结束后就会被销毁，但此时被b所引用，其生命周期就自动被延长了。

         分析了这么多，下面我们用代码来进行验证一下：

int main()
{int a = 10;const double& b = a;printf("&a = %p , &b = %p\n", &a, &b); //求a，b空间的地址printf("修改前 a = %d , b = %.2lf\n", a, b);a = 20;//b = 30; //这句代码会报错，被const修饰的变量不可修改printf("修改后 a = %d , b = %.2lf\n", a, b);return 0;
}

我们发现a的地址和b的地址不同，这说明了b并不是变量a的引用，而是引用了新形成的临时变量。并且，当我们对a进行修改时，b中的内容并没有发生改变，这也印证了a和b不是同一块内存空间。最后，当我们想要对b的内容进行修改时，编译器会直接报错，说明b所在的空间具有常属性。

2.4 常引用

        被const关键字修饰的引用变量我们称为常引用。我们无法通过常引用来修改引用实体的值，如下：

#include<iostream>
using namespace std;
int main()
{int a = 10;const int& b = a;//b++; //会报错,b是常引用，无法修改a++; //a是普通变量，允许修改cout << "a = " << a <<' ' << "b = " << b;return 0;
}

        前面我们提到了权限不能放大，也就是说：普通引用不能引用常属性变量。但是，权限允许平移或者缩小，即常引用可以引用常属性变量、常引用可以引用普通变量。如下：

#include<iostream>
using namespace std;
int main()
{int a = 10;const int& b = a; //权限的缩小，const引用引用普通变量，编译正常const int aa = 10;const int& bb = aa;//权限的缩小，const引用引用const变量，编译正常int& cc = aa;//权限的放大，普通引用引用const变量，报错return 0;
}

 2.5 引用的使用场景

        引用的使用场景一般有两个：做函数参数、做函数返回值。

        1、引用作为函数参数

        在C语言中，如果我们调用函数时使用传值调用，那么形参的改变是不会影响实参的，形参是实参的临时拷贝。如果我们想在函数中对实参进行修改，那就必须使用传址调用，通过地址对实参的值进行修改。

        而在C++中，新增了引用的语法，我们可以使用引用作为函数的形参，此时形参就是实参的一个别名，并不会额外开辟空间，形参和实参共同内存空间，修改形参也就是对实参进行修改。具体实现方式如下

#include<iostream>
using namespace std;
void ModifyFun(int& x) //引用作为函数参数
{x = 100;
}
int main()
{int a = 10;cout << "调用前" << a << endl;ModifyFun(a);cout << "调用后" << a << endl;
}

#include<iostream>
using namespace std;
void Swap(int& x , int& y) //引用作为函数参数
{int tmp = x;x = y;y = tmp;
}
int main()
{int a = 10;int b = 20;cout << "交换前:" << "a = " << a << " b = " << b << endl;Swap(a, b);cout << "交换后:" << "a = " << a << " b = " << b << endl;
}

        2、引用作为函数返回值

        引用也可以作为函数的返回值，如下：

#include<iostream>
using namespace std;
int& Count()
{static int n = 0; //n是一个静态变量，函数调用结束后不会销毁cout << n << endl;;return n;
}
int main()
{int& k = Count();k++;Count();return 0;
}

在Count()函数通过引用返回n，此时main函数中的引用变量k就是n的别名，当我们在main函数中修改k，就相当于对静态变量n做修改。

        但是，如果以下情况使用引用返回会出现什么情况呢？ 

int& Add(int a, int b)
{int c = a + b; //c是局部变量，Add调用结束后被销毁return c;
}
int main()
{int& ret = Add(1, 2);Add(3, 4);cout << "Add(1, 2) is :" << ret << endl;return 0;
}

 很惊讶的发现，最终ret变量的值不是3而是7，为什么呢？

 这就要来谈谈上述代码出现的野引用问题了。

我们通过下图来进行分析 

 总结：函数返回时，如果出了函数作用域，返回对象还在(还没销毁还给系统)，则可以使用
引用返回；如果已经还给系统了，则必须使用传值返回。

2.6 传值、传引用效率比较

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

        而如果以引用作为参数或者返回值类型，由于引用是作为变量的别名，并不会额外开辟空间形成拷贝。因此在传参和返回期间，就相当于直接传递实参或将变量本身直接返回，效率大大提升。下面我们通过代码来更直观地看看二者的效率差距：

        值和引用作为函数参数的效率差距

#include <time.h>
struct A { int a[10000]; };
void TestFunc1(A a)
{;
}
void TestFunc2(A& a)
{;
}
void TestRefAndValue()
{A a;// 以值作为函数参数size_t begin1 = clock(); //clock()函数返回程序运行到调用clock()函数所耗费的时间，单位是msfor (size_t i = 0; i < 100000; ++i)TestFunc1(a);size_t end1 = clock();// 以引用作为函数参数size_t begin2 = clock();for (size_t i = 0; i < 100000; ++i)TestFunc2(a);size_t end2 = clock();// 分别计算两个函数运行结束后的时间cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
int main()
{TestRefAndValue();return 0;
}

         值和引用作为返回值类型的效率差距

#include <time.h>
struct A 
{int a[10000]; 
}a;
// 值返回
A TestFunc1() 
{ return a; 
}
// 引用返回
A& TestFunc2() 
{ return a; 
}
void TestRefAndValue()
{// 以值作为函数的返回值类型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()
{TestRefAndValue();return 0;
}

通过上述代码的比较，我们发现传值和引用在作为传参以及返回值类型上效率相差很大。传引用的效率远高于传值。因此能使用引用就尽量使用引用，提高效率。

2.7 引用和指针的区别

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

        但在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。这点我们可以参照二者编译后生成的汇编代码证明

int main()
{//引用int a = 10;int& ra = a;//指针ra = 20;int* pa = &a;*pa = 20;return 0;
}

可见，引用和指针的汇编代码是一模一样的，最后都是通过变量a的地址来修改a。

不过，引用和指针还是有不同点的，如下：

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

三. 内联函数

3.1 内联函数的概念

        以inline关键字修饰的函数叫做内联函数，编译时C++编译器会在调用内联函数的地方展开，不会调用函数建立栈帧，因此内联函数提升程序运行的效率。
        我们可以通过汇编代码来验证加上inline的函数是否会被调用

        没加inline关键字:

int Add(int x, int y)
{return x + y;
}
int main()
{int ans = 0;ans = Add(1, 2);return 0;
}

          加上inline关键字:

inline int Add(int x, int y)
{return x + y;
}
int main()
{int ans = 0;ans = Add(1, 2);return 0;
}

可以看到，内联函数并不会生成对应的call指令，而是直接被替换到函数调用处，减少了调用函数建立栈帧的开销。

          注意事项：

          内联函数的效果需要在release模式才会体现。因为在debug模式下编译器默认不会对代码进行优化，顾不会进行展开。当然我们也可以进行设置，方法如下（VS2022）：

1、找到当前项目属性设置页：

 2、设置调试信息格式：

  3、设置内联函数扩展：

3.2 内联函数的特性 

主要有如下几点特性：

  1. inline是一种以空间换时间的做法，如果编译器将函数当成内联函数处理，在编译阶段，会用函数体替换函数调用。缺陷：可能会使目标文件变大；优势：少了调用建立栈帧开销，提高程序运行效率。
  2. inline对于编译器而言只是一个建议，不同编译器关于inline实现机制可能不同，一般建
    议：将函数规模较小(即函数不是很长，具体没有准确的说法，取决于编译器内部实现)、不是递归、且频繁调用的函数采用inline修饰，否则编译器会忽略inline特性(编译器也是很聪明的，可不要贪杯噢)。以下为《C++prime》第五版关于inline的描述：
  3. inline不建议声明和定义分离，分离会导致链接错误。因为inline被展开，符号表中就没有函数地址了，链接就会找不到。 
    // in.h
#include <iostream>
using namespace std;
inline void f(int i);// in.cpp
#include "in.h"
void fun(int i)
{cout << i << endl;
}// main.cpp
#include "in.h"
int main()
{fun(10);return 0;
}

    报错原因：由于in.h文件中只有函数的声明没有定义，顾在编译阶段main.cpp中的fun() 函数无法进行展开，只能在链接阶段进行链接。但是由于in.cpp的fun()函数被声明为内联函数，fun()函数并不会进入符号表，最后就会导致链接时找不到函数地址，报错。

以上，就是本期的全部内容啦🌸

制作不易，能否点个赞再走呢🙏


http://www.ppmy.cn/news/1043179.html

相关文章

ELKstack-日志收集案例

ELKstack-日志收集案例

由于实验环境限制&#xff0c;将 filebeat 和 logstash 部署在 tomcat-server-nodeX&#xff0c;将 redis 和 写 ES 集群的 logstash 部署在 redis-server&#xff0c;将 HAproxy 和 Keepalived 部署在 tomcat-server-nodeX。将 Kibana 部署在 ES 集群主机。 环境&#xff1a;…
阅读更多...
vue中实现文字检索时候将搜索内容标红

vue中实现文字检索时候将搜索内容标红

实现结果 html&#xff1a; <div class"searchBox"><span class"bt">标&#8195&#8195题</span><div class"search"><div class"shuru"><!-- <span class"title">生产经营<…
阅读更多...
Linux系统之安装my-mind思维导图工具

Linux系统之安装my-mind思维导图工具

Linux系统之安装my-mind思维导图工具 一、my-mind介绍二、本地环境介绍2.1 本地环境规划2.2 本次实践介绍 三、检查本地环境3.1 检查本地操作系统版本3.2 检查系统内核版本3.3 检查端口占用情况 四、安装httpd4.1 检查本地yum仓库4.2 安装httpd4.3 关闭防火墙和selinux4.4 创建…
阅读更多...
视频集中存储/云存储/磁盘阵列EasyCVR平台接入RTSP设备出现离线情况的排查

视频集中存储/云存储/磁盘阵列EasyCVR平台接入RTSP设备出现离线情况的排查

安防视频监控/视频集中存储/云存储/磁盘阵列EasyCVR平台可拓展性强、视频能力灵活、部署轻快&#xff0c;可支持的主流标准协议有国标GB28181、RTSP/Onvif、RTMP等&#xff0c;以及支持厂家私有协议与SDK接入&#xff0c;包括海康Ehome、海大宇等设备的SDK等。平台既具备传统安…
阅读更多...
Mac terminal 每次打开都要重新配置文件

Mac terminal 每次打开都要重新配置文件

1. 问题描述 每次打开 Terminal&#xff0c;base_profile文件中配置的内容就不生效&#xff0c;需要重新执行source ~/.bash_profile才可以使用。 2. 原因分析 zsh加载的是~/.zshrc文件&#xff0c;而.zshrc 文件中并没有定义任务环境变量。 3. 解决办法 在~/.zshrc文件末尾添…
阅读更多...
Python：逢七拍腿游戏

Python：逢七拍腿游戏

场景模拟&#xff1a; 通过在 for 循环中使用 continue 语句实现计算拍腿次数&#xff0c;即计算从1到100&#xff08;不包括100&#xff09;&#xff0c;一共有多少个尾数为7或7的倍数这样的游戏&#xff0c;代码如下&#xff1a; total 99 # 记…
阅读更多...
通讯协议044——全网独有的OPC HDA知识一之聚合（十二）持续坏值时间

通讯协议044——全网独有的OPC HDA知识一之聚合（十二）持续坏值时间

本文简单介绍OPC HDA规范的基本概念&#xff0c;更多通信资源请登录网信智汇(wangxinzhihui.com)。 本节旨在详细说明HDA聚合的要求和性能。其目的是使HDA聚合标准化&#xff0c;以便HDA客户端能够可靠地预测聚合计算的结果并理解其含义。如果用户需要聚合中的自定义功能&…
阅读更多...
antd5源码调试环境搭建（window系统）

antd5源码调试环境搭建（window系统）

将antd源码克隆至本地 $ git clone gitgithub.com:ant-design/ant-design.git $ cd ant-design $ npm install $ npm start前提安装python3、安装node版本18版本 不然后续安装依赖会报python3相关的错误。 项目需要使用git 初始化 不然会报husky相关的错误 git init重新安…
阅读更多...
最新文章

Copyright @ 2022~2023