c++“引用”相关知识点

在C++中，引用是一个别名，它为已经存在的变量提供了一个别名，可以通过引用来访问或修改原始变量的值，因为引用指向的是已经存在的变量的内存地址。

以下是一些关于C++引用的重要知识点：

1.  引用的声明：
在声明引用时，格式为数据类型+&+引用 = 原变量，&在这里不是求地址运算，而是起标识作用。例如：

int& b = a;

2. 引用的本质：

引用的本质可以理解为“被赋予对象的另一个名字”。有点类似于指针常量，指针指向不可变，但是指向内容可以改变。

“sizeof 引用”得到的是所指向的变量(对象)的大小，而“sizeof 指针”得到的是指针本身(所指向的变量或对象的地址)的大小。

程序为指针变量分配内存区域，而引用不需要分配内存区域。

3. 引用的特点：

①引用必须初始化

int a = 10;
// int &b; 错误，必须要初始化
int& b = a;

②引用在初始化后，不可以改变

int a = 10;
int& b = a;
int c = 99;
// int& b = c;  b一开始初始化为a的别名，不可以再改成别的变量的别名，否则报错多次初始化
b = c; // 这个可以，因为不是更改引用，而是赋值，b指向内存的内容赋值为99

③一个变量可取多个别名

// 一个变量可取多个别名
int a = 10;
int& b = a;
int& c = a;
cout << a << endl; // 10
cout << b << endl; // 10
cout << c << endl; // 10

4. 引用作为函数参数：

参数传递分为三个传递：①值传递，②地址传递，③引用传递

// 交换函数
// 1、值传递
void mySwap01(int a, int b)
{
	int temp = a;
	a = b;
	b = temp;
}

// 2、地址传递
void mySwap02(int *a, int *b)
{
	int temp = *a;
	*a = *b;
	*b = temp;
}

// 3、引用传递
void mySwap03(int& a, int& b)
{
	int temp = a;
	a = b;
	b = temp;
}

int main()
{
	int a = 10;
	int b = 20;

	// 1、值传递，形参不会修饰实参
	mySwap01(a, b);
	cout << "值传递" << endl;
	cout << "a=" << a << " b=" << b << endl;

	// 2、地址传递，形参会修饰实参
	mySwap02(&a, &b);
	cout << "地址传递" << endl;
	cout << "a=" << a << " b=" << b << endl;

	// 3、引用传递，形参会修饰实参
	mySwap03(a, b);
	cout << "引用传递" << endl;
	cout << "a=" << a << " b=" << b << endl;
}

输出结果如下图

5. 引用作为函数返回值

不要返回局部变量的引用。

// 1、不要返回局部变量的引用
int& test01()
{
	int a = 10; //局部变量存放在四区中的栈区
	return a;
}

int& ref = test01();
cout << "ref=" << ref << endl; //第一次结果有可能正确，是因为编译器做了保留
cout << "ref=" << ref << endl; //第二次结果肯定错误，是因为a的内存已经释放

        int& test01()：

• 这个函数返回一个整型引用。
• 在函数内部，定义了一个局部变量a，并将其值设为10。局部变量a存储在栈区。
• 当函数执行完毕后，a的内存空间将被释放，因此返回的是一个对已经不存在的变量的引用，这会导致未定义行为。

        int test01()：

• 这个函数返回一个整型值而不是引用。
• 在函数内部，同样定义了一个局部变量a，并将其值设为10。局部变量a存储在栈区。
• 函数返回时，会将a的值拷贝一份作为返回值，然后销毁a本身，返回的是一个值的副本。

函数调用可以作为左值（可以被赋值）

// 2、函数的调用可以作为左值
int& test02()
{
	static int a = 10; //静态变量，存放在全局区
	return a;
}

int main()
{
	int& ref = test02();
	cout << "ref=" << ref<< endl; 
	cout << "ref=" << ref<< endl; 
	test02() = 1000; 
	cout << "ref=" << ref<< endl;
	cout << "ref=" << ref<< endl;
}

输出结果为

因为test02()返回的是a的引用，因此test02() = 1000即ref=1000(a=1000)。

6. 常量引用

常量引用是指对常量的引用，它使用 const 修饰符来确保被引用的对象在引用期间不被修改。

void showValue(const int& val)
{
	// val = 1000;会报错，const的作用是不希望形参的修改改变实参
}

int main()
{
	// 常量引用
	// 使用场景：用来修饰形参，防止误操作
	int a = 10;
	// 加上const之后，编译器内部修改为int temp = 10;const int& ref = temp;
	// 不加const不可以int& ref = 10;
	const int& ref = 10;
	// ref = 30;会报错，加入const之后变为只读，不可修改
	return 0;
}