C++基础篇(二)—— 引用、inline、nullptr

在这里插入图片描述

这里是think的博客

希望可以一起交流知识,一起think

今天我们来学习C++

一起来think

1.引用

引用就是给一个已经存在的变量取别名,语法上和指针不同的是它不开空间,但是底层还是指针,但是注意我们一般看的是语法。

#include<iostream>
#include<stdio.h>
using namespace std;
int main()
{	
	int a = 10;
	int& p = a;
	p++;
	cout << p << " " << a << endl;
	return 0;
}

1.1为什么要有引用

刚刚说了引用的底层是指针,那么我们既然有了指针,那么引用的出现是否多余?其实不然。

像我们上面写的那个例子,其实只是最简单的使用,没有什么实际的意义,引用在引用传参和引用做返回值中有比较大的作用。

  1. 引用传参,语法上不开空间,其中引用传参相比于指针传参在内部使用的时候不需要解引用了,使用上更加方便,效率上面和普通的传值传参相比减少了拷贝。
  2. 引用做返回值相比于直接的传值返回,在后续的类和对象中起来非常大的优化效率的作用,指针作返回值也可以优化效率,毕竟底层是一样的,但是使用上极其不方便,毕竟在返回的时候要取一次地址,外面使用的时候还要解引用,很麻烦。
  3. 总结一下,现阶段我们先这样理解一下,主要就是因为引用设计出来就是为了解决在一些场景下指针使用十分不方便的问题,至于其他的以后再说。

1.2引用的特性

诶,那么引用这么方便的话,那么C++中还需要用到指针吗?
其实还是需要的。

因为引用有三大特性

  1. 引用在定义的时候必须初始化的时候赋值
  2. 一个变量可以有多个引用
  3. 引用只能引用一个对象,并且后续不可以改变引用的对象

1,3结合起来就是引用只能引用初始化的时候引用的对象,后续不可以改变。

  • 引用有这三大特性,也就使得引用无法取代指针,因为在设计链表的时候,指针要频繁的改变指向,而引用无法改变其”指向“,所以还是需要指针的。
  • 三大特性的产生也是因为C++中引用的诞生不是为了取代指针,而是为了弥补指针使用上的不便。

1.3引用的使用

1.3.引用传参

#include<iostream>
#include<stdio.h>
using namespace std;

int Add(int& a, int& b)
{
	return a + b;
}

int main()
{	
	int a = 100;
	int b = 10;
	cout << Add(a, b) << endl;
	return 0;
}

引用传参对于内置类型减少拷贝发挥的效果比较弱,比如这里虽然减少了拷贝,但是效率没有提高(从底层看都是传递4个字节(32位机器)),但是在后续的类和对象中发挥了比较大的作用

1.3.2引用做返回值

#include<iostream>
#include<stdio.h>
using namespace std;

int Add(int a, int b)
{
	int c = a + b;
	return c;
}

int main()
{	
	int a = 100;
	int b = 10;
	int ret = Add(a, b);
	cout << ret << endl;
	return 0;
}

在这里插入图片描述
语法层面上是这样的,我们分析一下,返回值先拷贝给临时对象(临时变量),临时变量在调用处被使用(其实一个箭头即可,两个箭头是为了突出临时变量,过程总结就是返回值拷贝给调用处构建的临时变量,然后临时变量中的值再拷贝给ret。

这里是不能用引用做返回值的,因为c变量是在Add函数栈帧中创建(Add函数栈帧销毁后也就销毁了),我们举一个引用做返回值实际的例子来分析一下

在这里插入图片描述
这个代码,我们可以看到值返回的过程和我们上面分析的是一样的,这里是在获取栈的栈顶元素,调用处尝试修改返回的值,为什么报错?

现阶段,我们认为是临时变量具有常性,所以不可以修改。(实际上是因为临时变量是右值,而右值不能直接作为普通赋值操作符的左边)

但是如果将值返回改为引用返回,这个代码就成立了,因为函数返回的不是一个新的临时值,而是返回了原变量的引用,使得函数调用表达式直接表示原变量本身,因此可以作为左值进行修改。

我们发现引用做返回值,调用处不用做任何的修改,只用改返回值的类型即可,相比于指针使用上更加方便,相比于值返回减少了拷贝,同时从不可以改变原变量到可以改变。

1.4const引用

1.4.1权限放大和缩小

对于一个const对象,我们不能用普通引用来引用它,要用const引用来引用它。

const int a = 10;
const int& b = a;
  • 原因:
    因为普通引用是可以修改值的,如果普通引用引用const变量的话(又叫做权限放大),就可以修改const变量的值,这是不符合逻辑的,我不可以修改,你引用我,你就可以修改了,即我都没有这样的修改属性,你是我的别名,你哪里来的这样的修改属性?

所以普通引用引用const对象是不符合语法规则的,所以要用const引用引用const对象(在C++中指针也是如此,C语言中语法没有那么严格,权限放大现象在C语言中通过隐式类型转换达成了,但是通过指针进行修改属于未定义行为

但是我们可以用const引用引用普通对象。(又叫做权限缩小

  • 原因:
    因为普通对象具有读和写两种属性,是可以修改的,那么用const引用引用了,就表示这个别名把写的属性丢掉了,不要了,是可以的,符合逻辑(又不是像上面那样凭空多出来一个写属性)。

1.4.2const引用引用临时对象

为什么不能用普通引用引用临时变量?

  • 理解1:临时对象具有常性,所以不可以用普通引用来引用,要用const引用引用。
  • 理解2:临时变量是右值,而右值是不可以直接通过普通赋值操作符修改的,如果用普通引用引用临时变量,那么普通引用具有直接修改属性,但是临时变量又不具有,所以权限放大,所以不可以,而const引用刚好就不具有修改属性,所以可以认为是权限平移。
const int& rb = a*3; //例1
double d = 12.34; 
const int& rd = d;//例2

例1中a*3的结果被保存在临时变量中,rb引用了这个临时变量,例2中d进行了隐式类型转换,从double变到了int,实际上就是d的值经过处理后放到了临时变量中,rd引用了这个临时变量。(临时对象默认生命周期在这一行,如果直接绑定到 const 引用,生命周期会延长到该引用生命周期结束。但后续产生的引用不会继续延长这个临时对象的生命周期。

1.5指针和引用的补充注意点

  1. sizeof求大小的时候指针都是4/8个字节大小,但是用sizeof求引用的大小的时候,求出来的是引用类型的大小
  2. 指针由于可以改变指向,所以空指针很为常见,但是由于引用不可以改变指向,所以空引用不存在,但是可以间接空引用。
#include<iostream>
#include<stdio.h>
using namespace std;

int main()
{
    int* p = NULL;  // 空指针
    int& r = *p;       // 间接制造引用
    //r++;            // 使用这个引用

    return 0;
}

这样编译可以通过(因为底层是指针,如果没有使用r的情况下,底层不会真的执*p,而是会拿到*p的地址,即p的值,但是并不会真的解引用),但是如果使用了r(即对p解引用了),程序就会崩溃。(对空指针解引用)

2.inline

inline修饰的函数叫做内联函数,即在函数内部直接展开,不需要建立栈帧,提高了程序的运行效率。

#include<iostream>
#include<stdio.h>
using namespace std;

inline int Add(int a, int b)
{
    int c = a + b;
    return c;
}

int main()
{
    Add(1, 2);
    return 0;
}

2.1inline和宏函数

C语言中有一个宏函数,它的使用比较的麻烦,内括号,外括号是必不可少的,不然结果就可能出错

  1. 首先传参的时候宏函数是不计算直接替换,此时如果宏函数内部优先级较高,会导致内部运算符先算,这也是需要内括号的原因
    #define Mul(x,y) x*y
    int c = Mul(1+1, 2+2);
  2. 宏函数不是内部表达式都算完,然后再把结果返回的,而是直接把表达式替换到调用处,而不会计算。
    #define Add(x,y) x+y
    int c = 3*Add(1, 2);

这也使其使用不太方便,所以内联函数产生了,来替代宏函数。

2.2内联函数注意点

  1. 内联修饰的函数并不一定都会展开,这里的inline我们认为它其实是一个建议,即建议编译器在处理这个函数的时候进行内联展开,但是如果此时这个函数代码太多或者函数递归太深,编译器就不会遵从你的建议,而是会按照普通函数来处理,创建函数栈帧。
  2. 内联函数使用范围其实就是频繁调用的短小函数,当一个短小函数被大量调用时,不内联会产生大量函数调用开销;内联会复制函数体,使代码体积增加,但减少了调用成本。如果函数体足够小,这种空间增加通常值得,因此可以通过增加代码大小换取运行效率。
  3. 内联函数不能声明与定义分离到两个文件,如果这样会报链接错误。

因为展开头文件只能看到声明的话,没有定义的话,是无法进行内联展开的(编译器无法在编译期间将内联函数处理后展开到调用处),此时只能按照正常函数来调用,call 函数名。

又因为编译期间,各个文件是分离编译的,所以另一个文件的内联函数定义会直接在本文件调用之处展开,因为内联函数是在编译期间展开的,所以编译器不会为其建立符号表,此时函数名这个符号就失去了作用,那么在链接的时候,我们用函数名去找对应地址的时候就找不到,就直接报错,报链接错误。

3.nullptr

nullptr可以隐式类型转换为任意指针类型,但是不可以转化为int类型

3.1为什么要有nullptr?

我们已经有了NULL了,为什么还要有一个nullptr?
NULL是一个宏,在stddef.h中有这么一段代码

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

这里说明C++中定义NULL为0,C语言中定义NULL为(void*)0,为什么这样定义?

原因是C++语法相比于C语言更加严格了,C语言中void*可以隐式类型转换为任意类型的指针,但是C++中不可以,不能隐式类型转换,必须要强制类型转换(强转是为了让你检查一下是否使用错误了,比如把double的值交给int来解引用了)

double d = 3.14;

void* p = &d;

int* ip = p;  // 如果允许
cout << *ip;

所以定义为(void*)0反而会导致NULL无法赋值给任意类型的指针,而将NULL定义为0,是因为C语言中就有这么个语法,即0在指针初始化语境中被解释为空指针常量,进而解决了因为C++语法变得更加严格而导致的NULL不能赋值问题。

3.1.2函数重载中只有NULL面临的问题

那么如果到这里就可以的话,C++11就没有必要设计出nullptr这个关键词了。

真正的问题在函数重载中。

#include<iostream>
#include<stdio.h>
using namespace std;

void f(int x)
{
	cout << "f(int x)" << endl;
}
void f(int* ptr)
{
	cout << "f(int* ptr)" << endl;
}
int main()
{
	f(0);
	f(NULL);
	f((int*)NULL);
	f(nullptr);
	return 0;
}
  • 我们可以看到如果我们传NULL或者0的话,调用的是第一个函数,但是我们使用NULL的意图就是要调用第二个函数,但是0只在指针初始化语境中被解释为空指针常量,但是这里是传参,所以不符合这种情况,0又是int类型,所以调用第一个函数。

  • 我们可以传(int*)NULL来调用第二个函数,但是这样就太过别扭了,因为这样就需要具体函数具体设计,这样传递的话也不符合空指针的设计理念。

  • 所以C++11创建了关键词nullptr,nullptr可以隐式类型转换为任意指针类型,但是不可以转化为int类型,就解决这类问题。

  • 这里如果传(void*)0(C语言中的NULL)会报错,C++中指针不可以隐式类型转换为整型(C语言中可以,编译器检查宽松,可以报警后通过),void*也不可隐式类型转换为其他的指针类型。

  • 可以看到C语言中NULL在C++中会直接报错,而C++中的NULL在这里虽然不会报错,但是其最终的结果也是不符合空指针的意义的,这也是nullptr出现的原因

4.总结

谢谢观看!

评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值