C++中const形参与非const形参

背景

在程序设计中我们会经常调用函数，调用函数就会涉及参数的问题，那么在形参列表中const形参与非const形参对传递过来的实参有什么要求呢？

分析

先来看一个简单的例子：

#include <iostream>
#include <string>
using namespace std;
void print_str(const string s)
{
      cout<<s<<endl;
}
int main()
{   
      print_str("hello world");
      return 0;
}

程序显示结果：

毫无疑问，const实参传递给const形参，正确调用函数，如果你将第4行代码中的const去掉，也能得到正确的结果。那么在去掉const的基础上将形参变为引用形参，会出现什么样的结果呢？看下面的代码：

#include <iostream>
#include <string>
using namespace std;
void print_str( string & s)
{
      cout<<s<<endl;
}
int main()
{   
      print_str("hello world");
      return 0;
}

程序结果如下：

发现编译不通过，如果在第4行的string前加上一个const，就会通过编译。进一步研究我们会发现指针形参与引用形参会出现类似的情况。

普通形参加不加const限定符对实参没有影响，引用形参和指针形参前面没有const限定符时，实参必须是非const的，而前面有const限定符时对实参也没有什么影响。

为什么会出现这种情况？

原因在于实参的传递方式不同，函数中的形参是普通形参的时，函数只是操纵的实参的副本，而无法去修改实参，实参会想，你形参反正改变不了我的值，那么你有没有const还有什么意义吗？引用形参和指针形参就下不同了，函数是对实参直接操纵，没有const的形参时实参的值是可以改变的，这种情况下怎能用函数来操纵const实参呢。

总结

const引用的好处：

1. 当实参的类型比较大时，复制开销很大（形参初始化时），引用会“避免复制”。（这在传递类对象时比较常用）；

2. “避免修改实参”，当使用引用时，如果调用者希望只使用实参并不修改实参，则const可以避免使用该引用修改实参；

3. 相比非const引用形参，更具实用性：形参可以使用const对象初始化，可使用字面值或右值表达式的实参来初始化。

下面各给一示例：

a. void search(const vector<int> & vec) 避免了实参的复制开销
b. 同a例，可避免对实参做出修改
c. 如下函数，调用时
void search(string & s);         调用： search("hello"); // Error 实参为字面值常量
void search(const string & s);   调用： search("hello"); // OK
再如
void search(int & v);            调用： search(v1+v2);   // Error 实参是一个右值，无法给引用赋值（需要左值）
void search(const int & v);      调用： search(v1+v2);   // OK