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