1、写在前面:
int main(void) { const int a = 0; int* ptr = const_cast<int*>(&a); *ptr = 10; int b = a; int c = b; cout << a << endl; cout << b << endl; cout << *(&a) << endl; cout << *ptr << endl; cout << (&a == ptr) << endl; }
对于以上代码,const声明了变量a为常量(伪常量),为什么叫伪常量呢?因为使用const_cast强制转换后,去掉其地址的const属性之后,使用ptr指针访问其地址并作修改,是合法的;真常量如p指向的内容为常量字符串,是不允许被修改的,但是同样的方法进行强制转换,编译不会报错,但是运行时,内核不会允许非法的写入操作,会抛出异常;
const char* p=“hello world”
2、分析const声明的常量的的实际优化过程:
对于这段代码,
1 int main(void) { 2 const int a = 0; 3 int* ptr = const_cast<int*>(&a); 4 5 *ptr = 10; 6 7 int b = a; 8 9 int c = b; 10 11 cout << a << endl; 12 cout << b << endl; 13 cout << *(&a) << endl; 14 cout << *ptr << endl; 15 cout << (&a == ptr) << endl; 16 17 }
先看运行结果:
这里可以看到,标识符a对应的内存的数据其实已经被ptr给改了,但是直接使用标志符a去赋值或者输出的时候,并没有以按地址取值的方式从内存空间去读相应的数据,因此我们可以猜想,必然是在某个环节作了替换操作。
2.1 看看这段代码预处理后的结果:并没有在预处理阶段作替换
2.2 再看看这段代码对应的汇编代码呢?:(虽然汇编没学过,但是对比来看可以看出区别)就是在编译阶段完成了替换,将标识符a直接替换成了一开始声明的数值,而不是去先读取对应的地址空间存放的值;
3、总结
从以上的分析过程可以看出,const声明的数据类型的优化是存在编译器中的,减少了一步取址操作,也就是说,只要你使用const声明了一个数据类型(这里只验证了内置数据类型),那么编译器就认定它不会被修改,因此在编译阶段就对它进行数值替换(因为实际上使用标识符a作为左值去对它进行重新赋值时,是不被允许的,编译时就会报错)。然而由于它的一开始声明时需要实际的内存空间去存放数据,但是块空间本质上又是可以读写的,只是因为const的属性在语法上作了限制而已,其实际地址空间是可以间接操作的,所以才被称为伪常量。
欢迎指正!转载请标明出处~ https://i.cnblogs.com/posts/edit;postId=15267210