C指針雜談

(1) float(**def)[10]   def是什么？

(2) double*(*gh)[10]   gh是什么？

(3) double(*f[10])()   f是什么？

(4) int*((*b)[10])    b是什么？

(1) def是一個指針, 指向的對象也是一個指針, 指向的指針最終指向的是10個float構成的數組. 

(2) gh是指針, 指向的是10個元素構成的數組, 數組的元素是double*類型的指針. 

(3) f是10個元素構成的數組, 每個元素是指針, 指針指向的是函數, 函數類型為無參數且返回值為double. 下面要講的竅門的例子跟這個很類似. 

(4) b是指針,指向的是10個元素構成的數組, 數組元素為int*類型的指針. 

竅門如下: 

    如果我們碰到復雜的類型聲明，該如何解析它？例如： 

    char (*a[3])(int); 

    a到底被聲明為什么東東？指針？數組？還是函數？ 

    分析時，從a 最接近（按運算符優先級）處開始。我們看到a最接近符號是[ ]——注意：*比[ ]的優先級低。a后既然有[ ]，那么a是數組，而且是包含3個元素的數組。 

    那這個數組的每個元素是什么類型呢？雖然數組a只含有a[0]、a[1]、a[2]三個元素，a[3]實際上已經越界，但在分析數組a的元素的類型時，我們正好需要形式上的元素a[3]。知道了a[3]的類型，就知道了a的元素的類型。 a[3]是什么類型？是指針，因為它的前面有*. 由此可知，數組a的元素是指針。 

光說是指針還不夠。對于指針，必須說出它指向的東東是什么類型。它指向的東東是什么，就看*a[3]是什么（a[3]是指針，它指向的東東當然是*a[3]）了。繼續按優先級觀察，我們看到*a[3]后面有小括號，所以可以肯定*a[3]是函數。即數組a的元素是指向函數的指針。 

   指向的是什么類型的函數？這很明顯，是入參為int、返回值為char的類型的函數。 

至此解析完畢。 

    按上述方法，再復雜的也可以一步步解析出來。 

    就像習武不是為了打人而是為了防身一樣，我們了解上述方法是為了看懂別人寫的復雜聲明，而不是為了在實踐中自己去構造這種復雜的東東。實在需要復雜聲明時，可以用typedef替代一部分。例如上面語句可改成兩句： 

typedef char (*FUN_PTR)(int); 

FUN_PTR a[3]; 

這樣就清晰多了。 

此外，上面的分析方法還讓我們對某些東西的本質更加清楚。比如，n維數組的本質都是一維數組。看個具體的例子： 

int a[3][5]; 

這句聲明的是一個包含3個元素的一維數組，其每個元素又是一個由5個int數構成的數組。我們不能理解為：a是一個包含5個元素的一維數組，其每個元素又是一個由3個int數構成的數組。為什么？還是按上面的方法分析，這里從略。

有的書上或網上提供"向右看,向左看"的方法, 其實缺乏通用性, 比如它不適用于對多維數組本質的分析. 而且這種方法掩蓋了本質. 本質應該是按上面所講的,根據運算符優先級逐層剝開.