三個名詞雖然非常繞嘴,不過說的非常准確。用中國話的語義分析就可以很方便地把三個概念區分開。
一) 常量指針。
常量是形容詞,指針是名詞,以指針為中心的一個偏正結構短語。這樣看,常量指針本質是指針,常量修飾它,表示這個指針乃是一個指向常量的指針(變量)。
指針指向的對象是常量,那么這個對象不能被更改。
在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(*號)兩邊放,我是指針常量指向常量;
指針變量能改指向,指針常量不能轉向!
要是全都變成常量,鎖死了,我不能轉向,你也甭想變樣!