1、形参的初始化与变量的初始化一样:如果形参具有非引用类型,则复制实参的值;如果形参为引用类型,则它是实参的别名。
2、可以将指向const对象的指针指向非const对象,但不能将指向非const对象的指针指向const对象。但在函数非指针非引用形参里,结果就不受约束了,不论形参是否是const类型的,只要不是引用或者指针,对应的实参既可以是const对象,也可以是非const对象。
3、令人吃惊的是,尽管函数的形参是const,但编译器却不会将形参是非const类型的同名函数视为函数重载。例如
void fcn(const int i) { /* fcn函数可以读取i的值却无法更改i的值 */} void fcn(int i) { /* ... */} //编译器将提示"error:redefines fcn (int)"错误
其实这种用法是为了支持对C语言的兼容,因为在C语言中,具有const形参或非const形参的函数无法区别。 阅读全文