首先來(lái)看一個(gè)例子：
int main(int argc, char* argv[])
{
const int i=0;
int *j = (int *) &i;
*j=1;
cout<<&i<<endlcout<<j<<endl;
cout<<i<<endl;
cout<<*j<<endl;
return 0;
}
結(jié)果是
0012ff7c
0012ff7c
0
1
因?yàn)閕和j都指向相同的內(nèi)存地址，所以輸出的前兩個(gè)結(jié)果是相同的，但為啥相同的內(nèi)存里的結(jié)果不相同么？－－這就是常量折疊.
這個(gè)"常量折疊"是 就是在編譯器進(jìn)行語(yǔ)法分析的時(shí)候，將常量表達(dá)式計(jì)算求值，并用求得的值來(lái)替換表達(dá)式，放入常量表。可以算作一種編譯優(yōu)化。
我只是改了這個(gè)地址內(nèi)容,但是i還是0,
因?yàn)榫幾g器在優(yōu)化的過(guò)程中，會(huì)把碰見(jiàn)的const全部以?xún)?nèi)容替換掉（跟宏似的: #define pi 3.1415,用到pi時(shí)就用3.1415代替），這個(gè)出現(xiàn)在預(yù)編譯階段；但是在運(yùn)行階段，它的內(nèi)存里存的東西確實(shí)改變了!!!
6.網(wǎng)上的一些問(wèn)題（4）
關(guān)于常量
這些天被常量的一些概念折磨著,現(xiàn)在終于有些明白了，
問(wèn)題始于const int i = 10;//i存在哪，10存在哪
說(shuō)明一：符號(hào)表
這個(gè)語(yǔ)句是對(duì)i的聲明，因?yàn)榫幾g器一開(kāi)始就知道i的值，所以以后出現(xiàn)i時(shí)就會(huì)用10代替，這好像叫做符號(hào)表的概念，i就對(duì)應(yīng)10了。
網(wǎng)上一篇帖子上有這樣的代碼：
const int a = 3;
int *p = const_cast<int *>(&a);
*p = 4;
cout << a;//仍然輸出3
這個(gè)結(jié)果可以用上面的說(shuō)明來(lái)解釋
說(shuō)明二：常量折疊（const folding）與復(fù)寫(xiě)傳播 (copy propagation)
網(wǎng)上人們普遍反映thinking in c++將const folding譯為常量折疊是種誤導(dǎo)，我覺(jué)得譯的還行，本來(lái)folding就有折疊的意思，就是把原來(lái)的東西變小，而象const int i = 2*2;編譯器確實(shí)將2*2算成4了，以后碰到i就用4替換，這個(gè)計(jì)算2*2的過(guò)程據(jù)說(shuō)叫常量折疊--const folding，而用4替換i的過(guò)程叫做復(fù)寫(xiě)傳播--copy propagation.他們都是編譯器的優(yōu)化技術(shù)
說(shuō)明三：為常量分配空間
補(bǔ)充一下，這里說(shuō)的都是const 定義的常量，而非文字常量，
（c++ primer翻譯成文字常量--literal constant
the c++ programming language（tcpl）翻譯成文字量，還分了不同類(lèi)型）
至于文字常量存在哪，c++ primer 3ed上說(shuō)它們是不可尋址的--nonaddressable，盡管它們也存在機(jī)器內(nèi)存某個(gè)地方，但無(wú)法訪(fǎng)問(wèn)它們的地址
對(duì)于int double等類(lèi)型還好理解，但是對(duì)于字符串常量（tcpl里說(shuō)將字符串文字量作為常量，利于存儲(chǔ)與訪(fǎng)問(wèn)時(shí)的優(yōu)化）下面的代碼似乎表示字符串常量存儲(chǔ)在靜態(tài)存儲(chǔ)區(qū)里（字符串文字量是靜態(tài)分配的--tcpl），那么字符串常量的地址不是可以訪(fǎng)問(wèn)了嗎，在靜態(tài)存儲(chǔ)區(qū)里
http://bbs.bc-cn.net/dispbbs.asp?boardid=56&replyi...
字符串文字量的類(lèi)型是常量字符數(shù)組--適當(dāng)個(gè)數(shù)的const字符的數(shù)組
//有關(guān)字符常量的存儲(chǔ)區(qū)的問(wèn)題
//另外，char a[]和char *a的區(qū)別
//"hello world 1"存在哪
#include <iostream>
using namespace std;
int main()
{
char* p = "hello world1"；
char a[] = "hello world2"；
//會(huì)為a在棧上分配13個(gè)字節(jié)的空間
// p[2] = a;
a[2] = a;
char* p1 = "hello world1"
printf("%xn",&p[2]);//p應(yīng)該指向常量區(qū)
printf("%x",&a[2]);//棧上數(shù)組第三個(gè)元素的地址
return 0;
//結(jié)果42f036 //這是常量區(qū)
//12ff6e果然不一樣，這是棧區(qū)
}
6.總結(jié)
那么"常量折疊"到底是啥意思呢？
我理解，簡(jiǎn)單的說(shuō)就是，當(dāng)編譯器處理const的時(shí)候，編譯器會(huì)將其變成一個(gè)立即數(shù)。
《thinking in c++》里面說(shuō)這一點(diǎn)在數(shù)組定義里尤其重要(為啥呢？沒(méi)有查到相關(guān)的資料)。
Technorati : Zoundary, test, 常量折疊