博客

不考虑类的情况：

• const常量在定义时必须初始化，之后无法更改
• const形参可以接收const和非const类型的实参，例如

// i 可以是 int 型或者 const int 型
void fun(const int& i){
    //...
}

考虑类的情况：

• const成员变量：不能在类定义外部初始化，只能通过构造函数初始化列表进行初始化，并且必须有构造函数；不同类对其const数据成员的值可以不同，所以不能在类中声明时初始化。
• const成员函数：const对象不可以调用非const成员函数；非const对象都可以调用；不可以改变非mutable（用该关键字声明的变量可以在const成员函数中被修改）数据的值。
  

顶层const：

指的是const修饰的变量本身是一个常量，无法修改，指的是指针，就是 * 号的右边

底层const：

指的是const修饰的变量所指向的对象是一个常量，指的是所指变量，就是 * 号的左边

int a = 10;
int* const b1 = &a;        //顶层const，b1本身是一个常量
const int* b2 = &a;        //底层const，b2本身可变，所指的对象是常量
const int b3 = 20;            //顶层const，b3是常量不可变
const int* const b4 = &a;  //前一个const为底层，后一个为顶层，b4不可变
const int& b5 = a;           //用于声明引用变量，都是底层const

区分作用

执行对象拷贝时有限制，常量的底层const不能赋值给非常量的底层const

使用命名的强制类型转换函数const_cast时，只能改变运算对象的底层const

const int a;
int const a;
const int *a;
int *const a;
int const a和const int a均表示定义常量类型a。

const int *a，其中a为指向int型变量的指针，const在 * 左侧，表示a指向不可变常量。(看成const (*a)，对引用加const)。

int *const a，依旧是指针类型，表示a为指向整型数据的常指针。(看成const(a)，对指针const)。

一个好记住的方法：看const 在谁的右边，谁就是不能改变的，int *const b1 = &a，const 在 * 右边，所以（b1指针）不能改变指向。const int a =20和int const b = 20，这两种情况一样，const 在int的右边，所以所指的值不能改变。