C嘎嘎~~ 【初识C++ 下篇】网站首页 学无止境

C嘎嘎~~ 【初识C++ 下篇】

雨子 2023-04-24 20:18:51

简介C嘎嘎~~ 【初识C++ 下篇】

初识C++ 下篇

1.引用
2.指针空值 --- nullptr
3.内联函数

1.引用

1.1引用的概念

相信大家小时候，肯定有小名、绰号、亲朋好友的昵称… …
这些称呼，在一定程度上就是你自己本人。
假如，你的小名叫做二蛋，别人喊二蛋的时候，你就会不由自主地回头去确定是否是在喊你…
想想这些，儿时的回忆就渐渐涌上心头，时而捧腹大笑，时而陷入沉思。

把情绪收回来，让我们一起来了解这个带着回忆（亲切）色彩的 “引用” 。
引用不是新定义一个变量，而是给已存在变量取了一个别名。在语法逻辑上，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块空间（你的别名在一定程度上，代替了你本人，并不会平白无故地多出一个人来）。

让我们通过下面的代码来深刻地理解一下：

int main()
{
	int a = 10;
	int& b = a;
	cout << a << endl; // 10
	cout << b << endl; // 10

	b += 10;
	cout << a << endl; // 20
	cout << b << endl; // 20

	return 0;

}

总结：

引用的基本构成：（实体）类型 + & + 引用变量名（别名）= 引用实体（原本的自己）
引用类型必须和引用实体是一样的类型

1.2引用的特点

引用在定义时必须初始化（要确定是谁的别名）
一个变量可以有多个引用（一个人可以有多个别名）
引用一旦引用一个实体，就不能在引用其他的实体（一个别名只属于你自己）

在这里插入代码片int main()
{
	int tem = 10;

	// int& a; // 报错, 引用定义时没有初始化

	int& a = tem;
	int& b = tem;
	int& c = b; // 引用的引用/ 别名的别名 也是你啊
	cout << a << endl; // 10
	cout << b << endl; // 10
	cout << c << endl; // 10

	printf("%p
", &a); // 0000008EAE3DFBF4
	printf("%p
", &b); // 0000008EAE3DFBF4
	printf("%p
", &c); // 0000008EAE3DFBF4

	return 0;

}

1.3常引用

首先，先表明本人的一个观点：感觉这个常引用就很鸡肋，食之无味，弃之可惜。原本人家就不能改变，还给人家去一个别名，多此一步。也有可能是我的能力太差了，还没领会到常引用的妙用。
常引用的概念; 顾名思义，就是给不能改变的量起个别名

看下面的代码，来验证各位的猜想：

int main()
{
	const int a = 10;

	int& b = a; // error C2440: “初始化”: 无法从“const int”转换为“int &”

	const int& b = a;
	cout << b << endl;

	b += 10; // error C3892: “b”: 不能给常量赋值

}

喏，常引用就是这么简单，没啥说的啦，进入下一部分吧😁😁

1.4引用使用的场景

做参数

这肯定要跟普通的参数有所区别才能体现引用的强大啊！
一般，引用做输出型参数（就是跟传了指针一样，出了函数，参数的值发生了变化）

通过Swap函数来加深你的理解：

void Swap(int& a, int& b)
{
	int tem = a;
	a = b;
	b = tem;
}

int main()
{
	int a = 5, b = 10;
	cout << a << " " << endl; // 5 10

	Swap(a, b);
	cout << a << " " << endl; // 10 5

	return 0;
}

肯定有些老铁会问：老陈，这跟用指针没啥两样呗，直接用指针不就行了？？
这个问题问的好啊！！下一部分，你就会知道why ！！不要走开哦，下一节更精彩！😁😁

做返回值

首先, 先让我们来看一下两个函数:

int Add1()
{
	static int tem = 4;
	return tem;

}
int main()
{
	int ret = Add();
	cout << ret << endl;

}


int& Add2()
{
	static int tem = 4;
	return tem;

}
int main()
{
	int ret = Add2();
	cout << ret << endl;

}

老铁们, 可以猜一下这俩个Add函数的返回值是一样的吗?? 这俩个函数有什么不同?? 我为啥要写这两个函数??

提示一个点, 后面要讲述的是有关函数栈帧的知识, 不知道的赶快去百度, 或者可以去看看我的博客.

先给一个结论: 其实这两个函数的本质是一样的, 但是在细节方面是有一点区别的:

先分析一下Add1, 函数里面的变量是一个用 static 修饰的静态常量, 函数调用结束, 函数栈帧被销毁, 注意这里销毁的是栈空间里面的东西(比如, 局部变量), 而静态常量是建立在常量区的, 并不会被销毁.在这个过程, 同样不会被销毁的还有全局变量, 动态申请的空间(在堆区上). 而在普通的C语言函数中(就是不带有引用& ), 一般返回函数值的时候, 会创建临时变量来存储函数返回的值, 再将临时变量赋值给外面的变量.

这时候, 有些老铁又要疑问了: 静态常量不是在常量区的嘛, 生命周期是整个工程, 直接变过去就行了, 为啥还要创建临时变量, 这多浪费空间和时间啊!!!

原因: 注意看函数返回类型, 这里的 Add1 的返回类型是 int. 在C 语言中中, 是否要生成临时拷贝要看函数返回类型:

如果函数返回类型是 void, 就不用创建临时拷贝, 直接返回(建立在函数栈帧没有被销毁的前提)

如果函数返回类型不是 void, 那么就"傻瓜式"的创建临时拷贝(不管你是不是全局变量, 还是static修饰的静态常量)

再来分析一下Add2, 前面的分析跟Add1函数一样. 返回值不一样, Add2函数返回的是 tem 的引用, 它就不会生成临时拷贝, 就直接返回 tem 自己即可(因为引用也是自己啊).

由上面的例子不难看出, 引用作为函数的返回值的好处:节省拷贝, 提升效率(对象是大对象/ 深拷贝对象时, 效果更显著)~~

看到这里, 有些老铁就会说: 以后所有的函数返回值都用引用返回多简单!!

老陈嘿嘿一笑, 你就知道答案了😁😁

重点(现讲理论知识, 后面会实践):

返回局部变量的引用是十分危险的, 其危险来自于两个方面:

函数出栈, 栈帧有么有被清理
栈是否会被覆盖掉

还是通过上面的例子, 来让我们深化对引用做返回值的理解:

int& Add3(int x)
{
	int a = x;
	a++;
	return a;
}

int main()
{
	int ret = Add3(5); // 6
	cout << ret << endl;

	rand(); // 作用:覆盖掉
	cout << ret << endl; // 随机值
    
    return 0;
}

我们使用的编译器是Vs2013, 根据上图结果可知: Vs2013在函数调用结束后没有清理掉这块栈帧, 我们只好让这块栈帧覆盖掉来验证我们的结论.

如图所示:当我们返回局部变量的引用是十分危险的, 且不方便调试(因为我们一般会直接跳过这个问题).

关于引用作为返回值的总结:
1. 任何场景都可以用作(输出型)参数~~
2. 用作函数返回值的时候要注意: 出了函数作用域, 对象不在了, 就不能引用返回; 如果对象还在, 就可以引用返回~~
补充一下:
- 引用作为函数返回值是有两个方面的功能/ 权限 : 读取和修改(简称"读写")
- 权限可以缩小或平移, 但是不能放大
- 生成的临时变量是具有常性的, 即如果是用引用返回值会造成权限的平移, 如果是用引用来接收函数返回值会造成权限的缩小; 即这两种方式都是合乎要求的.
- 如果函数返回时，出了函数作用域，如果返回对象还在(还没还给系统)，则可以使用引用返回，如果已经还给系统了，则必须使用传值返回
- 空间被回收后, 是指这块栈空间暂时不能被使用, 但是这块空间还存在(所以存在被覆盖的可能). 比如: 你去酒店开房间, 等你归还房间时, 这个房间你就暂时不能用了, 但是这个房间还存在

1.5引用和指针的区别

在语法逻辑上, 引用是一个别名, 没有独立空间, 和引用实体共用一块空间

在底层实现上, 引用其实是有空间的, 引用是按照指针方式来实现的

指针和引用的不同点:

引用概念上定义一个变量的别名, 指针存储一个变量地址
引用在定义时必须初始化, 而指针没有要求
一个引用只能有一个引用实体, 而指针可以指向任何一个同类型的实体
有多级指针, 但是没有多级引用
没有NULL引用, 但是有NULL指针
引用 + 1是引用实体 + 1, 而指针 + 1 是指针向后移动一个类型的大小
访问实体方式不同: 引用是编译器自己处理, 而指针需要显示解引用
sizeof含义不同: 引用的结果是引用实体类型的大小, 而指针的结果是地址空间所占字节数(32位平台下始终是32字节)
引用比指针使用起来更安全(指的是内存泄漏类型的问题)

2.指针空值 — nullptr

有不少老铁(包括我)看到这里, 有点懵圈. 不是已经有NULL了吗, 为啥还要有nullptr的存在啊??

在良好的C/C++编程习惯中，声明一个变量时最好给该变量一个合适的初始值，否则可能会出现不可预料的错误，比如未初始化的指针。如果一个指针没有合法的指向，我们基本都是按照如下方式对其进行初始化：

void test()
{
    int* ptr1 = NULL;
    int* ptr2 = 0;
    //...
    
}

NULL实际是一个宏，在传统的C头文件(stddef.h)中，可以看到如下代码:

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

可以看到，NULL可能被定义为字面常量0，或者被定义为无类型指针(void*)的常量。不论采取何种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如:

void f(int)
{
 cout<<"f(int)"<<endl;
}

void f(int*)
{
 cout<<"f(int*)"<<endl;
}

int main()
{
 f(0); // f(int)
 f(NULL); // f(int)
 f((int*)NULL); // f(int*)
    
 return 0;
    
}

程序本意是想通过f(NULL)调用指针版本的f(int*)函数，但是由于NULL被定义成0，因此与程序的初衷相悖

在C++98中，字面常量0既可以是一个整形数字，也可以是无类型的指针(void*)常量，但是编译器默认情况下将其看成是一个整形常量，如果要将其按照指针方式来使用，必须对其进行强转(void *)0

注意：
1. 在使用nullptr表示指针空值时，不需要包含头文件，因为nullptr是C++11作为新关键字引入的
2. 在C++11中，sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同
3. 为了提高代码的健壮性，在后续表示指针空值时建议最好使用nullptr