引用
我们之前在学习C语言时,会经常用到指针这种令人又爱又恨的东西,C++的祖师爷为了简化一下指针,就发明了引用。
引用口语化一点就是取小名,引用的感觉就是 我们每个人都有正式的名字,我们也都小名或者绰号,但是无论是叫我们正式的名字,小名或绰号,我们都知道是在叫我们。
引用的代码也很简单:
int a = 10;
int& b = a;
这就是一个简单的引用:
无论我们用a这个大名,还是b这个小名,都是指的同一块空间。
我们使用引用时要注意几点:
- 引用在定义时必须初始化
- 一个变量可以有多个引用(一个人可以有多个绰号)
- 引用一旦引用一个实体,再不能引用其他实体 (一个绰号只能给一个人用)
现在我们来看看引用的一些应用:
引用做参
我们之前在学习单链表时,在尾插面对空表,要插入第一个元素时,我们用到了一个二级指针:
//尾插
void TailInsert(LikNode** L, LikData X)
{
//创建新的结点
LikNode* newnode = NewNode(X);
if (*L == NULL)
{
*L = newnode;
}
else
{
LikNode* cur = *L;
while (cur->next)
{
cur = cur->next;
}
//赋值
cur->next = newnode;
}
}
这是因为我们在修改一级指针的走向,修改一级指针需要用到二级指针来接收
现在我们可以用这个小名直接指代这个指针,不用再用二级指针,省去了解引用操作。
//尾插
void TailInsert(Linknode*& L, LData X)
{
Linknode* newnode = BuyNode(X);
//没有节点
if ( L == NULL)
{
L = newnode;
}
else
{
Linknode* tail = L;
while (tail->next)
{
tail = tail->next;
}
tail->next = newnode;
}
}
#include"List.h"
#include<iostream>
using namespace std;
int main()
{
//尾插
LinkNode* L;
InitLinkList(&L);
TailInsert(L, 67);
PrintList(&L);
}
我们来看看结果:
修改返回值(非常重要)
现在我们有一个赋好初值的数组:
int a[] = { 1,2,3,4,5,6,7,8,9,10 };
我现在想通过函数修改指定位置上的值,其实我们之前的指针可解决这个问题:
int* Find(int *a,int pos)
{
assert(a);
return &a[pos];//返回对应下标的地址
}
void Modfiy(int *a,int X)
{
*a = X;
}
int main()
{
int a[] = { 1,2,3,4,5,6,7,8,9,10 };
int size = sizeof(a) / sizeof(a[0]);
for (int i = 0; i < size; i++)
{
cout <<" " << a[i];
}
cout << endl;
//修改
Modfiy(Find(a,6), 88);
for (int i = 0; i < size; i++)
{
cout << " " << a[i];
}
cout << endl;
}
现在不用这么麻烦了,直接返回引用,可以直接修改:
int& Find(int *a,int pos)
{
assert(a);
return a[pos];//返回对应下标的地址
}
int main()
{
int a[] = { 1,2,3,4,5,6,7,8,9,10 };
int size = sizeof(a) / sizeof(a[0]);
for (int i = 0; i < size; i++)
{
cout <<" " << a[i];
}
cout << endl;
//修改
Find(a,6) = 88;
for (int i = 0; i < size; i++)
{
cout << " " << a[i];
}
cout << endl;
}
这要是放在以前,这是想都不敢想的事情。
具体原因是:因为我返回的是a[pos]的引用(小名),我直接用这个小名去找对应的空间进行修改。
但这有一个前提:返回值不能因为函数栈帧的销毁而彻底销毁。
这是什么意思呢?拿上面来举例子:a[pos]实际上是数组a里的元素,函数栈帧销毁时,不会销毁数组a,a[pos]不会因为函数战阵的销毁而彻底销毁。
但如果是下面这种情况,就非常危险:
int& Ret(int n)
{
return n;
}
int main()
{
int ret = Ret(34);
cout << ret << endl;
return 0;
}
这时回报一个警告:
但我们不加这个引用,程序就是正常的:
int Ret(int n)
{
return n;
}
int main()
{
int ret = Ret(34);
cout << ret << endl;
return 0;
}
上面的图反映了一个问题:**就是n的空间已经被销毁了,但依然有人拿着n的小名去找n。**有点像野指针的问题。
权限缩放
引用有缩放权限,一句话:权限只能越来越小,不能越来越大。
上述规则只对引用生效,对赋值操作无效!
我们来看看一个好玩的:
我定义一个int p变量然后可以放到double类型的变量中。
但是如果放到double型的引用中,就会报错。
这是因为跨类型的赋值时,会进行临时拷贝,而临时拷贝具有常属性。
解决办法也很简单:加上const就行了。
内联函数
我们之前尝试过用宏来编写函数:
#define ADD(x,y) ((x)+(y))
int main()
{
cout << ADD(4, 5) << endl;
}
我们发现,用宏来写函数,会极其容易犯错,稍有不慎,就会犯错,但宏的优点也非常明显,不用额外开辟栈帧空间。
为了让函数有这种宏的特性,出现了内联函数。
内联的关键字为:inline。
inline int Add(int x, int y)
{
return x + y;
}
int main()
{
cout << Add(4,5) << endl;
}
我们来看看这段代码的反汇编:
如果不加inline呢?
int Add(int x, int y)
{
return x + y;
}
int main()
{
int ret = Add(4, 5);
cout << ret << endl;
}
我们发现在经过inline修饰之后反汇编的代码少了很多。
其实内联函数的作用就是在函数访问时直接展开内部代码,不用创建函数栈帧。
所以没有inline修饰的Add多了call指令,调用函数栈帧。
那么内联函数这么好,那我们以后写函数都写内联函数算了。
但实际上,如果函数内部代码过多,即使加上inline,编译器也不会执行inline命令!
比如我们把上面的代码改改:
inline int Add(int x, int y)
{
int x1 = 0;
int x2 = 0;
int x3 = 0;
int x4 = 0;
int ret = 0;
ret += x1;
ret -= x2;
ret *= x3;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
ret /= x4;
return ret;
}
int main()
{
int ret = Add(4, 5);
cout << ret << endl;
}
所以我们在这里可以知道:inline只是一种请求,不是必须执行的命令。
还要注意一点:内联函数的声明和实现不要分开。
我们来验证一下,我们在头文件中,声明Add:
在k.cpp中实现:
最后在Test.cpp中调用:
然后。。。。:
这是为什么呢?因为内联函数不会创建函数栈帧,意思就不会有函数地址,调用的时候声明根本找不到对应的实现函数地址,所以会报错。
auto(匹配类型)
auto在命名变量时会根据等号右边值的类型,自动匹配类型。
int c = 9;
auto v = c; //c是整形,auto匹配到整形,故v是整形
float a = 7.9;
auto n = a; //a是浮点形,auto匹配到浮点,故n是浮点
auto在类型名十分长时,会有妙用~。这个我们后面再说,大家先了解一下就行。
范围for(C++)
我们之前写for循环是这样写的:
int a[10] = { 1,2,3,4,5,6,7,8,9,10 };
for (int i = 0; i < 10; i++)
{
cout <<a[i] << endl;
}
C++祖师爷新发明了一种for循环:
int a[10] = { 1,2,3,4,5,6,7,8,9,10 };
for (auto e : a)
{
cout << e <<" ";
}
这个for循环的意思就是:将a数组中元素放到e中,之后打印e。 这种for循环会自动停止,十分方便。
同时如果我们想要通过这种for循环修改数组中的值,也很简单使用引用。
int a[10] = { 1,2,3,4,5,6,7,8,9,10 };
for (auto& e : a)
{
e *= 2;
cout << e <<" ";
}
nullptr
在C++中引入了nullptr指针,用来指代空指针。但其实在C语言中我们使用的是NULL,但在C++中NULL中NULL代表的是0。
void func(int i)
{
cout << "void func(int i)" << endl;
}
void func(int* i)
{
cout << "void func(int* i)" << endl;
}
int main()
{
func(7);
func(NULL);
return 0;
}
如果还想让NULL表示空指针,只能强转:
void func(int i)
{
cout << "void func(int i)" << endl;
}
void func(void* i)
{
cout << "void func(int* i)" << endl;
}
int main()
{
func(7);
func((void *)NULL);
return 0;
}
这非常麻烦,并且如果修改NULL,让它指代的就是空指针,之前写过的C代码很有可能就会出现问题,所以C++祖师爷又弄了nullptr,在C++中专门指代空指针。
void func(int i)
{
cout << "void func(int i)" << endl;
}
void func(void* i)
{
cout << "void func(int* i)" << endl;
}
int main()
{
func(7);
func(nullptr);
return 0;
}