C++学习笔记之顶层const和底层const

顶层const：表示变量本身是个常量，对任何数据类型适用，如算数类型（int、double），类，指针

底层const：表示指向的变量是个常量，用于指针和引用

指针类型既可以是顶层const，也可以是底层const

int a=0;
//顶层const
int *const p1=&a;
const int var=0;

//底层const
const int *p2=&var;
const int &ref=var;

//既是顶层const，又是底层const
//第一个const为底层const，第二个const为顶层const
const int *const p3=p2;

• 重载与const形参

顶层const不影响传入函数的对象，即在编译器看来，一个拥有顶层const的形参和一个没有顶层const的形参没什么区别：

void fun1(int a);
void fun1(const int a); //重复声明的fun1

void fun2(int *p);
void fun2(int* const a); //重复声明的fun2

如果形参是某种类型的指针或引用，则通过区分其指向的是常量对象（即底层const）还是非常量对象可以实现函数重载：

void fun3(int a);
void fun3(const int &a); //重载了fun3

void fun4(int *a);
void fun4(const int *a); //重载了fun4

因为const不能转换成其他类型，所以只能把const对象传递给const形参。

而非常量可以转换为常量，所以上面的4个函数都能传入非const对象或者指向非const对象的指针，不过编译器会优先选用非const版本的函数。

参考资料：《C++ Primer》