使用单个指针访问2D数组

Question

有很多像这样的代码:

#include <stdio.h>

int main(void)
{
    int a[2][2] = {{0, 1}, {2, -1}};
    int *p = &a[0][0];

    while (*p != -1) {
        printf("%d\n", *p);
        p++;
    }
    return 0;
}

但基于这个答案,行为是不确定的.

N1570.6.5.6 p8:

当一个具有整数类型的表达式被添加到指针或从指针中减去时,结果具有指针操作数的类型.如果指针操作数指向数组对象的元素,并且数组足够大,则结果指向偏离原始元素的元素,使得结果元素和原始数组元素的下标的差异等于整数表达式.换句话说,如果表达式P指向数组对象的第i个元素,则表达式(P)+ N(等效地,N +(P))和(P)-N(其中N具有值n)指向分别为数组对象的第i + n和第i-n个元素,只要它们存在.此外,如果表达式P指向数组对象的最后一个元素,则表达式(P)+1指向一个超过数组对象的最后一个元素,如果表达式Q指向一个超过数组对象的最后一个元素,表达式(Q)-1指向数组对象的最后一个元素.如果指针操作数和结果都指向同一个数组对象的元素,或者指向数组对象的最后一个元素,则评估不应产生溢出; 否则,行为未定义.如果结果指向数组对象的最后一个元素之后,则不应将其用作已计算的一元*运算符的操作数.

有人可以详细解释一下吗？

Answer 1

p分配了基址(指向第一个元素的指针)的数组是类型int[2].这意味着在地址p可以合法解除引用仅在位置*p和 *(p+1),或者如果你喜欢标符号,p[0]和p[1].此外,p+2保证在法律上被评估为地址,并且与该序列中的其他地址相当,但不能被解除引用.这是一个过去的地址.

您发布的代码p一旦通过其归属的数组中的最后一个元素,就会通过解除引用来违反过去的规则.它所归属的数组与另一个相似维度的数组相对应,与所引用的形式定义无关.

也就是说,在实践中它起作用,但正如人们常说的那样.观察到的行为不是,也不应该被认为是定义的行为.仅仅因为它的工作原理并不合适.