指向一维数组还是二维数组的指针变量？

Question

我有以下代码用于一维数组：

#include <stdio.h>
int main()
{
    static int b[4] = {11, 12, 13, 14};
    int (*p)[4];

    p = b;
    printf("%d \n", *(p + 1));

    return 0;
}

即使我认为“b（数组名）”是一个指向一维数组的指针，我还是得到了一个编译错误

'=': cannot convert from 'int [4]' to 'int (*)[4]'

但是，如果我将 b 数组更改为二维数组“a（数组名称）”，则一切正常。这是否意味着，在 "int (*p)[4];" 的使用中，"*p" 必须如下表示 a[]：

static int a[3][4] = { {1, 2, 3, 4}, {5, 6, 7, 8}, {9, 10, 11, 12} };
int (*p)[4];
p = a;

因此，"int (*p)[4]" 仅在二维数组的行数上提供了灵活性。

对此问题有何见解？

Answer 1

数组自然衰减指向它们的第一个元素的指针，具体取决于上下文。也就是说，当这种衰减发生时，普通的b 与&b[0] 相同，它们的类型为int *。由于p 和b（或&b[0]）的类型不同，你会得到一个错误。

至于a，这里也一样，它衰减为指向其第一个元素的指针，即a与&a[0]相同。 但是因为a[0] 是一个4 元素的数组，那么&a[0] 是一个指向四个元素的数组的指针，即int (*)[4]。这也是第二个例子中p的类型。

Answer 2

如果你有某种类型的对象 T 喜欢

T a;

然后声明一个指向对象的指针看起来像

T *p = &a;

您的数组b 的类型为int[4]。所以指向数组的指针看起来像

int ( *p )[4] = &b;

使用你应该写的指针输出数组的第二个元素

printf("%d \n", *( *p + 1 ) );

因此您的编译器发出了错误消息

无法从 'int [4]' 转换为 'int (*)[4]

因为至少不用写

int ( *p )[4] = &b;

你写的

int ( *p )[4] = b;

另一方面，在表达式中使用的数组指示符具有罕见的异常，它被隐式转换为指向其第一个元素的指针。例如在这个声明中

int *p = b;

用作初始化器的数组b 被转换为指向其第一个元素的指针。上面的声明等价于

int *p = &b[0];

还是一样

int *p = b + 0;

使用这个指针可以调用函数printflike

printf("%d \n", *(p + 1));

如果你有一个二维数组

int a[3][4];

然后在表达式中使用它被转换为指向它的第一个元素的指针，该元素的类型为int[4]。所以你可以写

int ( *p )[4] = a;

如果要将指向整个数组的指针声明为单个对象，可以编写

int ( *p )[3][4] = &a;

Answer 3

指向一维数组的指针，

不，它直接指向第一个元素。同样：

int *p = b;

够了。

4 这个数字实际上并不是任何类型的一部分；

 static int b[] = {11, 12, 13, 14};

它可以在声明中省略。 （因为它是 first 维度，除非您将其设为 2D）

---

这个（来自 AA）

int (*p)[4] = &b;
...
printf("%d \n", *( *p + 1 ) );

只是一个混淆和改写的版本：

int (*p)[] = &b;
...
printf("%d \n", (*p)[1] );

这会将b 替换为(*p)，通常不是您想要的。