C++ Primer 笔记——const 限定符

1.因为const对象一旦创建后其值就不能再改变，所以const对象必须初始化。

 

2.默认情况下const对象只在文件内有效，如果想在多个文件之间共享const对象，必须在变量的定义之前添加extern关键字。

 

3.允许为一个常量引用绑定非常量的对象，字面值，甚至是个一般表达式。

double dval = 3.14;
const int &ri = dval;

// 实际上编译器做了如下操作
const int temp = dval;
const int &ri = temp;

4.顶层const 表示指针本身是个常量，底层const 表示指针所指的对象是一个常量。

int i = 0;
int *const p1 = &i;        // 顶层const，不能改变p1的值
const int ci = 42;        // 顶层const，不能改变ci的值
const int *p2 = &ci;    // 底层const，允许改变p2的值
const int *const p3 = p2;        // 右边的const是顶层，左边的const是底层
const int &r = ci;                // 用于声明引用的const都是底层const

5.常量表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。在constexpr声明中如果定义了一个指针，限定符constexpr仅对指针有效，与指针所指的对象无关。

const int *p = nullptr;            // p是一个指向常量的指针
constexpr int *q = nullptr;        // q是一个常量指针，constexpr把它所定义的对象置为了顶层const

 

6.auto一般会忽略顶层const,同时底层const会保留下来，所以希望推断出的auto类型是一个顶层const，需要明确指出。

const int ci = 0;
auto b = ci;        // b是一个整数
const auto c = ci;    // c是一个const整数