把函数不会改变的形参定义成普通的引用是一种比较常见的错误,这么做会带给函数调用者一种误导,即函数可以修改形参的值。此外,使用引用而非常量引用也会极大的限制函数所能接受的实参类型。我们不能把const对象,字面值或者需要类型转换的对象传递给普通的引用形参。因此应尽量使用常量引用形参。
#include <iostream>
#include <string>
#include <cctype>
using namespace std;
void to_upper(string &s){ //普通的引用
for(auto &i : s)
i = toupper(i);
}
int main()
{
string s = "i miss you";
to_upper("abcdefg"); //错误,不能将字面值常量传给非常量引用
to_upper(s); //正确
cout<<s<<endl;
return 0;
}
另外,当实参初始化形参时会忽略掉顶层const。换句话说,当形参有顶层const时,传给他常量对象或者非常量对象都是可以的。