c - multiArray 和 multiArray[0] 和 &multiArray[0] 一样吗？

Question

在第 6 行而不是 multiArray[0] 上，当我编写 multiArray 时，程序仍然有效。不明白为什么。我之前在想 multiArray 是一个指向 multiArray[0] 的指针，它是一个指向 multiArray[0][0] 的指针。所以 multiArray 本身就是一个指向指针的指针。 multiArray[0] 是一个指向 4 元素 int 数组的指针。所以看来 multiArray 和 multiArray[0] 一定是不同的。但在下面的代码中，两者都有效。我编写的打印函数需要一个指向 4 元素 int 数组的指针。所以只有 multiArray[0] 必须工作，而 multiArray 不能工作。但两者都有效。没看懂。

#include <stdio.h>

void printArr(int(*ptr)[4]);

int i, k;

int main(void){

int multiArray[3][4] = { { 1, 5, 2, 4 }, { 0, 6, 3, 14 }, { 132, 4, 22, 5 } };

int(*point)[4] = multiArray[0];

for (k = 0; k < 3; k++)
{  
    printArr(point++);

}

getchar();

}

void printArr(int(*ptr)[4]){

int *temp = (int *)ptr;

for (i = 0; i < 4; i++)
{
    printf("%d ", *temp);
    temp++;
}

puts("\n");
}

Answer 1

其他人写道“多维数组是一维数组的语法糖”。

这有点像说 int只是 unsigned char[4] 的语法糖.您可以取消 4 + 5 之类的表达式并通过操作 4 个字节的数组获得相同的结果。

如果您想更深入地了解这个概念，您甚至可以说 C 只是通用图灵机脚本的语法糖。

现实情况是，多维数组是 C 中类型系统的一部分，并且它们具有与之关联的语法。给猫剥皮的方法不止一种。

继续前进，C 排列我们所谓的多维数组的方式是说:“数组只能有一个维度，但元素类型本身可能是另一个数组”。我们说“多维数组”是为了方便，但语法和类型系统实际上反射(reflect)了数组的一维性质。

所以，int multiArray[3][4]是一个由 3 个元素组成的数组。这些元素中的每一个都是一个由 4 个 ints 组成的数组。 .

在内存中，数组的元素是连续存储的——不管元素类型是什么。因此，内存布局是 4 int 的数组。 , 紧随其后的是另一个数组 4 int ，最后是另一个数组 4 int .

有12个连续int在内存中，在 C 类型系统中，它们分为 3 组，每组 4 个。

您会注意到第一个 int 12 个也是第一个 int这就是为什么我们发现如果我们问“第一个 int 的内存位置是什么？”、“第一组 4 个 int 的内存位置是什么？”和“什么是整个 12 个整数 block 的内存位置？”，我们每次都得到相同的答案。 (在 C 中，多字节对象的内存位置被认为是从其第一个字节的位置开始的)。

现在，谈谈指针的语法和表示。在 C 中，指针告诉您可以在内存中的什么位置找到对象。这有两个方面:对象的内存位置，以及它是什么类型的对象。 (对象的大小是类型的必然结果)。

有些演讲只关注第一个，他们会说“指针只是一个数字”。但这忘记了类型信息，这是指针的关键部分。

当您使用 %p 打印指针时，您会丢失类型信息。您只是将第一个字节的位置放在内存中。所以它们看起来都一样，尽管三个指针指向不同大小的对象(它们像 matruskha 娃娃一样相互重叠)。

在 C 的大多数实现中，类型信息都是在编译时计算的，因此如果您尝试通过比较源代码和汇编代码来理解 C(有些人这样做)，您只会看到指针的内存位置部分。如果您忘记类型信息也很重要，这可能会导致误解。

脚注:所有这些都独立于 C 的一些语法怪癖；多年来，这引起了很多困惑(但有时也很有用)。表达式 x是 &x[0] 的快捷方式如果 x是一个数组，除非用作 & 的操作数或 sizeof . (否则这将是一个递归定义!)。第二个怪癖是，如果您在函数形式参数列表中编写看起来像数组声明器的东西，实际上就好像您编写了一个指针声明器。我再次强调，这些只是语法上的怪异，它们并没有说明数组和指针的本质，这实际上并没有那么复杂。如果没有这两个怪癖，该语言也可以正常工作。