常量指標 const void * 指標常量 void* const 指向常量的指標常量 const void* const
一) 常量指標。
常量是形容詞,指標是名詞,以指標為中心的一個偏正結構短語。這樣看,常量指標本質是指標,常量修飾它,表示這個指標乃是一個指向常量的指標(變數)。
指標指向的物件是常量,那麼這個物件不能被更改。
在C/C++中,常量指標是這樣宣告的:
1)const int *p;
2)int const *p;
常量指標的使用要注意,指標指向的物件不能通過這個指標來修改,可是仍然可以通過原來的宣告修改,也就是說常量指標可以被賦值為變數的地址,之所以叫做常量指標,是限制了通過這個指標修改變數的值。例如:
int a = 5;
const int b = 8;
const int *c = &a; // 這是合法的,非法的是對c的使用
*c = 6; // 非法,但可以這樣修改c指向的物件的值:a = 6;
const int *d = &b; // b是常量,d可以指向b,d被賦值為b的地址是合法的
細心的朋友在使用字串處理函式的時候,應該會注意到這些函式的宣告。它們的引數一般宣告為常量指標。例如,字串比較函式的宣告是這樣的:
int strcmp(const char *str1, const char *str2);
可是這個函式卻可以接收非常量字串。例如這段程式:
char *str1, *str2;
str1 = “abcde1234”;
str2 = “bcde”;
if(strcmp(str1, str2) == 0)
{
printf(“str1 equals str2.”);
}
str1和str2的內容顯然是可以更改的,例如可以使用“str1[0] = x;”這樣的語句把str1的內容由“abcde1234”變為“xbcde1234”。因為函式的引數宣告用了常量指標的形式,就保證了在函式內部,那 個常量不被更改。也就是說,對str1和str2的內容更改的操作在函式內部是不被允許的。(就目前的應用來看,我覺得設定常量指標就是為函式引數宣告準 備的,不然還真不知道用在什麼地方呢,呵呵!)
雖然常量指標指向的物件不能變化,可是因為常量指標是一個變數,因此,常量指標可以不被賦初始值,且可以被重新賦值。例如:
const int a = 12;
const int b = 15;
const int *c = &a; // 為了簡化程式碼,很多人習慣賦初始值
const int *d;
d = &a; // 這樣當然是可以的
c = &b; // 雖然c已經被賦予初始值,可是仍然可以指向另一個變數
特點是,const的位置在指標宣告運算子的左側。只要const位於的左側,無論它在型別名的左邊或右邊,都聲明瞭一個指向常量的指標,叫做常量指標。
可以這麼想,*左側是常量,指標指向的物件是常量。
二) 指標常量
指標是形容詞,常量是名詞。這回是以常量為中心的一個偏正結構短語。那麼,指標常量的本質是一個常量,而用指標修飾它,那麼說明這個常量的值應該是一個指標。
指標常量的值是指標,這個值因為是常量,所以不能被賦值。
在C/C++中,指標常量這樣宣告:
int a;
int *const b = &a; //const放在指標宣告操作符的右側
只要const位於指標宣告操作符右側,就表明宣告的物件是一個常量,且它的內容是一個指標,也就是一個地址。上面的宣告可以這麼讀,聲明瞭一個常量b,它的值是變數a的地址(變數a的地址,不就是指向變數a的指標嗎)。
因為指標常量是一個常量,在宣告的時候一定要給它賦初始值。一旦賦值,以後這個常量再也不能指向別的地址。
雖然指標常量的值不能變,可是它指向的物件是可變的,因為我們並沒有限制它指向的物件是常量。
因此,有這麼段程式:
char *a = “abcde1234”;
char *b = “bcde”;
char *const c = &a;
下面的操作是可以的。
a[0] = ‘x’; // 我們並沒有限制a為常量指標(指向常量的指標)
或者
*c[0] = ‘x’ // 與上面的操作一致
三)指向常量的指標常量
顧名思議,指向常量的指標常量就是一個常量,且它指向的物件也是一個常量。
因為是一個指標常量,那麼它指向的物件當然是一個指標物件,而它又指向常量,說明它指向的物件不能變化。
在C/C++中,這麼宣告:
const int a = 25;
const int * const b = &a;
看,指標宣告操作符左邊有一個const,說明宣告的是一個指向常量的指標。再看,指標宣告操作符右邊有一個const,說明宣告的是一個指標常量。前後都鎖死了,那麼指向的物件不能變,指標常量本身也不能變。細細體味,相信能得其道,下面就不贅述了。
用一個例子作為總結。雖然字元指標與其它指標的本質是一樣的,可是因為字元指標常用來表示字串,常不好理解。下面就用字元指標來舉例。
char *a = “abcde1234”;
const char *b = “bcde”; // b是指向常量字串的指標變數
char *const c = &a; // c是指向字元指標變數的常量
const char *const d = &b; // d是指向字元常量的指標常量
問題來了。
1)問:因為a是變數,a可以賦值為其它值,如”12345abc”。那麼c指向a,當a變化了,c指向什麼呢?
答:仍然指向”abcde1234”。雖然a可以指向別的字串,可是c仍然指向”abcde1234”,也就是a開始指向的物件。
2)問:a是變數,可以改變a的內容。那麼當執行了“a[0] = ‘x’;”後,c會怎樣呢?
答:c當然還指向a初始指向的字元。不過,這個字元已經變成了’x’。
3)問:b是指向常量的指標變數,當b指向別的字串,d怎麼樣?
答:d仍然指向b初始的字串。
4)問:b可以變化,b指向的字元不能變化,也就是說b[0]不能被重新賦值,可是b[1]可以被重新賦值嗎?
答:原則上b指向的字元是常量,並沒有限制下一個字元,應該可以被賦值。可是因為你使用字串進行了初始賦值,而且編譯器是靜態編譯的,C/C++程式就把b當作字串指標來處理了,因此,當對下一個字元進行賦值時,編譯不能通過。
其他問題,歡迎補充。
我編了這樣的口訣,記住,應該不難:
const(*號)左邊放,我是指標變數指向常量;
const(*號)右邊放,我是指標常量指向變數;
const(*號)兩邊放,我是指標常量指向常量;
指標變數能改指向,指標常量不能轉向!
要是全都變成常量,鎖死了,我不能轉向,你也甭想變樣!