const形参与非const形参

Posted 2020-06-17

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

先来看一个简单的例子：

[java] view plain

1. #include <iostream>  
2. #include <string>  
3. using namespace std;  
4. void print_str(const string s)  
5. {  
6.       cout<<s<<endl;  
7. }  
8. int main()  
9. {     
10.       print_str("hello world");  
11.       return 0;  
12. }  

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

[cpp] view plain

1. #include <iostream>  
2. #include <string>  
3. using namespace std;  
4. void print_str( string & s)  
5. {  
6.       cout<<s<<endl;  
7. }  
8. int main()  
9. {     
10.       print_str("hello world");  
11.       return 0;  
12. }  

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

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

为什么会出现这种情况？

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

我一直这样记忆：“对于变量的约束，允许加强，当绝对不能削弱.....”
例如：实参是const，那么形参如果是非const意味着可以在函数体中改变形参的值，使约束削弱了所以不行。对于使用&，自然也是这个道理。同样的，指针里面的const也是这个样子的，如果让非const指针指向了const对象的地址，那么必然是无法通过编译的，因为如果这样做了，意味着可以通过这个指针改变本该是const的值了，显然是使约束削弱了