常型別是指使用型別修飾符const說明的型別,常型別的變數或物件的值是不能被更新的。(當然,我們可以偷梁換柱進行更新:)
const 推出的初始目的,正是為了取代預編譯指令,消除它的缺點,同時繼承它的優點。
(1)可以定義const常量,具有不可變性。
例如:const int max=100; int array[max];
(2)便於進行型別檢查,使編譯器對處理內容有更多了解,消除了一些隱患。
例如: void f(const int i) 編譯器就會知道i是乙個常量,不允許修改;
(3)可以避免意義模糊的數字出現,同樣可以很方便地進行引數的調整和修改。 同巨集定義一樣,可以做到不變則已,一變都變!
如(1)中,如果想修改max的內容,只需要:const int max=you want;即可!
(4)可以保護被修飾的東西,防止意外的修改,增強程式的健壯性。 還是上面的例子,如果在函式體內修改了i,編譯器就會報錯;
例如: void f(const int i)
(5) 可以節省空間,避免不必要的記憶體分配。 例如:
#define pi 3.14159 //常量巨集
const double
pi=3.14159; //此時並未將pi放入ram中 ......
double i=pi; //此時為pi分配記憶體,以後不再分配!
double i=pi; //編譯期間進行巨集替換,分配記憶體
double j=pi; //沒有記憶體分配
double j=pi; //再進行巨集替換,又一次分配記憶體!
const定義常量從彙編的角度來看,只是給出了對應的記憶體位址,而不是象#define一樣給出的是立即數,所以,const定義的常量在程式執行過程中只有乙份拷貝,而#define定義的常量在記憶體中有若干個拷貝。
(6) 提高了效率。
編譯器通常不為普通const常量分配儲存空間,而是將它們儲存在符號表中,這使得它成為乙個編譯期間的常量,沒有了儲存與讀記憶體的操作,使得它的效率也很高。
例:為什麼下面的例子在使用乙個const變數來初始化陣列,ansi c的編譯器會報告乙個錯誤呢?
const
intn = 5;
int a[n];
答案與分析:
1)這個問題討論的是「
常量」與「唯讀
變數」的區別。常量,例如5, "abc",等,肯定是唯讀的,因為常量是被編譯器放在記憶體中的唯讀區域,當然也就不能夠去修改它。而「唯讀
變數」則是在記憶體中開闢乙個地方來存放它的值,只不過這個值由
編譯器限定不允許被修改。
c語言關鍵字const就是用來限定乙個
變數不允許被改變的
修飾符(qualifier)。上述**中
變數n被修飾為唯讀變數,可惜再怎麼修飾也不是
常量。而ansi c規定
陣列定義時長度必須是「
常量」,「唯讀
變數」也是不可以的,「常量」不等於「不可變的變數」。但是在c99中,區域性陣列是可以使用變數作為其長度的。
2)但是在標準c++中,這樣定義的是乙個常量,這種寫法是對的。實際上,根據編譯過程及
記憶體分配來看,這種用法本來就應該是合理的,只是ansi c對陣列的規定限制了它(實際上用gcc或vs2005編譯以上**,確實沒有錯誤產生,也沒有給出警告)。
3)那麼,在ansi c中用什麼來定義
常量呢?答案是enum型別和#define巨集,這兩個都可以用來定義常量。
例:下面的**編譯器會報乙個錯誤,請問,哪乙個語句是錯誤的呢?
typedef char * pstr;
char string[4] = "bbc";
const char *p1 = string; //1式
const pstr p2 = string; //2式
p1++;
p2++;
答案與分析:
問題出在p2++上。
1)const使用的基本形式: const type m;限定m不可變。替換基本形式中的m為1式中的*p1,替換後const char *p1;限定*p1不可變,當然p1是可變的,因此問題中p1++是對的。替換基本形式中的type為2式中的pstr,替換後const pstr m;限定m不可變,題中的pstr就是一種新型別,因此問題中p2不可
[1]變,p2++是錯誤的。
下面分別用const限定不可變的內容是什麼?
1)const在前面
const int nvalue; //nvalue是const
const char *pcontent; //*pcontent是const, pcontent可變
const char* const pcontent; //pcontent和*pcontent都是const
2)const在後面,與上面的宣告對等
int const nvalue; //nvalue是const
char const * pcontent; //*pcontent是const, pcontent可變
char* const pcontent; //pcontent是const,*pcontent可變
char const* const pcontent; //pcontent和*pcontent都是const
答案與分析:
const和
指標一起使用是c語言中乙個很常見的困惑之處,在實際開發中,特別是在看別人**的時候,常常會因為這樣而不好判斷作者的意圖,下面講一下我的判斷原則:
const只修飾其後的變數,至於const放在型別前還是型別後並沒有區別。如:const int a和int const a都是修飾a為const。*不是一種型別,如果*ptype之前是某型別,那麼ptype是指向該型別的指標
乙個簡單的判斷方法:
指標運算子*,是從右到左,那麼如:char const * pcontent,可以理解為char const (* pcontent),即* pcontent為const,而pcontent則是可變的。
[1]int const * p1,p2;
p2是const;(*p1)是一整體,因此(*p1)是const,但p1是可變的。int * p1,p2只代表p1是指向整型的指標,要表示p1、p2都是指標是需寫成int * p1,* p2。所以無論是* const p1,p2還是const * p1,p2,裡面的*都是屬於p1的。
int const * const p1,p2;
p2是const,是前乙個const修飾的,*p1也被前乙個const修飾,而p1被後乙個const修飾。
int * const p1,p2;
p1是const,(* const p1)是整體,所以const不修飾p2。
指標指向及其指向變數的值的變化
const在*的左邊,則指標指向的變數的值不可變;在*的右邊,則指標的指向不可變。簡記為「左定值,右定向」。
1)指標指向的變數的值不能變,指向可變
int x = 1;
int y = 2;
const int* px = &x;
int const* px = &x; //這兩句表示式一樣效果
px = &y; //正確,允許改變指向
*px = 3; //錯誤,不允許改變指標指向的變數的值
2)指標指向的變數的值可以改變,指向不可變
int x = 1;
int y = 2;
int* const px = &x;
px = &y; //錯誤,不允許改變指標指向
*px = 3; //正確,允許改變指標指向的變數的值
3)指標指向的變數的值不可變,指向不可變
int x = 1;
int y = 2;
const int* const px = &x;
int const* const px = &x;
px = &y; //錯誤,不允許改變指標指向
*px = 3; //錯誤,不允許改變指標指向的變數的值
在c中,對於const定義的指標,不賦初值編譯不報錯,
即int* const px;等不會報錯。
但是,在c++中
int* const px;和const int* const px;會報錯,const int* px;不報錯。
必須初始化指標的指向int* const px = &x;const int* const px=&x;
強烈建議在初始化時說明指標的指向,防止出現野指標!
this指標 引用 頂層和底層const關係
1 首先頂層const和底層const是圍繞指標 p的說法。底層 const int p,const不是修飾指標p,指標所指的值不能改變 頂層 int const p,const修飾指標p,指標本身不能改變 看const在 的位置 2 this指標,指向物件本身,是乙個 const this型指標 ...
指向const的指標和const指標
指向const的指標 int gorp 16 int chips 12 const int p snack gorp 其中p snack指向乙個const int。p snack 20 不被允許,p snack的值為const,禁止修改p snack指向的值,p snack chips 可以執行,p...
const 位置與指標的關係
int b 500 const int a b 1 int const a b 2 int const a b 3 const int const a b 4 typedef char pchar pointer to char typedef const pchar cpchar const po...