使用 & 聲明指向數組的指針

Question

為了創建一個指向整個數組的指針，我們這樣進行：

    int arr[3] = {1,2,3};
    int (*p)[3] = &arr;

嘗試對 2D 數組執行相同操作時，為什么會出現不兼容錯誤？

    int arr[3][3] = {{12,10,45}, {44,55,66}, {79,85,91}};
    int (*p)[3] = &arr;

這里的問題是&。

我確信這是一個可能已經回答的簡單問題，但我沒有找到任何關於使用 & 的具體問題的答案。

Answer 1

在第二個示例中，您將p作為指向一維數組的指針，而不是指向二維數組的指針。 為此，您需要以下內容：

int (*p)[3][3] = &arr;

Answer 2

arr的類型為int [3][3] ，因此&arr的類型為int (*)[3][3] 。 所以你可以使用：

int arr[3][3] = {{12,10,45}, {44,55,66}, {79,85,91}};
int (*p)[3][3] = &arr;

然后，您可以訪問p作為(*p)[i][j] 。

但它會更典型地使用：

int arr[3][3] = {{12,10,45}, {44,55,66}, {79,85,91}};
int (*p)[3] = arr;

在這種情況下， int [3][3]與int (*)[3]指針兼容，您可以在訪問時使用p[i][j] 。

一維 arrays 也存在類似的情況。 如果你有int x[3] ，那么通常使用的指針類型是int *p ，在這種情況下你會做p = x並作為p[i]訪問它。

但是如果你真的想要額外的間接級別，你可以使用：

int (*p)[3] = &x;

然后，您現在需要在訪問時使用(*p)[i]而不是p[i] 。

Answer 3

在 C 中，“指針”是類型的一個類別。 要獲得特定類型，您必須指定指針指向的 object 的類型。

因此，一元&一般不計算指針。 它創建一個指向其操作數類型的指針。

同樣，在 C 中，“數組”是類型的一個類別。 要獲得特定類型，您必須指定元素類型、維度數以及至少最后 n-1 個維度的大小。

因此，與

 int arr[3] = {1,2,3}; int (*p)[3] = &arr;

• arr被定義為 3 個int的數組，因此
• &arr具有指向 3 int數組的類型指針（拼寫為int (*)[3]作為 C 類型名稱），並且
• p是用該類型聲明的

所以一切都是一致的。

嘗試對 2D 數組執行相同操作時，為什么會出現不兼容錯誤？

因為您的“相同”不是類比。

和

 int arr[3][3] = {{12,10,45}, {44,55,66}, {79,85,91}}; int (*p)[3] = &arr;

， arr具有 3 個int的 3 個數組的類型數組，而&arr具有指向 3 個三個int數組的數組的類型指針（又名int (*)[3][3] ）。 這與p的類型不同。 對於此版本的arr ，適當的p聲明將是

    int (*p)[3][3] = &arr;