[C++知识库]C++ const 限定符

在默认状态下，const对象仅在文件内有效。
如果需要在不同文件下共享需要添加关键字extern，这样只需要定义一次就够了。

extern const int bufSize;

1. const 的引用

把引用绑定到const上，和其他对象使用一样，最大的区别在于对常量的引用不能被用作他所修改的绑定对象：

const int ci=1024;
const int &rl=ci;//正确：引用及其对应的对象都是常量
rl=42;//错误：rl是对常量的引用
int &r2=ci;//错误：试图让一个非常量引用指向一个常量对象

ci不允许赋值，当然也不可能通过引用去改变ci；

• 初始化和对const的引用
  引用类型必须与其所引用对象的类型一直，但是有两个例外：
  1）一个是初始化常量引用时允许任意表达式作为初始值，只要该表达式的结果能转化成引用的类型即可。

int i=42;
const int &rl=i;//正确：允许将const int&绑定到一个普通int对象上
const int &r2=42;//正确：r2是一个常量引用
const int &r3=rl*2;//正确：r3是一个常量引用
int &r4=rl*2;//错误：r4是一个普通非常量引用

• 对const的引用可能引用一个并非const对象

int i=42;
int &rl=i;//引用r1绑定到一个i对象上
const int &r2=i;//r2也绑定对象i,但不允许通过r2修改i值
r1=0;//r1并非常量，i的值修改为0
r2=0;//错误：r2是一个常量引用

2、指针和const

• 与引用一样，也可以令指针指向常量或非常量。
• 类似与常量引用，指向常量的指针不能用于改变其所指对象的值。
• 和常量引用一样，指向常量的指针也没有规定其所指的对象必须是一个常量。

所以，要想存放常量对象的地址，只能使用指向常量的指针：

const double pi=3.14;// pi是个常量，它的值不能改变
double *ptr=π//错误：ptr是一个普通指针
const double *cptr=π//正确：cptr可以指向一个双精度常量
*cptr=42;//错误：不能给*cptr 赋值

指针的类型必须与其所指对象类型一致，但是有两个例外：
1、允许令一个指向常量的指针指向一个非常量对象；

double dval=3.14;
cptr=&dval;//正确：但是不能通过cptr改变dval的值

const 指针

• 常量指针必须初始化，而且一旦初始化完成，则它的值（也就是存放在指针中的那个地址）就不能在改变了。
• 指针是一个常量时，可以通过指针修改其所指对象的值，这样做完全依赖于所指对象类型。

*pip=2.72;//错误：pip是一个指向常量的指针
if(*curErr)//如果curErr所指的对象的值不为0
{
	errorHandler();
	*curErr=0; //正确：把curErr所指的对象的值重置
}

3、顶层 const

• 顶层 const (top-level const) 表示指针本身是个常量；
• 底层 const (low-level const) 表示指针所指的对象是一个常量；

4、constexpr 和常量表达式

• 常量表达式：是指值不会改变并且在编译过程就能得到计算结果的表达式。
  显然，字面值是常量表达式，用常量表达式初始化的const对象也是常量表达式。
• constexpr 变量 ：在C++11 新标准规定，允许将变量声明为 constexpr 类型以便编译器来验证变量的值是否是一个常量表达式。
• 字面值类型：指简单易见的数据类型，比如：算术类型、引用和指针等。
• 指针和 constexpr ：必须申明，在constexpr声明中定义了一个指针，限定符constexpr仅对指针有效，对指针所指的对象无关：

const int *p=nullptr;//p是一个指向整型常量的指针
constexpr int *q=nullptr;//q是一个指向整数的常量指针

与其他常量指针类似，constexpr 指针既可以指向常量也可以指向一个非常量。