✨✨小新课堂开课了,欢迎欢迎~✨✨
🎈🎈养成好习惯,先赞后看哦~🎈🎈
所属专栏:C++:由浅入深篇
小新的主页:编程版小新-CSDN博客
引言:接着上一篇,我们这次把一些C++相对基础的知识结束,下一篇我们来学习类与对象。
1.引用
1.1引用的概念和定义
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间, 它和它引用的变量共用同一块内存空间。
比如:水浒传中宋江叫"铁牛",李逵江湖上人称"黑旋风";林冲,外号豹子头;
类型& 引用别名 = 引用对象;
C++中为了避免引入太多的运算符,会复用C语言的一些符号,比如前面的<< 和 >>,这里引用也和取地址使用了同一个符号&,大家注意从使用方法的角度区分就可以。
#include<iostream>
using namespace std;
int main()
{
int a = 0;
// 引用:b和c是a的别名
//类型& 引用别名 = 引用对象
int& b = a;
int& c = a;
// 也可以给别名b取别名,d相当于还是a的别名
int& d = b;
++d;
// 这⾥取地址我们看到是⼀样的
cout << &a << endl;
cout << &b << endl;
cout << &c << endl;
cout << &d << endl;
return 0;
return 0;
}
调试结果:
运行结果:
a和它引用的变量共用一块内存空间。
图解:
1.2引用的特性
• 引用在定义时必须初始化
• ⼀个变量可以有多个引用
一个变量可以有多个引用,我们在引用的概念和定义的示例代码中就有所体现了。
• 引用一旦引用一个实体,再不能引用其他实体
int main()
{
int a = 0;
int& b = a;
int c = 20;
// 这里并非让b引用c,因为C++引用不能改变指向,
//b是一个引用变量,b已经引用了a这个实体,不能再引用c那个实体
// 这里是⼀个赋值
b = c;
cout << &a << endl;
cout << &b << endl;
cout << &c << endl;
return 0;
}
调试结果:
运行结果:
1.3引用的使用
1• 引用在实践中主要是于引用传参和引用做返回值中减少拷贝提高效率和改变引对用象时同时改变被引用对象。2• 引用传参跟指针传参功能是类似的,引用传参相对更方便⼀些。
void Swap(int& rx, int& ry)//引用传参
{
int tmp = rx;
rx = ry;
ry = tmp;
}
int main()
{
int x = 0, y = 1;
cout << x << " " << y << endl;
Swap(x, y);//不需要加&,相对方便一些
//改变引用对象的同时改变被引用对象
cout << x << " " << y << endl;
return 0;
}
运行结果:
3• 引用返回值的场景相对对较复杂,我们在这里简单讲了⼀下场景,还有⼀些内容后续类和对象章节中会继续深入讲解。
#include<iostream>
#include<assert.h>
using namespace std;
typedef int STDataType;
typedef struct Stack
{
STDataType* a;
int top;
int capacity;
}ST;
//ST& rs 引用传参,改变引用对象的同时,改变被引用对象
void STInit(ST& rs, int n = 4)
{
rs.a = (STDataType*)malloc(n * sizeof(STDataType));
rs.top = 0;
rs.capacity = n;
}
// 栈顶
void STPush(ST& rs, STDataType x)
{
// 满了, 扩容
if (rs.top == rs.capacity)
{
printf("扩容\n");
int newcapacity = rs.capacity == 0 ? 4 : rs.capacity * 2;
STDataType* tmp = (STDataType*)realloc(rs.a, newcapacity *sizeof(STDataType));
if (tmp == NULL)
{
perror("realloc fail");
return;
}
rs.a = tmp;
rs.capacity = newcapacity;
}
rs.a[rs.top] = x;
rs.top++;
}
void STModityTop(ST& rs, int x)
{
rs.a[rs.top-1] = x;
}
// int STTop(ST& rs)
int& STTop(ST& rs)//引用做返回值
{
assert(rs.top > 0);
return rs.a[rs.top-1];
}
int main()
{
// 调用全局的
ST st1;
STInit(st1);
STPush(st1, 1);
STPush(st1, 2);
//修改栈顶元素
STModityTop(st1, 3);
//在int& STTop(ST& rs)的条件下,下面这种写法是正确的
//直接修改栈顶元素
STTop(st1) = 4;
//但如果是int STTop(ST& rs),就不能直接更改
return 0;
}
下面我们对代码细节进行解释。
对比代码中的STModityTop和以int 返回的,int&。这里也能简单的看出引用做返回值的优势所在。关于引用做返回值,后面会更加详细的介绍。
4• 引用和指针在实践中相辅相成,功能有重叠性,但是各有特点,互相不可替代。C++的引用跟他语言的引用(如Java)是有很大的区别的,除了用法,最大的点,C++引用定义后不能改变指向,Java的引用可以改变指向。
引用的底层其实就是指针,但是在语法上我们认为引用和指针有所不同,引用变量不会重新开辟内存空间,它和被引用对象使用同一块内存空间。但是指针变量需要重新开辟内存空间。
我们已经了解到在C++中引用不能改变指向,以链表举例,在C++中每一个节点中存的就是指针不能是引用,因为引用不能改变指向,而在Java中就可以。
5• ⼀些主要用C代码实现版本数据结构教材中,使用C++引用替代指针传参,目的是简化程序,避开复杂的指针。
#include<iostream>
using namespace std;
typedef struct SeqList
{
int a[10];
int size;
}SLT;
typedef struct ListNode
{
int val;
struct ListNode* next;
}LTNode, * PNode;
// 指针变量也可以取别名,这里LTNode*& phead就是给指针变量取别名
// 这样就不需要用二级指针了,相对而言简化了程序
//void ListPushBack(LTNode** phead, int x)
//void ListPushBack(LTNode*& phead, int x)
void ListPushBack(PNode& phead, int x)
{
PNode newnode = (PNode)malloc(sizeof(LTNode));
newnode->val = x;
newnode->next = NULL;
if (phead == NULL)
{
phead = newnode;
}
else
{
//...
}
}
int main()
{
PNode plist = NULL;
ListPushBack(plist, 1);
return 0;
}
1.4const引用
1• 可以引用一个const对象,但是必须用const引用。const引用也可以引用普通对象,因为对象的访问权限在引用过程中可以缩小,但是不能放大。
int main()
{
const int a = 10;//只能读,不能写
// 编译报错:error C2440: “初始化”: 无法从“const int”转换为“int &”
// 这里的引用是对a访问权限的放大
//int& ra = a;
// 这样才可以
const int& ra = a;//权限平移
// 编译报错:error C3892: “ra”: 不能给常量赋值
//ra++;只能读,不能改
// 这里的引用是对b访问权限的缩小
int b = 20;//可读可写
const int& rb = b;//只读不写
// 编译报错:error C3892: “rb”: 不能给常量赋值
//rb++;
return 0;
}
2• 不需要注意的是类似 int& rb = a*3; double d = 12.34; int& rd = d; 这样⼀些场景下a*3的和结果保存在⼀个临时对象中, int& rd = d 也是类似,在类型转换中会产⽣临时对象存储中间值,,rb和rd引⽤的都是临时对象,而C++规定临时对象具有常性,所以这里就触发了权限放大,必须要用常引用才可以。
总结:产生临时对象的几种情况
传值返回,传值传参,类型转换,表达式运算结果
void func(const int& val)//结果保存在一个临时对象中,临时对象具有常性,必须用常引用
{
}
int main()
{
const int a = 10;
//int rd = a;
//int& ra = a;
const int& ra = a;
// 引用的时候权限可以缩小,但是不能放大
int b = 20;
const int& rb = b;
b++;
//rb++;
const int& rc = 30;//常量
const int& rd = (a + b);//表达式,结果保存在一个临时对象中,临时对象具有常性,必须用常引用
double d = 12.34;
int i = d;//类型提升,结果保存在一个临时对象中,临时对象具有常性,必须用常引用
const int& ri = d;
//double& rd = d;
func(a);//传值传参
func(b);
func(30);
func(a+b);
func(d);
return 0;
}
图解:
3• 所谓临时对象就是编译器需要⼀个空间暂存表达式的求值结果时临时创建的⼀个未命名的对象,C++中把这个未命名对象叫做临时对象。
1.5引用和指针的关系
C++中指针和引用就像两个性格迥异的亲兄弟,指针是哥哥,引用是弟弟,在实践中他们相辅相成,功能有重叠性,但是各有自己的特点,互相不可替代。
1• 语法概念上引用是给一个变量的取别名不开空间,指针是存储⼀个变量地址,要开空间。2• 引用在定义时必须初始化,指针建议初始化,但是语法上不是必须的。3• 引用在初始化时引用⼀个对象后,就不能再引用其他对象;而指针可以在不断地改变指向对象。4• 引用可以直接访问指向对象,指针需要解引用才是访问指向对象。5• sizeof中含义不同,引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节,64位下是8字节)6• 指针很容易出现空指针和野指针的问题,引用很少出现,引用使用起来相对更安全⼀些。
2.inline
1• 用inline修饰的函数叫做内联函数,编译时C++编译器会在调用的地方展开内联函数,这样调用内联函数就不需要建立栈帧了,就可以提高效率。
inline int Add(int x, int y)
{
int ret = x + y;
return ret;
}
int main()
{
int ret = Add(1, 2);
cout << Add(1, 2) * 5 << endl;
cout << ret << endl;
return 0;
}
反汇编:有call是代表函数没有展开,没有代表函数在调用的时候展开。
没有展开:
展开了的
2• inline对于编译器而言只是一个建议,也就是说,你加了inline,编译器也可以选择在调用的地方不展开,不同编译器关于inline什么情况展开各不相同,因为C++标准没有规定这个。inline适用于频繁调用的短小函数,对于递归函数,代码相对多一些的函数,加上inline也会被编译器忽略,编译器选择不展开。
3• C语言实现宏函数也会在预处理时替换展开,但是宏函数实现很复杂很容易出错的,且不方便调试, C++设计了inline目的就是替代C的宏函数 。
我们用一个例子也说明宏函数可能会出现额问题吧。
//实现一个ADD宏函数的常见问题
//#define ADD(int a, int b) return a + b;
//#define ADD(a, b) a + b;
//#define ADD(a, b) (a + b)
// 正确的宏实现
#define ADD(a, b) ((a) + (b))
// 为什么不能加分号?
// 有些情况下,加分号可能不会报错,那如果在一些语句中多了一个分号是不可以,比如if语句
// 为什么要加外面的括号?
// 为什么要加里面的括号?
//在这两个位置加括号是为了避免因优先级的问题导致结果出现偏差
int main()
{
int ret = ADD(1, 2); // int ret = ((1)+(2));
cout << ADD(1, 2) << endl;
cout << ADD(1, 2) * 5 << endl;
int x = 1, y = 2;
ADD(x & y, x | y); // -> (x&y+x|y)
return 0;
}
• vs编译器 debug版本下面默认是不展开inlin的,这样方便调试,debug版本想展开需要设置⼀下以下两个地方。
• inline不建议声明和定义分离到两个文件,分离会导致链接错误。因为inline被展开,就没有函数地址,链接时会出现报错。
// F.h
#include <iostream>
using namespace std;
inline void f(int i);
// F.cpp
#include "F.h"
void f(int i)
{
cout << i << endl;
}
// main.cpp
#include "F.h"
int main()
{
// 链接错误:无法解析的外部符号 "void __cdecl f(int)" (?f@@YAXH@Z)
f(10);
return 0;
}
3.nullptr
NULL实际是⼀个宏,在传统的C头文件(stddef.h)中,可以看到如下代码:
1• C++中NULL可能被定义为字面常量0,或者C中被定义为无类型指针(void*)的常量。不论采取何种定义,在使用空值的指针时,都不可避免的会遇到⼀些麻烦,本想通过f(NULL)调用指针版本的f(int*)函数,但是由于NULL被定义成0,调用了f(int x),因此与程序的初衷相悖。f((void*)NULL); 调用会报错
2• C++11中引入nullptr,nullptr是⼀个特殊的关键字,nullptr是⼀种特殊类型的字面量,它可以转换成任意其他类型的指针类型。使用nullptr定义空指针可以避免类型转换的问题,因为nullptr只能被隐式地转换为指针类型,而不能被转换为整数类型。
#include<iostream>
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被定义成0,
// 调用了f(intx),因此与程序的初衷相悖。
f(NULL);
f((int*)NULL);
// 编译报错:error C2665: “f”: 2 个重载中没有⼀个可以转换所有参数类型
// f((void*)NULL);
//在C语言中void* 能转化为任意类型的指针,但是在C++中是不允许的,
f(nullptr);
return 0;
}