1.如果一个函数形参是string类型的引用,函数调用时,实参不能是C风格字符串或者字符串常量,这种情况下编译时不能通过的,下面是编译出错的示例代码:
1 //C风格字符串做实参,编译不能通过 2 3 void print(string &str) //形参是 非const的string型引用 4 { 5 cout<<str<<endl; 6 } 7 8 int main() 9 { 10 char *st="Value: "; 11 print(st); //error:C风格字符串做实参 12 13 return 0; 14 }
1 //字符串常量作为实参,print函数同上 2 3 int main() 4 { 5 print("Value: "); //error:依旧是编译错误 6 7 return 0; 8 }
将上述两段代码中的print函数的实参改为const型引用后,问题就迎刃而解,但此函数中对str的操作只能读,不能写
1 void print(const string &str) 2 { 3 cout<<str<<endl; 4 }
备注:对于内置类型,如int、double、char类型,如果形参是引用类型,一样会出现上述问题,如果非引用类型,编译正常(float会出现警告,因为浮点型常量应该以f结尾,例如3.14f)
总结:
从这段例子的测试和推敲中得出一个结论,其实常数例如5,类型的中文名交常整型,其实对应的表示就是const int,所以当实参是整型常量的时候,形参如果是引用就必须是const int &,而如果形参不是引用,则形参使用const int或者int 都可以(最后一句的原理参考:《C++ Primer》89页如下的这段代码和相关解释)
1 double dval = 3.14; 2 const int &ri = dval; 3 //编译器会把这些代码转换成如以下形式的编码: 4 int temp = dval; // create temporary int from the double 5 const int &ri = temp; // bind ri to that temporary 6 //如果 ri 不是 const,那么可以给 ri 赋一新值。这样做不会修改 dval,而是修改了 temp。
//期望对 ri 的赋值会修改 dval 的程序员会发现 dval 并没有被修改。
//仅允许 const 引用绑定到需要临时使用的值完全避免了这个问题,因为 const 引用是只读的。
2.