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

来源：互联网发布：西门子840d编程指令编辑：程序博客网时间：2024/05/17 14:18

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

先来看一个简单的例子：

[cpp] view plaincopy
#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的基础上将形参变为引用形参，会出现什么样的结果呢？看下面的代码：

[cpp] view plaincopy
#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引用的好处：

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

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

c. 相比非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

0 0