讓我們從一個(gè)非常簡(jiǎn)單的例子開(kāi)始，如下：
int n;
這個(gè)應(yīng)該被理解為“declare n as an int”（n是一個(gè)int型的變量）。
接下去來(lái)看一下指針變量，如下：
int *p;
這個(gè)應(yīng)該被理解為“declare p as an int *”（p是一個(gè)int *型的變量），或者說(shuō)p是一個(gè)指向一個(gè)int型變量的指針。我想在這里展開(kāi)討論一下：我覺(jué)得在聲明一個(gè)指針（或引用）類(lèi)型的變量時(shí)，最好將*（或&）寫(xiě)在緊靠變量之前，而不是緊跟基本類(lèi)型之后。這樣可以避免一些理解上的誤區(qū)，比如：
int* p,q;
第一眼看去，好像是p和q都是int*類(lèi)型的，但事實(shí)上，只有p是一個(gè)指針，而q是一個(gè)最簡(jiǎn)單的int型變量。
我們還是繼續(xù)我們前面的話題，再來(lái)看一個(gè)指針的指針的例子：
char **argv;
理論上，對(duì)于指針的級(jí)數(shù)沒(méi)有限制，你可以定義一個(gè)浮點(diǎn)類(lèi)型變量的指針的指針的指針的指針...
再來(lái)看如下的聲明：
int RollNum[30][4];
int (*p)[4]=RollNum;
int *q[5];
這里，p被聲明為一個(gè)指向一個(gè)4元素（int類(lèi)型）數(shù)組的指針，而q被聲明為一個(gè)包含5個(gè)元素（int類(lèi)型的指針）的數(shù)組。
另外，我們還可以在同一個(gè)聲明中混合實(shí)用*和&，如下：
int **p1; // p1 is a pointer to a pointer to an int.
int *&p2; // p2 is a reference to a pointer to an int.
int &*p3; // ERROR: Pointer to a reference is illegal.
int &&p4; // ERROR: Reference to a reference is illegal.
注：p1是一個(gè)int類(lèi)型的指針的指針；p2是一個(gè)int類(lèi)型的指針的引用；p3是一個(gè)int類(lèi)型引用的指針（不合法！）；p4是一個(gè)int類(lèi)型引用的引用（不合法！）。
const修飾符
當(dāng)你想阻止一個(gè)變量被改變，可能會(huì)用到const關(guān)鍵字。在你給一個(gè)變量加上const修飾符的同時(shí)，通常需要對(duì)它進(jìn)行初始化，因?yàn)橐院蟮娜魏螘r(shí)候你將沒(méi)有機(jī)會(huì)再去改變它。例如：
const int n=5;
int const m=10;
上述兩個(gè)變量n和m其實(shí)是同一種類(lèi)型的--都是const int（整形恒量）。因?yàn)镃++標(biāo)準(zhǔn)規(guī)定，const關(guān)鍵字放在類(lèi)型或變量名之前等價(jià)的。我個(gè)人更喜歡第一種聲明方式，因?yàn)樗怀隽薱onst修飾符的作用。
當(dāng)const與指針一起使用時(shí)，容易讓人感到迷惑。例如，我們來(lái)看一下下面的p和q的聲明：
const int *p;
int const *q;
他們當(dāng)中哪一個(gè)代表const int類(lèi)型的指針（const直接修飾int），哪一個(gè)代表int類(lèi)型的const指針（const直接修飾指針）？實(shí)際上，p和q都被聲明為const int類(lèi)型的指針。而int類(lèi)型的const指針應(yīng)該這樣聲明：
int * const r= &n; // n has been declared as an int
這里，p和q都是指向const int類(lèi)型的指針，也就是說(shuō)，你在以后的程序里不能改變*p的值。而r是一個(gè)const指針，它在聲明的時(shí)候被初始化指向變量n（即r=&n;）之后，r的值將不再允許被改變（但*r的值可以改變）。
組合上述兩種const修飾的情況，我們來(lái)聲明一個(gè)指向const int類(lèi)型的const指針，如下：
const int * const p=&n // n has been declared as const int
下面給出的一些關(guān)于const的聲明，將幫助你徹底理清const的用法。不過(guò)請(qǐng)注意，下面的一些聲明是不能被編譯通過(guò)的，因?yàn)樗麄冃枰诼暶鞯耐瑫r(shí)進(jìn)行初始化。為了簡(jiǎn)潔起見(jiàn)，我忽略了初始化部分；因?yàn)榧尤氤跏蓟a的話，下面每個(gè)聲明都將增加兩行代碼。
char ** p1; ? ? ? // ? pointer to ? pointer to ? char
const char **p2; ? ? // ? pointer to ? pointer to const char
char * const * p3; ? ? // ? pointer to const pointer to ? char
const char * const * p4; ? // ? pointer to const pointer to const char
char ** const p5; ? ? // const pointer to ? pointer to ? char
const char ** const p6; ? // const pointer to ? pointer to const char
char * const * const p7; ? // const pointer to const pointer to ? char
const char * const * const p8; // const pointer to const pointer to const char
注：p1是指向char類(lèi)型的指針的指針；p2是指向const char類(lèi)型的指針的指針；p3是指向char類(lèi)型的const指針；p4是指向const char類(lèi)型的const指針；p5是指向char類(lèi)型的指針的const指針；p6是指向const char類(lèi)型的指針的const指針；p7是指向char類(lèi)型const指針的const指針；p8是指向const char類(lèi)型的const指針的const指針。
typedef的妙用
typedef給你一種方式來(lái)克服“*只適合于變量而不適合于類(lèi)型”的弊端。你可以如下使用typedef：
typedef char * PCHAR;
PCHAR p,q;
這里的p和q都被聲明為指針。（如果不使用typedef，q將被聲明為一個(gè)char變量，這跟我們的第一眼感覺(jué)不太一致！）下面有一些使用typedef的聲明，并且給出了解釋?zhuān)?
typedef char * a; // a is a pointer to a char
typedef a b(); ? // b is a function that returns
? ? ? // a pointer to a char
typedef b *c; ? // c is a pointer to a function
? ? ? // that returns a pointer to a char
typedef c d(); ? // d is a function returning
? ? ? // a pointer to a function
? ? ? // that returns a pointer to a char
typedef d *e; ? // e is a pointer to a function
? ? ? // returning a pointer to a
? ? ? // function that returns a
? ? ? // pointer to a char
e var[10]; ? // var is an array of 10 pointers to
? ? ? // functions returning pointers to
? ? ? // functions returning pointers to chars.
typedef經(jīng)常用在一個(gè)結(jié)構(gòu)聲明之前，如下。這樣，當(dāng)創(chuàng)建結(jié)構(gòu)變量的時(shí)候，允許你不使用關(guān)鍵字struct（在C中，創(chuàng)建結(jié)構(gòu)變量時(shí)要求使用struct關(guān)鍵字，如struct tagPOINT a；而在C++中，struct可以忽略，如tagPOINT b）。
typedef struct tagPOINT
{
int x;
int y;
}POINT;
POINT p; /* Valid C code */
函數(shù)指針
函數(shù)指針可能是最容易引起理解上的困惑的聲明。函數(shù)指針在DOS時(shí)代寫(xiě)TSR程序時(shí)用得最多；在Win32和X-Windows時(shí)代，他們被用在需要回調(diào)函數(shù)的場(chǎng)合。當(dāng)然，還有其它很多地方需要用到函數(shù)指針：虛函數(shù)表，STL中的一些模板，Win NT/2K/XP系統(tǒng)服務(wù)等。讓我們來(lái)看一個(gè)函數(shù)指針的簡(jiǎn)單例子：
int (*p)(char);
這里p被聲明為一個(gè)函數(shù)指針，這個(gè)函數(shù)帶一個(gè)char類(lèi)型的參數(shù)，并且有一個(gè)int類(lèi)型的返回值。另外，帶有兩個(gè)float類(lèi)型參數(shù)、返回值是char類(lèi)型的指針的指針的函數(shù)指針可以聲明如下：
char ** (*p)(float, float);
那么，帶兩個(gè)char類(lèi)型的const指針參數(shù)、無(wú)返回值的函數(shù)指針又該如何聲明呢？參考如下：
void * (*a[5])(char * const, char * const);
“右左法則”[重要！！！]
The right-left rule: Start reading the declaration from the innermost parentheses, go right, and then go left. When you encounter parentheses, the direction should be reversed. Once everything in the parentheses has been parsed, jump out of it. Continue till the whole declaration has been parsed.
這是一個(gè)簡(jiǎn)單的法則，但能讓你準(zhǔn)確理解所有的聲明。這個(gè)法則運(yùn)用如下：從最內(nèi)部的括號(hào)開(kāi)始閱讀聲明，向右看，然后向左看。當(dāng)你碰到一個(gè)括號(hào)時(shí)就調(diào)轉(zhuǎn)閱讀的方向。括號(hào)內(nèi)的所有內(nèi)容都分析完畢就跳出括號(hào)的范圍。這樣繼續(xù)，直到整個(gè)聲明都被分析完畢。
對(duì)上述“右左法則”做一個(gè)小小的修正：當(dāng)你第一次開(kāi)始閱讀聲明的時(shí)候，你必須從變量名開(kāi)始，而不是從最內(nèi)部的括號(hào)。
下面結(jié)合例子來(lái)演示一下“右左法則”的使用。
int * (* (*fp1) (int) ) [10];
閱讀步驟：
1. 從變量名開(kāi)始 -------------------------------------------- fp1
2. 往右看，什么也沒(méi)有，碰到了)，因此往左看，碰到一個(gè)* ------ 一個(gè)指針
3. 跳出括號(hào)，碰到了(int) ----------------------------------- 一個(gè)帶一個(gè)int參數(shù)的函數(shù)
4. 向左看，發(fā)現(xiàn)一個(gè)* --------------------------------------- （函數(shù)）返回一個(gè)指針
5. 跳出括號(hào)，向右看，碰到[10] ------------------------------ 一個(gè)10元素的數(shù)組
6. 向左看，發(fā)現(xiàn)一個(gè)* --------------------------------------- 指針
7. 向左看，發(fā)現(xiàn)int ----------------------------------------- int類(lèi)型
總結(jié)：fp1被聲明成為一個(gè)函數(shù)的指針,該函數(shù)返回指向指針數(shù)組的指針.
再來(lái)看一個(gè)例子：
int *( *( *arr[5])())();
閱讀步驟：
1. 從變量名開(kāi)始 -------------------------------------------- arr
2. 往右看，發(fā)現(xiàn)是一個(gè)數(shù)組 ---------------------------------- 一個(gè)5元素的數(shù)組
3. 向左看，發(fā)現(xiàn)一個(gè)* --------------------------------------- 指針
4. 跳出括號(hào)，向右看，發(fā)現(xiàn)() -------------------------------- 不帶參數(shù)的函數(shù)
5. 向左看，碰到* ------------------------------------------- （函數(shù)）返回一個(gè)指針
6. 跳出括號(hào)，向右發(fā)現(xiàn)() ------------------------------------ 不帶參數(shù)的函數(shù)
7. 向左，發(fā)現(xiàn)* --------------------------------------------- （函數(shù)）返回一個(gè)指針
8. 繼續(xù)向左，發(fā)現(xiàn)int --------------------------------------- int類(lèi)型
總結(jié)：？？
還有更多的例子：
float ( * ( *b()) [] )(); ? ? // b is a function that returns a
? ? ? ? ? ? // pointer to an array of pointers
? ? ? ? ? ? // to functions returning floats.
void * ( *c) ( char, int (*)()); ? // c is a pointer to a function that takes
? ? ? ? ? ? // two parameters:
? ? ? ? ? ? // ? a char and a pointer to a
? ? ? ? ? ? // ? function that takes no
? ? ? ? ? ? // ? parameters and returns
? ? ? ? ? ? // ? an int
? ? ? ? ? ? // and returns a pointer to void.
void ** (*d) (int &,
char **(*)(char *, char **)); ? // d is a pointer to a function that takes
? ? ? ? ? ? // two parameters:
? ? ? ? ? ? // ? a reference to an int and a pointer
? ? ? ? ? ? // ? to a function that takes two parameters:
? ? ? ? ? ? // ? a pointer to a char and a pointer
? ? ? ? ? ? // ? to a pointer to a char
? ? ? ? ? ? // ? and returns a pointer to a pointer
? ? ? ? ? ? // ? to a char
? ? ? ? ? ? // and returns a pointer to a pointer to void
float ( * ( * e[10])
(int &) ) [5]; ? ? ? // e is an array of 10 pointers to
? ? ? ? ? ? // functions that take a single
? ? ? ? ? ? // reference to an int as an argument
? ? ? ? ? ? // and return pointers to
? ? ? ? ? ? // an array of 5 floats.