數組與指標是兩個不同的概念,即使是從編譯的層面上來看。不過,訪問和運算元組的行為和指標在用法上極為相似。
數組的首地址與指標的值,可以認為等同,編譯器能直接得到數組的首地址, 但要得到指標的值, 必須先得到指標的地址.從而, 通過指標訪問數組通常要慢一點,當然是
lea (a), %esi /* this is a */mov (%esi), %eax /* this is a[0] */ 或更簡單的:mov (a), %esi /* this is a[0] */
微不足道的.
對於指標,
int *p;
p 是一個變數,所以編譯器要為之分配一個空間。
.comm p, 4
對於數組:
int a[10]
a 是一個地址,編譯器會為數組 a 分配一個空間,但不會為 a 本身分配空間,在使用到a的地方,會被替換為一個地址+屬性,其結果為一個"常量指標"。
.comm a, 40
在對一個指標變數進行 dereferance 的時候,比如 (*p)。編譯器首先要得到 p 的地址,從中取值,然後把得到的值作為地址,再取值。類似如下彙編:
lea (p), %esi /* this is &p */mov (%esi), %edi /* this is p */mov (%edi), %eax /* this is p[0] */或者,更簡單的mov (p), %esi /* this is p */mov (%esi), %eax /* and this is p[0] */
相比之下,數組的引用
int a[10];a[0];
則省去了取 a 地址的過程,符號 a 代表一個地址,這個地址不存放在任何變數中!
lea (a), %esi /* this is a */mov (%esi), %eax /* this is a[0] */ 或更簡單的:mov (a), %esi /* this is a[0] */
摘錄二:數組名、指標、地址這幾個概念的輪迴解析
數組是指標的基礎,多數人就是從數組的學習開始指標的旅程的。下面我節選一些在各種論壇和文章裡經常見到的關於數組的文字: “一維數組是一級指標” “二維數組是二級指標” “數組名可以作為指標使用” “數組名就是..........的常量指標” “數組名就是..........的指標常量” .................................. 這些文字看起來非常熟悉吧?類似的文字還有許多,或許你就是經常說這些話的人呢。不過非常遺憾,這些文字都是錯誤的,實際上數組名永遠都不會是指標!這個結論也許會讓你震驚,但它的確是事實。
數組名、指標、地址這幾個概念雖然是基礎中的基礎,但它們恰恰是被混淆和濫用得最多的概念,把數組名說成指標,是一個概念性的錯誤,實質是混淆了指標與地址兩個概念的本質。俗話說得好:淺水淹死人。因此,在討論數組之前,有必要先回過頭來澄清一下什麼是指標,什麼是地址,什麼是數組名。 指標是C語言具有低級語言特徵的最直接的證據。在組合語言裡面,指標的概念隨處可見。比如SP,SP寄存器又叫堆棧指標,它的值是地址,由於SP儲存的是地址,並且SP的值是不斷變化的,因此可以看作一個變數,而且是一個地址變數。地址也是C語言指標的值,C語言的指標跟SP這樣的寄存器雖然不完全一樣,但原理卻是相通的。C語言的指標也是一種地址變數,C89明確規定,指標是一個儲存對象地址的變數。這裡要注意的是,指標跟地址概念的不同,指標是一種地址變數,通常也叫指標變數,統稱指標。而地址則是地址變數的值。
看到這裡,也許你會覺得,這麼簡單的東西還用你來說嗎?的確,對於p與&p來說,99%的人都能在0.1秒內脫口而出誰是指標,誰是地址,但是,又有多少人在使用指標的過程中能夠始終如一毫不動搖地遵循這兩個概念呢?不少人使用指標的時候就會自覺或不自覺地把指標和地址兩個概念混淆得一塌糊塗了,數組名的濫用就是一個活生生的例子。這一點甚至連一些經典著作也沒能避免。
不過也不能全怪你自己,筆者認為某些國內教材應該承擔最大的責任。這些教材一開始就沒有給讀者好好地分清指標與地址的區別,相反還在講述的過程中有意無意地混用這兩個概念。更有甚者,甚至在書中明言指標就是地址!說這話的傢伙最應該在C語言這個地圖上抹掉,呵呵。兩個月前我在購書中心隨手翻開了某個作者主編的一本被冠以國家“十五”規劃重點研究項目的書,書裡就是這麼寫的。當時筆者就感慨:不知道又要有多少人的思想被這傢伙“強姦”了。
實際上,地址這個東西,本來就是一種基礎資料型別 (Elementary Data Type),本應該在介紹整數、浮點、字元等基本類型的時候把地址顯式地放在一起討論,這樣在後面介紹指標與數組的時候就能避免許多誤解。可惜不少教材或者根本沒有談及,或者就算提起這個類型也用了指標類型這個字眼。這就錯了,指標不是類型,真正的類型是地址,指標只是儲存地址這種資料類型的變數!打個比方,對於 int i=10; 10是整數,而i是儲存整數的變數,指標就好比這個i,地址就好比那個10。指標能夠進行加減法,原因並不是因為它是指標,加減法則不是屬於指標這種變數的,而是地址這種資料類型的本能,正是因為地址具有加減的能力,所以才使指標作為存放地址的變數能夠進行加減運算。這跟整數變數因為整數能夠進行加減乘除因而它也能進行加減乘除一個道理。
那麼數組名又應該如何理解呢?用來存放數組的地區是一塊在棧中靜態分配的記憶體(非static),而數組名是這塊記憶體的代表,它被定義為這塊記憶體的首地址。這就說明了數組名是一個地址,而且,還是一個不可修改的常量,完整地說,就是一個地址常量。數組名跟枚舉常量類似,都屬於符號常量。數組名這個符號,就代表了那塊記憶體的首地址。注意了!不是數組名這個符號的值是那塊記憶體的首地址,而是數組名這個符號本身就代表了首地址這個地址值,它就是這個地址,這就是數組名屬於符號常量的意義所在。
由於數組名是一種符號常量,因此它是一個右值,而指標,作為變數,卻是一個左值,一個右值永遠都不會是左值,那麼,數組名永遠都不會是指標!不管什麼話,只要說數組名是一個指標的,都是錯誤的!就象把剛才int i=10例子中的10?黨墒欽淞懇謊謐罨鏡牧⒆愕閔暇鴕丫甏砹恕? 總之要牢牢記住,數組名是一個地址,一個符號地址常量,不是一個變數,更不是一個作為變數的指標!