C++ primer 七 const形参和实参

74 阅读 0 评论 49 点赞

我是靠谱客的博主飞快流沙，最近开发中收集的这篇文章主要介绍C++ primer 七 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 fen (const int i) { /* fen能够读取i,但是不能向i写值*/ }

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

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

void fcn(int i) {/*...*/ } // 错误：重复定义了 fcn(int)

在C++语言中，允许我们定义若干具有相同名字的函数，不过前提是不同函数的形参列表应该有明显的区别。因为顶层const被忽略掉了，所以在上面的代码中传入两个fen函数的参数可以完全一样。因此第二个fen是错误的，尽管形式上有差异，但实际上它的形参和第一个fen的形参没什么不同。

指针或引用形参与const

形参的初始化方式和变量的初始化方式是一样的，所以冋顾通用的初始化规则有助于理解本节知识。我们可以使用非常量初始化一个底层const对象，但是反过来不行；同时一个普通的引用必须用同类型的对象初始化。

int i = 42；

const int *cp = &i; //正确：但是cp不能改变i

const int &r = i; //正确：但是i:不能改变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的第一个形参是对常量的引用

find一char ("Hello World!“, ‘ o' , ctr)；