Question

一个有关C++常量引用的问题

C++Primer 11 中讲对于string::size_type find_char(string &s,char c,string::Size_type &occurs);函数，若传入实参find_char("Hello World",'o',ctr);会导致编译错误，但是若把函数定义为，string::size_type find_char(const string &s,char c,string::Size_type &occurs);则正确。为什么是这样呢？另外有谁能否通俗的解释一下，何为底层const ,何为顶层const？

Answer 1

若string引用编号为1，const string应用编号为2。1所对应字符串内容是可以更改的，2所对应的字符串是不可更改的。所以1给编程者控制字符串改变的权限，2就没有给出这种权限。权限高的引用变量可以赋值给权限低的引用变量，反过来着不行。若2可以赋值给1（当然会编译出错），岂不就是通过1就可以改变原来2所对应的字符串了，但是2所指的字符串常量"Hello World"本身就是不可改变的。左值=右值 这种表达式中，要遵循 左值的修改权限<=右值的修改权限。

追问

我理解您的一意思是：由于用户随意修改1型string变量，所以用户相对于1型来说权限更高，这样用你这个方法就说通了。

Answer 2

你的函数参数定义为const型，非const传进去会隐含转换为const，若参数定义为非const，你传进去const型，相当于你给他一个其实不让改变的量，而他却可以改变这个值，就不行啦

追问

感谢您的回答，请问您能通俗的解释一下何为底层sonst 何为顶层const嘛？我看了书，但是一直不是很明白。