Question

我正在尝试理解多维数组和指针，写了这个小程序来理解这个概念：

#include<stdio.h>
void show(int arr[][2]);
int main()
{
    int z[2][2] = { { 1, 2 },
                    {3, 4 } };
    show(z);
}

void show(int arr[][2])
{

    printf("value of arr = %d", arr);
    printf("\n\nvalue of &arr[0]0] = %d", &arr[0][0]);
}

此代码片段打印相同的地址，但是当我编辑show函数时：

void show(int arr[][2])
{

    printf("value of *arr = %d", *arr);
    printf("\n\nvalue of arr[0]0] = %d", arr[0][0]);
}

* arr仍打印相同的地址，而arr [0] [0]按预期打印整数值，我想知道为什么我需要使用** arr来获取int值，如果arr存储地址应该用* arr取消引用，不是吗？

请帮助我很难理解这个概念..提前感谢。

Answer 1

如果你看一下2D阵列的内存布局，事情可能会变得更加清晰。

您将变量定义为：

int z[2][2] = {{1, 2}, {3, 4}};

内存：

z
|
v
+-----+-----+-----+-----+
|  1  |  2  |  3  |  4  |
+-----+-----+-----+-----+

记忆的另一种观点：

z[0]        z[1]
|           |
v           v
+-----+-----+-----+-----+
|  1  |  2  |  3  |  4  |
+-----+-----+-----+-----+

记忆的另一种观点：

z[0][0]     z[1][0]
|   z[0][1] |    z[1][1]
|     |     |     |
v     v     v     v
+-----+-----+-----+-----+
|  1  |  2  |  3  |  4  |
+-----+-----+-----+-----+

现在，您可以看到，就纯内存位置而言，

&z == &z[0] == &z[0][0]

我们也知道当数组衰减到指针时，它的值是数组的第一个元素的地址。因此，当在将z衰减为指针的表达式中使用时，

z == &z[0] == &z (from above)

这令人费解，但z和&z评估到相同的地址，即使它们属于不同的类型。

当它衰减到指针时，z的类型为int (*)[2]。 &z的类型为int (*)[2][2]。

来到你的职能部门，你有：

void show(int arr[][2]) { ... }

这相当于：

void show(int (*arr)[2]) { ... }

为什么arr和*arr评估为相同的值？

arr从&z[0]评估为main。 *arr评估为z[0] main，评估为&z[0][0]。{/ p>

我们已经看到&z[0]和&z[0][0]的值相同。因此，arr中的*arr和show()会评估到相同的地址。

为什么我们需要使用双指针来访问二维数组？

1 个答案: