C++中的const限定符的使用和作用

目录

• 1、const 的引用
• 2、指针和const
• 3、顶层const
• 4、constexpr和常量表达式

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 指针既可以指向常量也可以指向一个非常量。

到此这篇关于C++中的const限定符的使用和作用的文章就介绍到这了,更多相关C++ const限定符内容请搜索自由互联以前的文章或继续浏览下面的相关文章希望大家以后多多支持自由互联！