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实参呢。