为何返回的const引用可被修改?const string&赋值非const变量后可修改的原因
为什么
const string&返回值赋值给非const变量后能修改? 嘿,这个问题其实是把引用绑定和对象拷贝搞混啦,咱们一步步拆解你的代码来搞明白:
首先,你的shorter_s函数返回const string&,确实是对输入参数s1或s2的const引用——这部分完全没问题。
但关键就在这一行代码:
string result = shorter_s(s1, s2);
你可能误以为result是直接绑定到了函数返回的const引用上,但实际上不是!这里触发的是string的拷贝构造函数:C++会把shorter_s返回的那个const string对象的内容,完整复制到一个全新的、非const的string实例(也就是result)里。这个result是完全独立的对象,和原来的s1、s2没有任何关联。
所以后面执行result += "++";时,你修改的是这个新的非const对象,完全符合C++的规则——你根本没碰原来的const string s2,只是修改了它的一个拷贝而已。
要是你想验证这个区别,可以试试把代码改成这样:
// 这行代码会直接编译报错!因为不能将const引用绑定到非const引用 string& result = shorter_s(s1, s2);
编译器会立刻拒绝这个操作,因为它不允许你通过非const引用去修改一个const对象。而你的原代码是拷贝操作,所以完全合法。
最后再简单划个重点:
- 当你用
string result = ...这种方式赋值时,不管右边是const引用还是const对象,都会触发拷贝,得到一个全新的非const对象 - 只有当你用引用类型(比如
string&)去绑定右边的const引用时,才会受到const属性的限制
内容的提问来源于stack exchange,提问作者user2376997
相关产品推荐
相关产品推荐

