C++中引用和常量引用

一、引用

在C++语言中，提供了一种为变量起一个别名的机制，这个别名就是引用。声明引用的过程也就是为某个变量建立别名的过程。

int main()
{
	int a = 3;
	int& b = a;
	b = 9;
	cout << a << " , " << b;

    //输出结果为 9 ，9
}

引用作为别名，实现了对目标对象名字的绑定，因此必须使用目标对象的原始名字来初始化。C++引用变量相当于在使用时总是自动进行间接访问的指针常量，其实作用在引用上的操作只有初始化，后续的操作将全部作用在引用所指向的对象上。如下：

int main()
{
	int a = 0;
	int& b = a;
	b++;
}

上面的b++并没有对引用本身做自增操作，++操作是作用到了int对象a上，所以一个引用的值在初始化后就不能改变了，它总是去引用它被初始化时所指向的那个对象。

C++引用的初始式必须是一个类型T的左值。

介绍一下左值和右值：

左值：能够获得某个不可移动对象的值或标识的表达式。如 i ，*p

右值：只能获取值，不能获取标识的表达式。如1，a+b

左值可以位于位于赋值语句的左边，但右值不能，右值只能位于右边，不能位于左边

二、常量引用

常量引用就是对const的引用的简称，它会把它所指向的对象作为常量，所以不可以通过该引用来修改它所指向的对象的值。指向常量对象时，必须要使用常量引用，而不能使用一般引用。常量引用可以指向一个非常量引用，但不允许用常量引用修改非常量对象的值。

int main()
{
	const int a = 2;
	const int& b = a;	//正确
	int& c = a;			//错误

	int x = 3;
	const int& y = x;
	y = 5;				//错误
}

与普通的变量不同，常量引用是非常特殊的程序对象，所绑定初始式既可以是左值，又可以是右值。如果初始式是右值，首先会将右值进行隐式类型的转换，并将结果存入到一个的临时变量中，然后会将此临时变量作为初始式。

int main()
{
	double& a = 1;			//错误
	const double& b = 1;	//正确

	//转化过程
	double temp = double(1);
	const double& c = temp;
}

总结：

引用用作对象的另一个名字，在程序中，引用主要是用作函数的形式参数，在函数参数中，使用常量引用是很重要的，因为函数有可能接受临时对象。