《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是常量指针