关于c++引用修饰函数返回值的问题

Question

引用修饰函数返回值，可以把返回值作为左值进行修改，比如
char &get_val(string &str,string::size_type ix)
{
return str[ix];
}
使用语句调用:
string s("123456");
cout<<s<<endl;
get_val(s,0)='a';
cout<<s<<endl;
把函数应用于左值，如上代码，最后运行结果s改变成“a23456“，此处由于形式参数和返回值都是引用，因此最后返回的其实是s对象的引用，所以在外部改变时，真正的s也跟着改变了.......
但是实际中还经常有这样的写法，如下：
const char &get_val(string &str,string::size_type ix)
{
return str[ix];
}
既然使用&修饰函数返回值了，那为什么又要加上const，不让他改变呢。。。这不多此一举，矛盾吗？

Answer 1

返回引用不一定都是为了做左值，
返回引用本质为了不复制返回值而直接返回的是对象本身
比如
const int &max(const int &a, const int &b)
{
return a>b?a:b;
}
这样不会复制返回值，但这个函数是只读，不做左值

好比引用参数，并不都是为了改变参数，经常为了不调用拷贝构造函数而使用引用类型，如拷贝构造函数就必须使用引用参数。返回引用同样这样，为了不复制返回值

Answer 2

楼上正解.

返回const引用的地方最常见的还是类的const成员函数.

比如说, 自己定义一个string类型, 需要为其重载下标[ ]操作符.
char& operator[](size_t index) { return _Myptr[index]; }
const char& operator[](size_t index) const{ return _Myptr[index]; }

其中后者 必须 是返回const引用
因为通过下标来改变一个const string的字符在逻辑上是不允许的. 语法也不该允许.