多维数组和指向指针值的指针

Question

鉴于以下情况：

int ar2[3][2];
int * pt;
int **p2;
p2 = &pt;
*p2 = ar2[0];

这就是我的书所说的：

*p2 是指向 int 的类型，使其与 ar2[0] 兼容。 回想一下，ar2[0] 是一个指针，指向它的第一个元素，art2[0][0]，使 ar2[0] 类型也指向 int。

一切都是真的吗？

Answer 1

什么是指针

一个 4/8 字节大小的实体、变量或常量（type * p 或 type const * p），必须指定它们指向的实体的类型。如果是可变的，它可以改变它指向的实体。

什么是数组

一个数组总是存在于栈中，它的内存大小等于它的元素的数量乘以它们的类型的大小，并且像 const 指针一样，它不能停止指向它的定义元素。多维数组可以看作是一棵数组树：在其第 0 维中指定一个位置将返回另一个少一维的位置。

回答

实际上，数组可以用作专门的堆栈常量指针，指向层次结构中下一级的第一个元素：

1. type {*} 为type {*} arr[]
2. type {*} arr[] 为type {*} arr2[][]
3. type {*} arr2[][] 为type {*} arr3[][][]
4. Element 0 of 0th dimension 为 Any array

这就是为什么int (* arp)[2] = ar2 中的arp 是指向数组ar2[0] 的指针（即ar2 的第一个分支）。

它们不是指针，但我相信这种思维方式可以改进语言内部的模型。