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