【C++升级之路】第一篇：入门基础知识（中）

 

---

此篇文章中，船长计划用理论和代码相结合的方式向大家介绍C++的入门知识；

书接上回：【C++升级之路】第一篇：入门基础知识（上）

全文干货，C++系列文章，铁子们，学习直接搞起来 ~

目录

6.引用

6.1引用的概念

6.2引用的特征

6.3常引用

6.4使用场景 

1.做参数

2.做返回值

6.5传值、传引用效率比较

6.6引用和指针的区别

结语

---

6.引用

6.1引用的概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空
间，它和它引用的变量共用同一块内存空间。

使用方法：类型& 引用变量名(对象名) = 引用实体；

void TestRef()
{
	int a = 10;
	int& ra = a;//<====定义引用类型
	printf("%p\n", &a);
	printf("%p\n", &ra);
}

上述两printf输出结果一致，均为10。 

注意：引用类型必须和实体类型相同（如上代码中a的类型是int，引用的类型也必须是int）。

---

6.2引用的特征

1. 引用在定义时必须初始化；
2. 一个变量可以有多个引用；
3. 引用一旦引用了一个实体，就不能再引用其他实体；

void TestRef()
{
	int a = 10;
	// int& ra;   // 该条语句编译时会出错 - 没有将引用初始化
	int& ra = a;
	int& rra = a;
	printf("%p %p %p\n", &a, &ra, &rra);
}

---

6.3常引用

1.引用被const修饰的常量，引用也要有相应的调整（在类型前加const修饰）；

2.不能直接引用常量；

3.不同类型下不能直接引用；

void TestConstRef()
{
	const int a = 10;
	//int& ra = a;   // 该语句编译时会出错，a为常量
	const int& ra = a;

	// int& b = 10; // 该语句编译时会出错，b为常量
	const int& b = 10;

	double d = 12.34;
	//int& rd = d; // 该语句编译时会出错，类型不同
	const int& rd = d;
}

---

6.4使用场景 

1.做参数

void Swap ( int & left , int & right )

{

           int temp = left ;

           left = right ;

           right = temp ;

}

2.做返回值

int & Count ()

{

           static int n = 0 ;

          n ++ ;

          // ...

           return n ;

}

我们都知道，变量通常会被存储在栈帧中，因此在我们有需要返回函数中定义的变量时，为了避免函数变量销毁，要使用static对变量进行修饰，使变量存储在静态区中，防止丢失。

我们先来看两个错误案例：

我们先来对比一下两段代码的差异，其实就是有一个函数使用了“引用”，另一个没有；区别在于函数返回所放在寄存器中的临时变量一个是“n的别名”，另一个是普通的临时变量。

在两个例子中，n均未被static修饰，在这种情况下，出了函数后，函数中的内存空间（包括存储变量n的空间）就会被销毁，ret得到的数将会变得不确定，以至于编译器报错 。

问：内存空间销毁意味着什么？

1. 空间还在吗？ —— 在，只是使用权不是我们的，我们存的数据不被保护
2. 我们还能访问这个内存空间吗？ —— 能，知识我们读写的数据是不确定的

正确的用法：

注意：如果函数返回时，出了函数作用域，如果返回对象还在(还没还给系统，即还未被其他程序占用)，则可以使用引用返回，如果已经还给系统了，则必须使用传值返回。 

---

6.5传值、传引用效率比较

以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直
接返回，而是传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效
率是非常低下的，尤其是当参数或者返回值类型非常大时，效率就更低。

为了更直观的体现传值和传值效率的差别，我们来看一个例子：

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

struct A { int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a; }
// 引用返回
A& TestFunc2() { return a; }

void TestReturnByRefOrValue()
{
	// 以值作为函数的返回值类型
	size_t begin1 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc1();
	size_t end1 = clock();
	// 以引用作为函数的返回值类型
	size_t begin2 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc2();
	size_t end2 = clock();
	// 计算两个函数运算完成之后的时间
	cout << "TestFunc1 time:" << end1 - begin1 << endl;
	cout << "TestFunc2 time:" << end2 - begin2 << endl;
}

int main()
{
	TestReturnByRefOrValue();
	return 0;
}

得到的结果如下：

上述代码计算了相同条件下的传值、引用的运行时间，可见传值运行时间远远大于引用，因此我们可以得出结论：传值和指针在作为传参以及返回值类型上效率相差很大。

接下来，我们一起分析一下为什么会存在这种差异。

事实上，使用传引用可在函数上直接修改变量（修改变量别名），而使用传值是把变量的值传到函数中，修改完后再返回来，显而易见传引用的效率更高。

---

6.6引用和指针的区别

在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。

在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。

我们来看一下引用和指针得汇编代码对比，通过观察，我们很容易就可以得出结论：引用得底层实现逻辑和指针是一样的！

int main()
{
	int a = 10;

	int& ra = a;
	ra = 20;

	int* pa = &a; 
    *pa = 20;

	return 0;
}

 

引用和指针的不同点：

1. 引用概念上定义一个变量的别名，指针存储一个变量地址。
2. 引用在定义时必须初始化，指针没有要求。
3. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何
   一个同类型实体。
4. 没有NULL引用，但有NULL指针。
5. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32
   位平台下占4个字节)。
6. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小。
7. 有多级指针，但是没有多级引用。
8. 访问实体方式不同，指针需要显式解引用，引用编译器自己处理。
9. 引用比指针使用起来相对更安全。

---

结语

看到这里，相信老铁们对C++引用的相关知识有了系统性的了解。本篇文章我们主要介绍了引用的概念、特征、使用场景 、常引用、传值传引用效率比较、引用和指针的区别。

我是计算机海洋的新进船长Captain-Lin,如果我的文章能对您有帮助的话，麻烦各位观众姥爷们点赞、收藏、关注，你们的每一次举手之劳都将化为船长的前进动力！

做难事必有所得，兄弟姐妹们噢力给！！！