目录
一. 前言
上期说道,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引用c
printf("&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的值转换赋给tmp
const double& b = tmp; //b再引用tmp
return 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()函数所耗费的时间,单位是ms
for (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。
不过,引用和指针还是有不同点的,如下:
- 引用概念上定义一个变量的别名,指针存储一个变量地址。
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 引用必须初始化,故没有NULL引用,但有NULL指针
- sizeof的含义不同,sizeof(引用变量)的结果为引用实体的类型大小,而sizeof(指针)始终是地址空间所占字节个数(32位平台下占4个字节,64位平台下占8个字节)
- 引用自增即引用的实体增加1,指针自增即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
- 从安全性的角度,引用比指针使用起来相对更安全
三. 内联函数
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 内联函数的特性
主要有如下几点特性:
- inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会用函数体替换函数调用。缺陷:可能会使目标文件变大;优势:少了调用建立栈帧开销,提高程序运行效率。
- inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般建
议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性(编译器也是很聪明的,可不要贪杯噢)。以下为《C++prime》第五版关于inline的描述:
- 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()函数并不会进入符号表,最后就会导致链接时找不到函数地址,报错。
以上,就是本期的全部内容啦🌸
制作不易,能否点个赞再走呢🙏