今天意外见识了这个名词是在CSDN帖子里http://topic.csdn.net/u/20120406/03/f59790a9-67b8-479c-9f43-9bc413fae761.html?95101
其实这个困惑早就出现了,记得最早是看到了这篇文章http://www.cnblogs.com/wenzhang/archive/2011/12/30/2308052.html,当时还请教了作者,但始终没有说服自己的理由,今天 再看到确实有种重见老朋友的感觉,所以就上网搜搜这方面的帖子了。
首先来看一个简单的例子吧:
#include <iostream>using namespace std;int main(){ const int a=6;//const修饰必须初始化 int *p=(int*)&a; *p=8; cout<<"a的地址为:"<<&a<<"\t"<<"a的值为:"<<a<<endl; cout<<"p的地址为:"<<p<<"\t"<<"p指向变量的值为:"<<*p<<endl; return 0;}
运行结果:
a的地址为:0012FF7C a的值为:6
p的地址为:0012FF7C p指向变量的值为:8
一个内存地址竟然同时存两个值,有点诧异。这就牵涉到了常量折叠。
常量折叠的概念:在编译器里进行语法分析的时候,将常量表达式计算求值,并用求得的值来替换表达式,放入常量表,可以算作一种编译优化。
在编译器的优化的过程中,会把用const修饰的变量以内容替换掉,如宏似的:#define pi 3.14,当然这种是出现在预编译阶段,在运行阶段时,它的内存里的内容是可以改变的。
对于const int a=6,可能有如此疑问:a是什么,存在哪里,6又是什么,存在哪里?我不会将a看作常量,我更愿称之为用const修饰的变量。所谓变,我只的是其代表内存中所存的内容会变,要问a与一般变量有什么不同,无非就是被const修饰了。那么被const修饰了又是什么意思呢,如:const int a=6,其实这个语句是对a的声明,编译器一开始就知道a的,a是一个符号,放在符号表中,其代替了6,也就是说6也可以看作是一种符号,所以a就是6,6就是a,当然是相对来说的。相当6还是不同于 a的,6是文字常量,字面常量。那么6存在哪呢,其实管它在哪呢,因为它毕竟是不能存址的。
可以说,c++里的常量折叠(或者常量替换)是将const常量放在符号表中,而并不给其分配内存。编译器直接进行替换优化。
参考:
(1)http://www.cppblog.com/xmli/archive/2010/11/23/134425.html
(2)http://topic.csdn.net/u/20071016/13/4617d907-23ac-489e-81dc-90a80b118f0b.html
来源:https://www.cnblogs.com/danshui/archive/2012/04/06/2434550.html