const形参和实参

当形参是const时，必需要注意关于顶层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被忽略掉了。当形参有顶层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)  {/*....*/}//错误：重复定义了fdn(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;

void reset(int &i);

reset(&i);  //调用形参类型是int *的reset函数

reset(&ci);  //错误：不能用指向const int对象的指针初始化int *

reset(i);   //调用参数类型是int&的reset函数

reset(ci);  //错误：不能把普通引用绑定到const对象ci上

reset(42);  //错误：不能把普通引用绑定到字面值上

reset(ctr); //错误：类型不匹配，ctr是无符号类型

//find_char的第一个形参是对常量的引用

find_char("hello world",'o',ctr);//能够绑定到字面值常量上

要想调用引用版本的reset，只能使用int类型的对象，而不能使用字面值、求值结果为int的表达式、须要转换的对象或者const int类型的对象。相似的，要想调用指针版本的reset只能使用int*。

另外一方面，咱们能传递一个字符串字面值做为find_char的第一个实参，这是由于改函数的引用形参是常量引用，而C++容许咱们用字面值初始化常量引用。

 

尽可能使用常量引用

把函数不会改变的形参定义成（普通的）引用是一种比较常见的错误，这么作带来给函数的调用者一种误导，即函数能够修改它的实参的值。此外，使用引用而很是量引用也会极大地限制函数所能接受的实参类型。就像刚刚看到的，咱们不能把const对象、字面值或者须要类型转换的对象传递给普通的引用形参。