由數組到指針的衰減存儲中的編譯器生成的指針在哪裏？

Question

根據this

指針沒有被存儲在陣列本身（或其他任何地方在存儲器中）時的陣列 衰減到指針的一部分。

如果上述語句爲真，如何能&陣列的數據類型比陣列或&陣列[0]但所有三個具有在下面的聲明相同的值是不同的。

int array[10]; 

我以爲編譯器默默地衰減數組到指針時，應該給指針一些內存地址。如果不是，那麼指針的存儲位置在哪裏？

在此先感謝。

Answer 1

當你在表達array使用地址運算符，表達array不會衰變到指針（同樣當使用sizeof，當您使用typeid，當你傳遞數組作爲參數，其中正式參數是對數組的引用）。在其他表達式中，通常會指向第一個元素。

給出的聲明

int array[10]; 

的&array類型是int (*const)[10]其中類型的&array[0]是在其衰變表達式int *const ==類型的array。

Answer 2

從http://ideone.com/Qw1aA,&array,array和&array[0]可以看出，它們都代表相同的值：數組中第一個元素的內存地址。

但是，僅僅因爲兩個值是相同的並不意味着它們表示相同的東西;在這種情況下，它是一種語義差異（這仍然很重要，例如，對於常規數組，您可以使用sizeof()在C中查找其長度（以字節爲單位），而如果您通過數組代替指針參數）。

此外，即使一個函數在它的參數數組類型，結果不會在陣列中經過時，如圖http://ideone.com/jAeAn，因爲指針的分解是在函數內部相同，如圖錯誤留言在這裏：http://ideone.com/yn0zc。

Answer 3

這是表達評估的一部分。當編譯器評估任何表達式（例如3+4,(unsigned int) 3或&array[3]或簡單地array）時，它通常通過執行處理器寄存器中所需的任何計算來管理以各種方式發生的所有臨時值。當你使用一個數組名作爲指針時，編譯器通常會產生指令將數組的地址加載到一個寄存器中，然後執行你指定的任何指針來處理指針。

Answer 4

我沒有看到你在哪裏得到指針必須存儲在某處的想法。出於什麼目的？沒有C++代碼需要將指針存儲在任何地方。

當抽象C++機評估類似

int a = 2, b = 3, c = 4; 
int i = (a + b) * c; 

內子表達式a + b的計算結果爲5。但是，從語言的角度來看，5並不是真的存儲在任何地方。這只是暫時的價值5，存在一個短暫的時刻只能乘以c並永遠被遺忘。這種非物質的C++表達結果稱爲右值。通常情況下，rvalues居住的地方是不明確的。在上述表達式的評估期間，5的值可能會在某些CPU寄存器中出現片刻。或者，如果編譯器決定這樣做，它甚至可能暫時存儲在某個未命名的內存區域中，但這不是您在C++代碼級別可以看到的。

從數組到指針的轉換所產生的指針也是如此。該指針是一個右值 - 一個臨時值，它不會在內存中的任何位置生存。它根本不需要生活在記憶中的任何地方。

您不清楚您的&array參考文獻所表達的內容。表達式&array不涉及數組到指針的轉換，這意味着它與所討論的問題沒有任何關係。