在程序设计中我们会经常调用函数，调用函数就会涉及参数的问题，那么在形参列表中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，那么形参如果是非const意味着可以在函数体中改变形参的值，使约束削弱了所以不行。对于使用&，自然也是这个道理。同样的，指针里面的const也是这个样子的，如果让非const指针指向了const对象的地址，那么必然是无法通过编译的，因为如果这样做了，意味着可以通过这个指针改变本该是const的值了，显然是使约束削弱了