4

我在 KN King 的书中第 269 页看到了这个声明

int a[ROWS][COLS], (*p)[COLS];

p = &a[0];

p现在指向二维数组的第一行。我明白为什么a[0]指向二维数组的第一行。但我不明白声明的语法p。这是什么意思,我怎么记得?

周围的父母在*p做什么?(*p)这种语法在运算符优先级方面意味着什么?

4

4 回答 4

17

> "But I do not understand the syntax for declaring p"

所以p声明为:

int (*p)[COLS];

int它是一个指向大小为s的数组的指针COLS

> "What does that mean and how do I remember it?"

以下是您如何判断,使用螺旋规则并从()s 开始:

    ( p)                    p 
    (*p)                    p is a pointer
    (*p)[    ]              p is a pointer to an array
int (*p)[    ]              p is a pointer to an array of ints
int (*p)[COLS]              p is a pointer to an array of ints of size COLS

当然,您也可以随时作弊以获得答案

在此处输入图像描述

> "what does this syntax mean in terms of operator precedence?"

C 语言中,[]优先于一元 *,这意味着您需要()in 才能p成为指向ints 数组的指针,而不是指向ints 的指针数组。

于 2013-05-10T16:08:08.950 回答
2

后缀[]()运算符都比一元运算符具有更高的优先级*,因此它们首先绑定。IOW,T *p[N]被解释为T *(p[N]); p是指向 的指针数组T。为了声明指向数组的指针(或指向函数的指针),您必须使用括号强制*运算符在 : 之前绑定[]

T *p[N];     // p is an array of pointer to T
T (*p)[N];   // p is a pointer to an array of T

T *f();      // f is a function returning pointer to T
T (*f)();    // f is a pointer to a function returning T
于 2013-05-10T16:16:56.023 回答
1

忽略逗号并重写为:

int a[ROWS][COLS];
int (*p)[COLS];

p = &a[0];

p是一个指向 ints 大数组的指针,COLS声明不会分配那么多内存,但它确实允许进行一些边界检查。数组的内存是在声明中分配的:
a=>int a[ROWS][COLS];

于 2013-05-10T16:01:42.230 回答
1

我明白为什么 a[0] 指向二维数组的第一行

这已经不准确了。在值上下文中,a[0]并不真正指向“二维数组的第一行”。a[0]实际上指向二维数组第一行的第一个元素。换句话说,在值上下文中a[0]是一个指向a[0][0]. a[0]衰减到的类型int *,您可能知道。并且sizeof *a[0]等于sizeof(int)。所以,它并没有真正指向整行。它指向一个单独的int对象。

现在,如果你真的想指向二维数组的第一行,即指向行,你需要&a[0]. 这会给你一个 type 的指针int (*)[COLS]。注意sizeof *&a[0]等于sizeof (int[COLS]),所以它确实是一个指向二维数组第一行的指针。这就是您在示例中看到的。

请注意,数字a[0]&a[0](作为值上下文中的指针)是相同的,因为它们指向线性内存中的同一点。但是,按类型&a[0]指向整行,而a[0]指向单个元素。

于 2013-05-10T17:09:09.360 回答