Question

我正在努力解决 C 的指针概念，尤其是指针数组。请参阅以下程序以供参考。

#include <stdio.h> 

int a1[] = {6,7,8,18,34,67};
int a2[] = {23,56,28,29};
int a3[] = {-12,27,-31};
int *x[] = {a1,a2,a3};

void print (int *a[]){
  printf ("%d",a[0][2]);
  printf ("%d",*a[2]);
  printf ("%d",*++a[0]);
  printf ("%d",*(++a)[0]);
  printf ("%d",a[-1][1]);
 
}

void main (){ 
  print (x);
}

我不明白的是，如果我们将 int *a[] 作为指针数组传递，那么它应该是一个数组，好吗？但有人告诉我，这里 a 只是一个单一的指针变量，它充当 x 的别名，但根据语法 a 应该是一个数组，即。 print() 函数的活动记录应该包含一个数组，而不仅仅是一个包含 x 基地址的指针变量，而是整个混淆是指针还是指针数组，语法肯定表明它应该是一个 int 指针数组，我在网上阅读但更加困惑，请不要通过标记不相关来忽略这个问题。

Answer 1

有两种情况，数组“衰减”为指向其第一项的指针：

每当（大多数）表达式中使用数组名称时，或
当函数参数声明为数组类型时。

int *x[] = {a1,a2,a3}; 起作用的原因是因为这 3 个数组“衰减”为指向它们此处第一个元素的指针。在所有 3 种情况下都是 int* 类型，因此它与 x 数组的元素类型兼容。

然后，当您定义一个函数，例如 void print (int *a[]) 时，编译器会默默地隐式地将此数组声明“衰减”为指向第一个元素的指针。 int* [] 数组的第一个元素是 int*，指向一个的指针是 int**。所以这个函数等价于void print (int** a);。这就是为什么我们可以在这里写一个空的 [] - 编译器不关心数组的大小，因为它无论如何都会用指针替换数组。

这也是多级间接 a[0][2] 起作用的原因。这不是因为 a 是一个二维数组 - 它不是。但是第一个 [] 对 int** 类型进行指针运算以获取相关的 int* 元素。第二个依次对该指针元素进行指针运算，以获得实际的 int。

至于该函数内的各种行，它是某种旨在教授运算符优先级的人为学校示例。提示：后缀运算符通常具有最高优先级。

行 a[-1][1] 是一个错误，因为它调用了未定义的行为 - 我们不应该编写这样的程序，原因是它自己的一个有点高级的主题。此处的详细信息：Is it undefined behaviour to just make a pointer point outside boundaries of an array without dereferencing it?

在 C 中传递指针数组是什么意思？

1 个答案: