數組是指針的基礎，多數人就是從數組的學習開始指針的旅程的。下面我節選一些在各種論壇和文章裏經常見到的關於數組的文字：
“一維數組是一級指針”
“二維數組是二級指針”
“數組名可以作爲指針使用”
“數組名就是..........的常量指針”
“數組名就是..........的指針常量”
..................................
這些文字看起來非常熟悉吧？類似的文字還有許多，或許你就是經常說這些話的人呢。不過非常遺憾，這些文字都是錯誤的，實際上數組名永遠都不會是指針！這個結論也許會讓你震驚，但它的確是事實。數組名、指針、地址這幾個概念雖然是基礎中的基礎，但它們恰恰是被混淆和濫用得最多的概念，把數組名說成指針，是一個概念性的錯誤，實質是混淆了指針與地址兩個概念的本質。俗話說得好：淺水淹死人。因此，在討論數組之前，有必要先回過頭來澄清一下什麼是指針，什麼是地址，什麼是數組名。
指針是C語言具有低級語言特徵的最直接的證據。在彙編語言裏面，指針的概念隨處可見。比如SP，SP寄存器又叫堆棧指針，它的值是地址，由於SP保存的是地址，並且SP的值是不斷變化的，因此可以看作一個變量，而且是一個地址變量。地址也是C語言指針的值，C語言的指針跟SP這樣的寄存器雖然不完全一樣，但原理卻是相通的。C語言的指針也是一種地址變量，C89明確規定，指針是一個保存對象地址的變量。這裏要注意的是，指針跟地址概念的不同，指針是一種地址變量，通常也叫指針變量，統稱指針。而地址則是地址變量的值。
看到這裏，也許你會覺得，這麼簡單的東西還用你來說嗎？的確，對於p與&p來說，99%的人都能在0.1秒內脫口而出誰是指針，誰是地址，但是，又有多少人在使用指針的過程中能夠始終如一毫不動搖地遵循這兩個概念呢？不少人使用指針的時候就會自覺或不自覺地把指針和地址兩個概念混淆得一塌糊塗了，數組名的濫用就是一個活生生的例子。這一點甚至連一些經典著作也沒能避免。
不過也不能全怪你自己，筆者認爲某些國內教材應該承擔最大的責任。這些教材一開始就沒有給讀者好好地分清指針與地址的區別，相反還在講述的過程中有意無意地混用這兩個概念。更有甚者，甚至在書中明言指針就是地址！說這話的傢伙最應該在C語言這個地圖上抹掉，呵呵。兩個月前我在購書中心隨手翻開了某個作者主編的一本被冠以國家“十五”規劃重點研究項目的書，書裏就是這麼寫的。當時筆者就感慨：不知道又要有多少人的思想被這傢伙“強姦”了。
實際上，地址這個東西，本來就是一種基本數據類型，本應該在介紹整數、浮點、字符等基本類型的時候把地址顯式地放在一起討論，這樣在後面介紹指針與數組的時候就能避免許多誤解。可惜不少教材或者根本沒有談及，或者就算提起這個類型也用了指針類型這個字眼。這就錯了，指針不是類型，真正的類型是地址，指針只是存儲地址這種數據類型的變量！打個比方，對於
int i=10；
10是整數，而i是存儲整數的變量，指針就好比這個i，地址就好比那個10。指針能夠進行加減法，原因並不是因爲它是指針，加減法則不是屬於指針這種變量的，而是地址這種數據類型的本能，正是因爲地址具有加減的能力，所以才使指針作爲存放地址的變量能夠進行加減運算。這跟整數變量因爲整數能夠進行加減乘除因而它也能進行加減乘除一個道理。
那麼數組名又應該如何理解呢？用來存放數組的區域是一塊在棧中靜態分配的內存(非static)，而數組名是這塊內存的代表，它被定義爲這塊內存的首地址。這就說明了數組名是一個地址，而且，還是一個不可修改的常量，完整地說，就是一個地址常量。數組名跟枚舉常量類似，都屬於符號常量。數組名這個符號，就代表了那塊內存的首地址。注意了！不是數組名這個符號的值是那塊內存的首地址，而是數組名這個符號本身就代表了首地址這個地址值，它就是這個地址，這就是數組名屬於符號常量的意義所在。由於數組名是一種符號常量，因此它是一個右值，而指針，作爲變量，卻是一個左值，一個右值永遠都不會是左值，那麼，數組名永遠都不會是指針！不管什麼話，只要說數組名是一個指針的，都是錯誤的！就象把剛纔int i=10例子中的10說成是整數變量一樣，在最基本的立足點上就已經完錯了。
總之要牢牢記住，數組名是一個地址，一個符號地址常量，不是一個變量，更不是一個作爲變量的指針！
在數組名並非指針這個問題上，通常會產生兩種疑問：
1。作爲形參的數組，不是會被轉換爲指針嗎？
2。如果形參是一個指針，數組名可以作爲實參傳遞給那個指針，難道不是說明了數組名是一個指針嗎？
首先，C語言之所以把作爲形參的數組看作指針，並非因爲數組名可以轉換爲指針，而是因爲當初ANSI委員會制定標準的時候，從C程序的執行效率出發，不主張參數傳遞時複製整個數組，而是傳遞數組的首地址，由被調函數根據這個首地址處理數組中的內容。那麼誰能承擔這種“轉換”呢？這個主體必須具有地址數據類型，同時應該是一個變量，滿足這兩個條件的，非指針莫屬了。要注意的是，這種“轉換”只是一種邏輯看法上的轉換，實際當中並沒有發生這個過程，沒有任何數組實體被轉換爲指針實體。另一方面，大家不要被“轉換”這個字眼給矇蔽了，轉換並不意味着相同，實際上，正是因爲不相同纔會有轉換，相同的話還轉來幹嗎？這好比現在社會上有不少人“變性”，一個男人可以“轉換”爲一個女人，那是不是應該認爲男人跟女人是相同的？這不是笑話麼。
第二，函數參數傳遞的過程，本質上是一種賦值過程。C89對函數調用是這樣規定的：函數調用由一個後綴表達式（稱爲函數標誌符,function designator）後跟由圓括號括起來的賦值表達式列表組成，在調用函數之前，函數的每個實際參數將被複制，所有的實際參數嚴格地按值傳遞。因此，形參實際上所期望得到的東西，並不是實參本身，而是實參的值或者實參所代表的值！舉個例來說，對於一個函數聲明：
void fun(int i);
我們可以用一個整數變量int n作實參來調用fun，就是fun(n)；當然，也正如大家所熟悉的那樣，可以用一個整數常量例如10來做實參，就是fun(10)；那麼，按照第二個疑問的看法，由於形參是一個整數變量，而10可以作爲實參傳遞給i，豈不就說明10是一個整數變量嗎？這顯然是謬誤。實際上，對於形參i來說，用來聲明i的類型說明符int，所起的作用是用來說明需要傳遞給i一個整數，並非要求實參也是一個整數變量，i真正所期望的，只是一個整數，僅此而已，至於實參是什麼，跟i沒有任何關係，它纔不管呢，只要能正確給i傳遞一個整數就OK了。當形參是指針的時候，所發生的事情跟這個是相同的。指針形參並沒有要求實參也是一個指針，它需要的是一個地址，誰能給予它一個地址？顯然指針、地址常量和符號地址常量都能滿足這個要求，而數組名作爲符號地址常量正是指針形參所需要的地址，這個過程就跟把一個整數賦值給一個整數變量一樣簡單！
在後面的章節中，筆者將嚴格地使用地址這一概念，該是地址時就用地址，該是指針時就用指針，以免象其它教材那樣給讀者一個錯誤的暗示。