指向1D / 2D数组的指针的基本类型是什么，为什么需要双重解引用？

如何解决指向1D / 2D数组的指针的基本类型是什么，为什么需要双重解引用？

说我这样初始化数组和变量：

int arr1d[3] = { 1,2,3 };
int* arrptr = arr1d;
int (*ptr1d)[3] = &arr1d;

int arr2d[2][3] = { {1,3},{4,5,6} };
int (*ptr2d)[3] = arr2d;

因此，arr1d是3个整数的数组。在内部，arr1d是指向数组第一个元素即&arr1d[0]的指针。因此，我们可以将arr1d分配给int* arrptr。

ptr1d指向3个整数的数组。 arr1d是指向int*的{​​{1}}，但是为什么&arr1d[0]类型为&arr1d？天真的，我认为写int (*)[3]只是给我们一个分配给指针的地址。这是特定于数组的指针吗？

显然，&arr1d的类型为arr2d（which I learned from this post）。 int (*)[3]和ptr2d都具有相同的值，那么为什么还要进行第二次取消引用呢？我的想法是，可能是因为*ptr2d是ptr2d类型（指向3个整数的数组的指针），int (*)[3]是*ptr2d类型（指向int的指针），因此int*最终使我们获得了第一个数组的第一个值1。因此，正如在许多图中看到的那样，我们没有在这里取消引用以遍历地址，而是在取消引用访问底层类型。这个对吗？这是否解释了为什么**ptr2d的类型也是&arr1d（我们要“上一层楼”？）

谢谢。

解决方法

int arr1d[3] = { 1,2,3 };

因此，arr1d是3个整数的数组。

正确。

在后台，arr1d是指向数组第一个元素的指针，即＆arr1d [0]

您不清楚“幕后”是什么意思，但是在C ++语言中，数组是数组。它不是指针类型。说arr1d是&arr1d[0]是错误的。如果您指的是机器代码，那是错误的，因为机器代码既没有类型也没有变量。

因此，我们可以将arr1d分配给int* arrptr。

我们可以将arr1d分配给int* arrptr，因为数组类型可以隐式转换为指向其元素类型的指针。而且此转换的结果的值和类型的确与&arr1d[0]相同。这种转换称为衰减。

天真的，我认为写&arr1d只是给我们一个分配给指针的地址。

&arr1d确实为我们提供了可以分配给指针的地址。因此，您的想法正确。

但是为什么&arr1d类型为int (*)[3]？

arr1d的类型是3个整数的数组，即int[3]。取其地址可以为您提供3个整数数组的指针，即int (*)[3]。

这是特定于数组指针的东西吗？

一元&总是给出一个指向操作数的指针（除非操作符已被重载的类类型，这种情况下它给出了任何重载返回；一元&重载的情况很少见）。它称为运算符的地址。

当然，&仅在操作数是数组时才为您提供指向数组的指针。有时它会提供其他一些指针类型。

int (*ptr2d)[3] = arr2d;

显然，arr2d的类型为int (*)[3]（我从这篇文章中学到了）。

您学错了。 arr2d的类型为int[2][3]。 int[3]是arr2d元素的类型，因此int (*)[3]是数组类型衰减的指针类型；指向该数组元素的指针。

*ptr2d的类型为int*（指向int的指针）

错了。 *ptr2d的类型为int[3]（3个整数的数组）。该数组确实隐式转换为指向其第一个元素的指针，该元素的类型为int*。