一.引用
1.引用的概念和定义
引用不是新定义⼀个变量,而是给已存在变量取了⼀个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同⼀块内存空间。
类型& 引用别名 = 引用对象;
2.引用的特征
a.引用在定义时必须初始化
b.一个变量可以有多个引用
c.引用一旦引用一个实体,再不能引用其他实体
int main()
{
int a = 10;
// 编译报错:“ra”: 必须初始化引⽤
//int& ra;
int& b = a;
int c = 20;
// 这⾥并⾮让b引⽤c,因为C++引⽤不能改变指向,
// 这⾥是⼀个赋值
b = c;
cout << &a << endl;
cout << &b << endl;
cout << &c << endl;
return 0;
}
3.引用的使用
a.引用在实践中主要是于引用传参和引用做返回值中减少拷贝提高效率和改变引用对象时同时改变被引用对象。
例如我们要写一个swap函数
//引用传参
void Swap1(int& rx, int& ry)
{
int tmp = rx;
rx = ry;
ry = tmp;
}
//指针传参
void Swap2(int* x, int* y)
{
int tmp = *x;
*x = *y;
*y = tmp;
}
b.引用传参跟指针传参功能是类似的,引用传参相对更方便一些。
c.引用和指针在实践中相辅相成,功能有重叠性,但是各有特点,互相不可替代。C++的引⽤跟其他语言的引用(如Java)是有很大的区别的,除了用法,最大的点,C++引用定义后不能改变指向,Java的引用可以改变指向。
4.const引用
a.可以引用一个const对象,但是必须用const引用。const引用也可以引用普通对象,因为对象的访问权限在引用过程中可以缩小,但是不能放大。
b.不需要注意的是类似 int& rb = a*3; double d = 12.34; int& rd = d; rb和rd引用的都是临时对象,而C++规定临时对象具有常性,所以这里就触发了权限放大,必须要用常引用才可以。
int a = 10;
int& rb = a * 3;
这样的写法就是错误的,编译器会报错,因为a*3的和结果保存在一个临时对象中,而临时对象是具有常属性的,所以会造成权限在引用时出现权限放大的问题。这时候就需要我们在引用类型前面使用const来进行修饰。
double d = 12.34;
int& rd = d;
这样的写法同样也是错误的,在运行第二条语句的时候由于类型不同,会进行隐式类型转换,而转换的时候同样也会将转换的结构保存在一个临时的对象之中,所以又会造成权限在引用时出现权限放大的问题。在这里也需要使用const来进行修饰。
c.所谓临时对象就是编译器需要一个空间暂存表达式的求值结果时临时创建的一个未命名的对象,C++中把这个未命名对象叫做临时对象。
二.指针和引用的关系
C++中指针和引用就像两个性格迥异的亲兄弟,指针是哥哥,引用是弟弟,在实践中他们相辅相成,功能有重叠性,但是各有自己的特点,互相不可替代。
1.语法概念上引用是⼀个变量的取别名不开空间,指针是存储⼀个变量地址,要开空间。
2.引用在定义时必须初始化,指针建议初始化,但是语法上不是必须的。
3.引用在初始化时引用⼀个对象后,就不能再引用其他对象;而指针可以在不断地改变指向对象。
4.引用可以直接访问指向对象,指针需要解引用才是访问指向对象。
5.sizeof中含义不同,引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节,64位下是8byte)
6.指针很容易出现空指针和野指针的问题,引用很少出现,引用使⽤起来相对更安全⼀些。
三.inline
1.⽤inline修饰的函数叫做内联函数,编译时C++编译器会在调用的地方展开内联函数,这样调用内联函数就需要建立栈帧了,就可以提高效率。
2.C语言实现宏函数也会在预处理时替换展开,但是宏函数实现很复杂很容易出错的,且不方便调试,C++设计了inline目的就是替代C的宏函数。
3.vs编译器 debug版本下面默认是不展开inline的,这样方便调试,debug版本想展开需要设置⼀下以下两个地方。
4.inline对于编译器而言只是⼀个建议,也就是说,你加了inline编译器也可以选择在调用的地方不展开,不同编译器关于inline什么情况展开各不相同,因为C++标准没有规定这个。inline适⽤于频繁调用的短小函数,对于递归函数,代码相对多⼀些的函数,加上inline也会被编译器忽略。
inline int Add(int x, int y)
{
int ret = x + y;
ret += 1;
ret += 1;
ret += 1;
return ret;
}
int main()
{
// 可以通过汇编观察程序是否展开
// 有call Add语句就是没有展开,没有就是展开了
int ret = Add(1, 2);
cout << Add(1, 2) * 5 << endl;
return 0;
}
通过观察反汇编的代码,我们可以发现没有出现call指令(call指令是一个跳转指令,可以跳转到指定函数的栈帧中),说明在调用这个内联函数的时候,代码被展开了。
5.inline不建议声明和定义分离到两个文件,分离会导致链接错误。因为inline被展开,就没有函数地址,链接时会出现报错。
四.nullptr
NULL实际是⼀个宏,在传统的C头⽂件(stddef.h)中,可以看到如下代码:
#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif
1.C++中NULL可能被定义为字面常量0,或者C中被定义为无类型指针(void*)的常量。不论采取何种定义,在使用空值的指针时,都不可避免的会遇到⼀些麻烦,本想通过f(NULL)调用指针版本的f(int*)函数,但是由于NULL被定义成0,调用了f(int x),因此与程序的初衷相悖。f((void*)NULL);调⽤会报错。
void Fun(int x)
{
cout << "Fun(int x)" << endl;
}
void Fun(int* ptr)
{
cout << "Fun(int* ptr)" << endl;
}
int main()
{
Fun(0);
Fun(NULL);
return 0;
}
2.C++11中引入nullptr,nullptr是⼀个特殊的关键字,nullptr是⼀种特殊类型的字⾯量,它可以转换成任意其他类型的指针类型。使用nullptr定义空指针可以避免类型转换的问题,因为nullptr只能被隐式地转换为指针类型,⽽不能被转换为整数类型。
int main()
{
Fun(0);
Fun(NULL);
Fun(nullptr);
return 0;
}