const是一种类型修饰符
定义一个变量,它的值不能被改变。比如用一个变量来表示缓冲区的大小。
const int size = 128;//const的int类型
size = 1;//const对象一旦被创建以后,其值就不能再改变
const int i = get_size();//正确,运行时初始化
const int j = 11;//正确,编译时初始化
const int k;//错误,k是一个未经初始化的常量
const对象必须初始化
-
初始化
默认状态下,const对象仅在文件内有效
//编译器会找到代码中所有用到size的地方,然后用128替换 const int size = 128;
编译器将在编译过程中把用到该变量的地方都替换成对应的值
-
多个文件共享同一个const变量
只在一个文件中定义一次const变量,在其他多个文件中使用extern关键字声明并使用它,不管是声明还是定义都添加extern关键字
//a.cc定义并初始化了一个常量,该常量能被其他文件访问,定义一次 extern const int size = 128; //a.h头文件中声明了size,与a.cc中的size是同一个 extern const int size;
对const的引用
对常量的引用不能被用作修改它所绑定的对象
const int a = 11;
const int &r1 = a;//正确,引用及其绑定的对象都是常量
r1 = 22;//错误,对常量的引用不能被修改
int &r2 = r1;//错误,试图让一个非常量引用指向一个常量引用
-
引用的类型必须与其所引用的对象的类型一致
-
两个例外
-
初始化常量引用时允许用任意表达式作为初始值,只要该表达式的结果能转换成引用的类型
-
允许一个常量引用绑定非常量对象、字面值、一般表达式
int val = 11; const int &r1 = val;//正确 const int &r2 = 12;//正确,常量引用 const int &r3 = val * 2;//正确,常量引用 int &r4 = val * 2;//错误
-
double val = 1.23; const int &r1 = val;//正确,如果r1不是常量,是非法错误 //编译器把代码变成了下述形式 const temp = val;//让双精度浮点数生成一个临时的整型常量 const int &r1 = temp;//r1绑定这个临时对象
-
指针和const
主要分为两种情况:
-
指向常量的指针:不能用于改变其所指对象的值,存放常量对象的地址
const double a = 1.23;//a是一个常量,它的值不能改变 double *p1 = &a;//错误,p1是普通指针 const double *p2 = &a;//正确,p2指向一个double常量
指针的类型必须与其所指对象的类型一致
存在例外:允许用一个指向常量的指针指向一个非常量对象
和常量引用一样,指向常量的指针没有规定其所指的对象必须是一个常量
所谓的指向常量的指针仅仅要求不能通过该指针改变对象的值,而没有规定那个对象的值不能通过其他途径改变
-
常量指针
指针是对象,而引用不是
允许把指针本身定位常量,常量指针必须初始化,而且一旦初始化完成,则它的值,即存放在指针里面的那个地址就不能再改变了
int num = 0; int *const p = #//p将一直指向num const double num2 = 1.23; const double *const p1 = &num2;//p1是一个指向常量对象的常量指针
顶层const
- 顶层const:指针本身是常量
- 底层const:指针所指的对象是一个常量
int k = 11;
const int ci = 42;//不能改变ci的值,顶层const
int *const p1 = &i;//不能改变p1的值,指针本身是一个常量,顶层const
const int *p2 = &i;//能改变p2的值,指针所指的对象是一个常量,底层const
int const *p3 = &i;//能改变p3的值,指针所指的对象是一个常量,底层const
const int *const p4 = p2;//右边的是顶层const,左边的是底层const
const int &r = ci;//不能改变ci所指向的对象的值,是底层const
指针类型既可以是顶层const也可以是底层const。
声明引用的const只能是底层const。
C++11之constexpr变量
-
常量表达式
是指不会改变并且在编译过程就能得到计算结果的表达式。
-
constexpr变量
在一个复杂系统中分辨一个初始值是不是常量表达式是很困难的。
C++11中将变量声明为constexpr类型,由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量,必须用常量表达式初始化。
constexpr int i = 11;//11是一个常量表达式 constexpr int j = i + 1;//i + 1是一个常量表达式 constexpr int size = size();//只有当size()是一个constexpr函数时,声明才正确
一般来说,如果确定定义的变量是一个常量表达式,就把他声明为constexpr类型。
-
指针和constexpr
一个constexpr指针的初始值必须是nullptr或者0,或者是存储在某个固定地址中的对象;
constexpr只对指针有效,与指针所指的对象无关
const int *p1 = nullptr;//p1是一个指向整型常量的指针 constexpr int *p2 = nullptr;//p2是一个指向整数的常量指针,constexpr把所定义的对象置成了顶层const
一个是指向常量的指针,一个是常量指针
C++11之constexpr函数
是指能用于常量表达式的函数。
constexpr函数的几条约定:
- 函数的返回类型及所有形参的类型都必须是字面值类型
- 函数体中必须只有一条return语句
constexpr int new_size() {return 11;}
constexpr int a = new_size(); //正确,a是一个常量表达式
编译器把对constexpr函数的调用替换成其结果值,constexpr函数被隐式的指定为内联函数。