const形参和实参

顶层const作用于对象本身：

    const int ci = 42;//不能改变ci，const是顶层的
    int i = ci;//正确：当拷贝ci时，忽略了它的顶层const
    int* const p = &i;//const是顶层时，不能给p赋值
    *p = 0;//正确：通过p改变对象的内容是允许的，现在i变成了0

用实参初始化形参时会忽略形参的顶层const。当形参有顶层const时，传给它常量对象或者非常量对象都是可以的：

void fcn(const int i) {/* fcn能够读取i，但是不能向i写值*/ }

调用fcn函数时，既可以传入const int 也可以传入int。忽略形参的顶层const可能产生意想不到的结果：

void fcn(const int i){/*fcn能够读取i,但是不能向i写值*/ }
void fcn(int i){/* ... */ }//错误：重复定义了fcn(int)

C++允许定义若干具有相同名字的函数，不同函数的形参列表应有明显的区别。

因为顶层const被忽略掉了，所以上面的代码传入两个fcn函数的参数可以完全一样。

因此第二个fcn是错误的，尽管形式上有差异，但实际上它的形参和第一个fcn的形参没什么不同。

指针或引用形参与const

可以使用非常量初始化一个底层const对象，反过来不行。同时一个普通的引用必须用同类型的对象初始化：

    int i = 42;
    const int* cp = &i;//正确：但是cp不能改变i
    const int& r = i;//正确：但是r不能改变i
    const int& r2 = 42;//正确
    int* p = cp;//错误：p的类型和cp的类型不匹配
    int& r3 = r;//错误：r3的类型和r的类型不匹配
    int& r4 = 42;//错误：不能用字面值初始化一个非常量引用

将同样的初始化规则应用到参数传递上可得：

    int i = 0;
    const int ci = i;
    string::size_type ctr = 0;
    reset(&i);//调用参数类型是int*的reset函数
    reset(&ci);//错误：不能用指向const int对象的指针初始化int *
    reset(i);//调用形参类型是int&的reset函数
    reset(ci);//错误：不能把普通引用绑定到const对象ci上
    reset(42);//错误：不能把普通引用绑定到字面值上
    reset(ctr);//错误：类型不匹配，ctr是无符号类型
    find_char("Hello World", 'o', ctr);//正确：find_char的第一个形参是对常量的引用

• 调用引用版本的reset，只能使用 int 类型的对象，而不能使用字面值、求值结果为 int 的表达式、需要转换的对象或者 const int 类型的对象。
• 调用指针版本的reset，只能使用 int* 。
• 传递一个字符串字面值作为 find_char 的第一个实参，因为该函数的引用形参是常量引用，C++允许我们用字面值初始化常量引用。

尽量使用常量引用

把函数不会改变的形参定义成普通的引用时一种比较常见的错误，这么做带给函数的调用者一种误导，即函数可以修改它的实参的值。

使用引用而非常量引用也会极大地限制函数所能接受的实参类型。不能把 const 对象、字面值或者需要类型转换的对象传递给普通的引用形参。

find_char 函数将它的 string 类型的形参定义成常量引用，假如定义成普通的 string&:

//不良设计：第一个形参的类型应该是const string&
string::size_type find_char(string& s, char c, string::size_type& occurs);

只能将 find_char 函数作用于 string 对象，类似下面的调用：

find_char("Hello World", 'o', ctr);

将在编译时发生错误。

在一个判断 string 对象是否是句子的函数中使用 find_char:

bool is_sentence(const string& s) 
{
    //如果在s的末尾有且只有一个句号，则s是一个句子
    string::size_type ctr = 0;
    return find_char(s,'.',ctr)==s.size()-1&&ctr==1;
}

如果 find_char 的第一个形参类型是 string&，那么上面这条调用 find_char 的语句将在编译时发生错误。

原因在于s是常量引用，但 find_char 被定义成只能接受普通引用。