《C++ Primer》读书笔记-第二章 05 const限定符

作者：马志峰
链接：https://zhuanlan.zhihu.com/p/23406123
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

声明：

• 文中内容收集整理自《C++ Primer 中文版 （第5版）》，版权归原书所有。
• 原书有更加详细、精彩的释义，请大家购买正版书籍进行学习。
• 本文仅作学习交流使用，禁止任何形式的转载

const对象

关键字const对变量的类型加以限定，限定后，变量的值不能被改变

const对象必须初始化

const int bufSize = 512;

利用一个对象去初始化另外一个对象，则它们是不是const都无关紧要

int i = 42;  const int ci = i;  int j = ci;

const对象的作用域

• 默认状态下，const对象仅在文件内有效
• 如果想要在多个文件中共享const对象，则需要在声明和定义时添加extern关键字

//file1.cpp, 定义  extern const int bufSize = fcn();  //file1.h  extern const int bufSize;

const的引用

可以把引用绑定到const对象上，称为对常用的引用，简称为常量引用

const int ci = 1024;    const int &r = ci;

在初始化常量引用时，有一个特殊但非常实用的语法：
允许用任意表达式作为常量引用的初始值

int i = 42;  const int &r1 = i;  const int &r2 = 42;  const int &r3 = r1 * 2;  double dval = 3.14;  const int &ri = dval;

这种特殊的情况可能很难理解，但是只要我们弄清楚实际发生了什么，一切就看上去合理了。

const int temp = dval;    const int &ri = temp;

编译器实际使用一个临时量来做周转，ri绑定的是临时量对象，它是一个常量。

那么编译器为什么要大费周折的做这件事情呢？
因为它有很大的好处！

int test() { return 1; }  void fun( const int &x) {};  int main()  {      int i = 1;      fun(1);      fun(i);      fun( test() );      return 0;  }

我们看到fun接受的入参种类大大增加，这就是得利于常量引用的这种特殊的赋值语法。

指针和const

和引用不同，指针本身是一个对象，所以既存在指向常量的指针，也存在指针本身是一个常量的情况。

把*放在const关键字之前用以说明指针是一个常量

int errNumb = 0;  int *const curErr = &errNumb;

顶层const

• 用名词顶层const表示对象本身是常量
• 用名词底层const表示对象所绑定的对象是常量

constexpr和常量表达式

常量表达式是指

1. 值不会改变
2. 在编译过程中就能得到计算结果
   的表达式

const int max_files = 20;   //是  const int limit = max_files + 1;  //是  int staff_size = 27;  //不是  const int sz = getSize();  //不是

用常量表达式初始化的const对象也是常量表达式

有些复杂的情况很难判定表达式是不是常量表达式，因此引入constexpr关键字。
以便由编译器来验证变量的值是否是一个常量表达式

constexpr int mf = 20;  //合法语句   constexpr int limit = mf + 1;  //合法语句  constexpr int xa = size();  //只有当size是constexpr函数时才合法

constexpr把它所定义的对象置为了顶层const

const int *p = nullptr;  // p是指向常量的指针   constexpr int *q = nullptr;  //q是常量指针