知識點概要

如果實參與引用引數（形參）不匹配，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型別。