語言中指針與數組這兩個概念之間的聯系是密不可分的，以至于如果不能理解一個概念，就無法徹底理解另一個概念。

C語言中的數組值得注意的地方有以下兩點：

C語言中只有一維數組，而且數組的大小必須在編譯期就作為一個常數確定下來。然而，C語言中數組的元素可以是任何類型的對象，當然也可以是另外一個數組。這樣，要“仿真”出一個多維數組就不是一件難事。
對于一個數組，我們只能夠做兩件事：確定該數組的大小，以及獲得指向該數組下標為0的元素的指針。其他有關數組的操作，哪怕它們看上去是以數組下標進行運算的，實際上都是通過指針進行的。換句話說，任何一個數組下標運算都等同于一個對應的指針運算，因此我們完全可以依據指針行為定義數組下標的行為。
一旦我們徹底弄懂了這兩點以及它們所隱含的意思，那么理解C語言的數組運算就不過是“小菜一碟”。如果不清楚上述兩點內容，那么C語言數組運算就可能會給編程者帶來許多困惑。需要特別指出的是，編程者應該具備將數組運算與它們對應的指針運算融匯貫通的能力，在思考有關問題時大腦中對這兩種運算能夠自如切換。毫無滯礙。

任何程序設計語言中都內建有索引運算，在C語言中索引運算是以指針算術的形式來定義的。

如何聲明一個數組

要理解C語言中數組的運作機制，我們首先必須理解如何聲明一個數組，例如：

int a[3];

這個語句聲明了a是一個擁有了3個整型元素的數組，類似的，

struct{ int p[4]; double x;}b[17];

聲明了b是一個擁有17個元素的數組，其中每個元素都是一個結構，該結構中包括了一個擁有4個整形元素的數組（命名為p）和一個雙精度類型的變量（命名為x）。

現在考慮下面的例子：

int calendar[12][31];

這個語句聲明了calendar是一個數組，該數組擁有12個數組類型的元素，其中每個元素都是擁有31個整型元素的數組（而不是一個擁有31個數組類型的元素的數組，其中每個元素又是一個擁有12個整型數組元素的數組）因此sizeof（calendar）的值是372（31*12）與sizeof（int）的乘積。

如果calendar不是用于sizeof的操作數，而是用于其他的場合，那么calendar總是被替換成一個指向calendar數組的起始元素的指針。要理解上面這句話的含義，我們首先必須理解有關指針的一些細節。

二維數組模擬
*a即數組a中下標為0的元素的引用。例如，我們可以這樣寫：

*a=84;

這個語句將數組a中下標為0的元素的值設置為84.同樣道理，*(a+1)數組a中下標為1的的元素的引用，以此類推，概而言之，*(a+i)即數組中下標為i的元素的引用，這種寫法是如此常用，因此被簡記為a[i].

正是這一概念讓C語言新手難于理解，實際上，由于a+i與i+a的含義一樣，因此a[i]和i[a]也具有同樣的含義。也許某些匯編語言程序員會發現后一種寫法很熟悉，但我們絕對不推薦這種寫法。

現在我們可以考慮二維數組了，正如前面所討論的，它實際上是以數組為元素的數組，盡管我們也可以完全依據指針編寫操縱一維數組的程序，這樣做在一維情形下并不困難，但是對于二維數組從記法上的便利性來說采用下述形式就幾乎是不可替代了。還有，如果我們僅僅使用指針來操縱二維數組，我們將不得不與C語言中最為“晦暗不明”的部分打交道，并常常遭遇到潛伏著的編譯器bug。

讓我們回過頭來再看幾個聲明：

int calendar[12][31];int *pint i;

然后考一考自己，calendar[4]的含義是什么？

因為calendar是一個有著12個數組類型元素的數組，它的每個數組類型元素又是一個有著31個整型數組，所以calendar[4]是 calendar數組的第五個元素，是calendar數組中12個有著31個整型元素的數組之一，因此calendar[4]的行為也就表現一個有著31個整形元素的數組的行為，例如sizeof(calendar[4])的結果是31與sizeof(int)的乘積。

p=calendar[4];

這個語句使指針p指向了數組calendar[4]中下標為0的元素。如果calendar[4]是一個數組，我們當然可以通過下標的形式來指定這個數組中的元素，就像下面這樣：

i = calendar[4][7];

我們確實也可以這樣做。還是與前面類似的道理，這個語句可以寫成下面這樣而表達式的意思保持不變：

i = *(calendar[4]+7);

這個語句還可以進一步寫成：

i = *(*(calendar+4)+7);

從這里我們不難發現，用方括號的下標形式很明顯地要比指針來表達簡便得多。下面我們再看：

p = calendar;

這個語句是非法的，因為calendar是一個二維數組，即數組的數組，在此處的上下文中使用calendar名稱會將其轉化為一個指向數組的指針，而p是一個指向整型變量的指針，這個語句試圖將一個類型的指針賦值給另一種類型的指針，所以是非法的。

很顯然，我們需要一種聲明指向數組的指針的方法，經過了前面對類似問題不厭其煩的討論，構造出下面的語句應該不需要廢多大力氣：

int (*ap)[31];

這個語句的效果是，聲明了*ap是一個擁有三十一個整型元素的數組ap就是一個指向這樣的數組的指針，因而我們可以這樣寫：

int(*monthp)[31];Monthp = calendar;

這樣，monthp將指向數組calendar的第一個元素，也就是數組calendar的12個有著31個元素的數組類型元素之一。

假定在新的一年開始時，我們需要清空calendar數組，用下標形式可以很容易做到：

int month；for(month=0;month < 12;month++){ int day;  for(day=0; day < 31;day++)   calendar[month][day]=0;}

上面的代碼段如果才用指針應該如何表示呢？我們很容易地把 calendar[month][day]=0; 表示為*(*(calendar+month)+day)=0;

但是真正有關的部分是哪些呢？

如果指針monthp指向一個擁有31個整型元素的數組，而calendar的元素也是一個擁有31個整型元素的數組，因此就像是在其他情況中我們可以使用一個指針遍歷一個數組一樣，這里我們同樣可以使用指針monthp以步進的方式遍歷數組calendar：

int (*monthp)[31];for(monthp=calendar;monthp < &calendar[12];monthp++){ int *dayp; for(dayp=*monthp;dayp < &(*monthp)[31];dayp++) *dayp=0;}