C++ const限定符

const限定符:利用const对对象加以限定。使得const对象一旦创建后其值就不能再改变。

const对象在定义时就必须对其进行初始化,有两种方式:

const int x = 10;
const int x = getValue();

第一种是直接给对象赋值一个常量或常量表达式。以这样的方式初始化的,编译器会在编译阶段对全部的对象进行替换,如:把程序中全部出现x的地方都替换为10。

另外一种方式是在执行时初始化。通过函数getValue()的返回值来初始化x。


默认情况下,const对象仅仅在文件内有效。要在全部文件里使用同一个const对象能够在定义const对象时加上extern。并在其它文件里使用extern申明该const对象,如:

extern const int x = 10; //在main.cc中 定义const int类型对象。并初始化。
extern const int x;      //在main.h中 申明const int类型对象。

const的引用:

初始化const引用时同意使用随意表达式作为初始值,如:

int x = 10;
double y = 10.4;
const int &r1 = x;
const int &r2 = 10;
const int &r3 = x * 10;
const int &r4 = y;

对于后三种情况,事实上r是绑定了一个暂时量,编译器会将代码变成例如以下:

int tmp = y;
const int &r4 = tmp;

此时不能改变r4的值,改变y时,r4的值也不会随之改变,由于r4是一个暂时量的引用。


const的引用能够引用一个非const的对象。const的引用仅仅是对引用可參与的操作做出限定,而对于引用的对象本身是不是一个const对象未做限定,如:

int x = 10;
const int &r = x;

指针和const:

指向常量的指针:指的不能改动指针所指向的对象的值,指针本身的值能够改变,即能够又一次指向别的对象,如:

const int x = 10;
int y = 20;
const int *p1 = &x;
const int *p2 = &y;  //指向常量的指针能够指向很量 
*p2 = 10;            //错误,不能改变指向常量的指针所指向的对象的值,就算对象本身为很量也不能够

const指针:即常量指针,定义时就必须初始化,且之后不能再将该指针指向其它对象,但能够通过该指针改动所指向的对象的值。如:

int x = 10;
int * const p = &x;     //不能改动指针本身的值。仅仅能改动指向所指对象的值
const int * const p2 = &x; //指向常量对象的常量指针,即不能改动所指对象的值,也不能改动指针本身的值

constexpr和常量表达式:

常量表达式是指值不会改变而且在编译过程中就能得到计算结果的表达式。字面值属于常量表达式。用常量表达式初始化的const对象也是常量表达式。一个对象(或表达式)是不是常量表达式由它的数据类型和初始值共同决定,仅仅有const类型。且初始化值为常量表达式时,该对象才为常量表达式。

在一个复杂的系统中,非常难分辨一个初始值究竟是不是常量表达式,C++11中规定。同意将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。

声明为constexpr的变量一定是一个常量,并且必须用常量表达式初始化,如:

constexpr int mf = 20;           // 20的常量表达式
constexpr int limit = mf + 1;    // mf + 1是常量表达式
constexpr int sz = size();       // 仅仅有当size()是一个constexpr函数时才是一条正确的声明语句

一般来说,假设你认定变量是一个常量表达式,那就把它声明成constexpr类型。

原文地址:https://www.cnblogs.com/wzjhoutai/p/7069592.html