在 C 中,陣列表現出獨特的衰減規則,根據它們的維度和指標的存在而有所不同。在比較一維數組 (int[]) 和二維數組 (int[][]) 衰減時的行為時,可以觀察到這種現象。
一維數組: int*[] 衰減為int
當一維數組(例如int[])衰減時,它的行為就像指向第一個元素的指針。這在以下程式碼中很明顯:
<code class="cpp">std::is_same<int*, std::decay<int[]>::type>::value; // true</code>
此程式碼傳回 true,因為 int[] 的衰變產生 int*,表示它的行為類似於指向整數的指標。
二維數組:int[][1] 不會衰減為int
與一維數組相反,二維數組(int[][]) 不會衰減為int
<code class="cpp">std::is_same<int**, std::decay<int[][1]>::type>::value; // false</code>
指向指標的指標(int**)。相反,它們保留了數組性質。下面的程式碼示範了這一點:
此程式碼的計算結果為 false,表示 int[][1] 的衰減不會產生 int**。
指針在陣列衰變中的作用
這兩種情況的主要區別在於指針的參與。當用指標類型宣告一維數組時,例如 int<code class="cpp">std::is_same<int**, std::decay<int*[]>::type>::value; // true</code>
*,這是一個指向指標的指標。 推理:為什麼不是 int
[][]?
二維數組之所以不衰減為指向指針的指針,是因為它會導致指針運算的困難。在二維數組中,每個元素都儲存在連續記憶體區塊內的特定偏移量處。要存取元素,編譯器需要知道兩個維度的大小。如果它衰變成 int**,它將失去這個關鍵資訊並使指標運算變得不可能。以上是為什麼 `int[]` 會衰減為 `int*` 而不是 `int[][]`?的詳細內容。更多資訊請關注PHP中文網其他相關文章!