临时变量、引用参数和const

知识点概要

如果实参与引用参数（形参）不匹配，C++将生成临时变量。当前，仅当参数为const引用时，C++才允许这样做。

临时变量使函数在可处理的参数种类方面更通用，这些临时变量只在函数调用期间存在，此后编译器可以随意将其删除。因此，尽可能将引用型形参指定为const。

考虑创建临时变量的情况，具体地，如果引用为const，编译器将在下面两种情况下生成临时变量：

情形一：实参的类型正确，但不是左值。非左值包括字面常量和包含多项式的表达式。

未指定const时，程序会报错，如下所示：

正确代码：输出结果为 a。

#include <iostream>
using namespace std;

void printStr(const char & s)   //必须指定const
{
	cout << s << endl;
}

int main()
{	
	printStr('a');   //实参为字面常量的情况

	system("pause");
	return 0;
}

 

情形二：实参类型不正确，但可以转换为正确的类型。

错误示范：

正确实例：

using namespace std;


void swapr(const int&a, const int&b)
{
	cout << "函数引用过程中" << a <<"   "<< b << endl;

}
int main()
{	
	double a = 3.1, b = 5.2;
	cout << "原始值" << a << "   " << b << endl;
	swapr(a, b);
	cout << "调用后" << a << "   " << b << endl;

	system("pause");
	return 0;
}

输出结果：

同时出现一个warning：

 

小结

对于生成临时变量的情况，注意将引用型形参指定为const。比如下面的情况：

已知声明：

string foo();

void bar(string & s);

那么：

bar(foo());  非法，因为无参函数foo()返回的值肯定是临时对象，此时调用函数bar()的形参必须是const类型。