如何在 C 中破译复杂的指针声明？

Question

所以我想举个例子：

int *pi; // pi is a pointer that points to an integer
const int *cpi; // cpi is a pointer that points to a constant integer
char *pc; // pc is a pointer to a char 

如何阅读这些内容：

char **x; //x is a pointer to a char pointer?
char *y[];
char **z[];

谢谢。

Answer 1

^{cdecl.org 经常与此类问题相关联。毫无疑问，它更容易破译任何复杂的声明，但同时它只是提供了一个抽象的信息。作为一名 C 或 C++ 程序员，应该知道如何手动破译复杂的声明。 Spiral Rule 在某种程度上有所帮助，但在某些 cases 中失败了。这个答案将帮助程序员手动破译任何复杂的声明。}

---

记住这两条简单的规则：

1. 始终从由内而外阅读声明。
2. 当有选择时，总是偏爱[] 和() 而不是*。

第一条规则简单地说，找到正在声明的变量并开始从它的声明中解密。

对于第二条规则，如果* 在标识符之前，[] 或() 在其之后，则标识符代表一个数组或函数（分别），而不是指针。

示例 1：

char *y[5]; 

• 变量/标识符是y。
• * 在 y 之前并在 [] 之后。
• y 必须是一个数组。

结合上述解密将导致：y 是5 指向char 的指针的数组。

还请注意，您始终可以使用括号覆盖[] 或() 的正常优先级。

示例 2：

void (*pf) (int);

• 变量/标识符是pf。
• *pf 括在括号中，它必须是一个指针。
• () 跟在*pf 之后，意味着pf 必须指向一个函数。
• 由于() 包含int，函数必须需要int 类型的参数。

所以，pf 是一个指向函数的指针，它需要一个 int 参数并且什么都不返回。

现在，破译以下声明后你会得到什么

int *(*a[5])(void);  

？

答案：

a 是一个指向函数的指针数组，该函数不需要参数并返回指向 int 的指针。

---

注意： 请注意，这两个

char *y[];
char **z[];  

如果它们没有被声明为函数的参数，将会导致编译错误。如果它们是函数的参数，则char *y[] 等效于char **y 并且char **z[] 等效于char ***z。
如果不是这种情况，那么您需要像我在第一个示例中所做的那样指定维度。

Answer 2

从 HELPPC 实用程序（David Jurgens 编写）中提取的一些示例 C 声明挽救了我在九十年代的（编程）生活（该实用程序的在线版本：http://stanislavs.org/helppc）

int i;                  i as an int
int *i;                 i as a pointer to an int
int **i;                i is a pointer to a pointer to an int
int *(*i)();            i is a pointer to a function returning a
                          pointer to int
int *(*i[])();          i is an array of pointers to functions
                          returning pointers to an int
int *i[5];              i is an array of 5 pointers to int
int (*i)[5];            i is a pointer to an array of 5 ints
int *i();               i is a function returning a pointer to an int
int (*i)();             i is a pointer to a function returning int
int *(*(*i)())[5]       i is a pointer to a function returning a
                          pointer to an array of 5 pointers to an int

Answer 3

y 是指向 char 的指针数组，z 是指向 char 指针的指针数组。 x 是指向 char 的指针

Answer 4

char **x; //x is a pointer to a pointer to char
char *y[]; // y is an array of pointers to char
char **z[]; // z is an array of pointers to pointers to char