引用C/C++通用完结

引用

除了定义指针变量外，C++还可以定义引用来实现对变量的访问，引用是C++独有的特征，它是另一种访问变量的方法。建立引用时，用某个变量对其进行初始化,相当于给变量取了一个别名,对引用的改动就是对变量本身的改动

1.引用的声明

type & identifier =initial_value;
简单来说
语法：数据类型 &别名 =原名

#include <iostream>
using namespace std;
int main(void)
{
	int a=20; //定义整型变量a
	int &b=a; //声明b是a的引用(别名)
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
		b=100;
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
} 

此处的&是引用声明符，而不是取地址的意思

a=20
b=20
a=100
b=100
0x6bfee8 0x6bfee8

该程序声明b为a的引用，那么a和b都指向同一变量，因此,a发生变化时，b的值也同步变化.
运行结果显示a和b的地址完全相同,都是0x6bfee8（不同计算机不一样）也证明m和n位于同一空间

注意

#include <iostream>
using namespace std;
int main(void)
{
	int a=10;
	
	int &b=a;//引用一旦初始化就不可以更改 
	int c=20;
	b=c; //赋值操作，而不是更改引用 
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
	cout<<"c="<<c<<endl;
}

a=b=c=20
(1)引用在定义的时候必须用已有的变量对其进行初始化,即声明它代表哪一个变量.
(2)引用一旦绑定到一个变量上以后，就不能再绑定到其他变量上.

2.引用作函数参数

放入此章节方便对比

3.引用做函数返回值

注意

不要返回局部变量的引用

#include<iostream>
using namespace std;
int test01(void);
int main(void)
{
	int ref=test01();
	cout<<"ref="<<ref<<endl;//第一次结果正确,是因为编译器做了保留	
	cout<<"ref="<<ref<<endl;//第二次结果错误,因为a的内存已经释放
}
int& test01(void)
{
	int a=10;//局部变量存放在四区中的栈区
	//test01执行完后栈区变量的内存便被释放 
	return a;
}

函数的调用可以作为左值

#include<iostream>
using namespace std;

int& test02();
int main(void)
{
	int &ref2 = test02();
	cout << "ref2=" << ref2 << endl;
	cout << "ref2=" << ref2 << endl;
	cout << "ref2=" << ref2 << endl;
	test02()=1000;//如果函数的返回值是引用，这个函数调用可以作为左值
	cout << "ref2=" << ref2 << endl;
	cout << "ref2=" << ref2 << endl;
}
int& test02()
{
	static int a = 10;//静态变量，存放在全局区，全局区上的数据在程序结束后系统释放
	return a;
}

4.引用的本质

引用的本质就是指针常量

一.举例

#include<iostream>
using namespace std;
//发现是引用，转换为int* const ref=&a;
//引用的本质就是一个指针常量
//引用一旦初始化，就不可以发生改变
void func(int& ref)
{
	ref = 100;
}
int main(void)
{
	int a = 10;

	//自动转换为int* const ref=&a;指针常量是指针指向不可改，也说明为什么引用不可更改
	int& ref = a;
	ref = 20;//内部发现ref是引用，自动帮我们转换为 *ref=20;
	cout << "a=" << a<<endl;
	cout << "ref=" << ref<<endl;
	func(a);
	cout << "a=" << a << endl;
	cout << "ref=" << ref << endl;
}

二.图解