指向指针衰减的数组，并将多维数组传递给函数

Question

我知道数组会衰减为指针，因此如果声明了

char things[8];

然后在things其他地方使用，things是指向数组中第一个元素的指针。

另外，据我了解，如果有人宣布

char moreThings[8][8];

则moreThings其类型不是指向char的指针，而是类型为“指向char的指针的数组”，因为衰减仅发生一次。

什么时候moreThings传递给函数（例如使用原型void doThings(char thingsGoHere[8][8])，堆栈实际发生了什么？

如果moreThings不是指针类型，那么这真的仍然是引用传递吗？我想我一直认为它moreThings仍然代表多维数组的基址。如果doThings接受输入thingsGoHere并将其自身传递给另一个函数怎么办？

除非有人指定一个数组输入，否则该规则const将始终是可修改的，这是否就是规则？

我知道类型检查工作仅在编译时发生，但是我仍然对从技术上算作按引用传递（即仅在传递类型为指针的参数时才将其视为传递，还是将指针数组传递为传递对象而感到困惑）感到困惑也可以参考吗？）

很抱歉，这个问题到处都是，但是由于我很难理解这个问题，所以很难表达出确切的询问。

Answer 1

您略有错误：它moreThings还会衰减到第一个元素的指针，但是由于它是一个字符数组的数组，因此第一个元素是“ 8个字符数组”。因此，衰减的指针是这种类型的：char (*p)[8] = moreThings;的值的指针的当然是相同的值&moreThings[0][0]，即，第一元件的第一元件，并且也相同的&a，但类型是不同的一个在每种情况下。这是一个例子，如果char a[N][3]：+===========================+===========================+====|+--------+--------+-------+|+--------+--------+-------+||| a[0,0] | a[0,1] | a[0,2]||| a[1,0] | a[1,1] | a[1,2]|| ...|+--------+--------+-------+++--------+--------+-------++ ...|            a[0]           |            a[1]           |+===========================+===========================+====                                    a^^^||+-- &a[0,0]|+-----&a[0]+-------&a&a：整个字符数组的地址，它是一个 char[N][3]&a[0]，与a：第一个元素的地址相同，它本身就是一个char[3]&a[0][0]：第一个元素的第一个元素的地址，即 char这表明不同的对象可能具有相同的地址，但是如果两个对象具有相同的地址和相同的类型，则它们是相同的对象。

Answer 2

Kerrek很好地解释了除此之外，我们可以通过以下示例证明这一点：#include <stdio.h>int main (){&nbsp;int a[10][10];&nbsp;printf (".. %p&nbsp; %p\n", &a, &a+1);&nbsp;printf (".. %p&nbsp; %p \n ", &a[0], &a[0]+1);printf (".. %p&nbsp; &nbsp;%p \n ", &a[0][0], &a[0][0] +1);}输出为：.. 0x7fff6ae2ca5c&nbsp; 0x7fff6ae2cbec&nbsp; &nbsp; = 400 bytes difference.. 0x7fff6ae2ca5c&nbsp; 0x7fff6ae2ca84&nbsp; &nbsp; = 40 bytes difference&nbsp;.. 0x7fff6ae2ca5c&nbsp; &nbsp;0x7fff6ae2ca60&nbsp; = 4 bytes difference.&nbsp;＆a +1->通过增加整个数组大小来移动指针。即：400个字节＆a [0] + 1->通过增加列的大小来移动指针。即：40个字节。＆a [0] [0] +1->通过添加元素的大小（即4个字节）来移动指针。[int大小为4个字节]希望这可以帮助。:)