指针比较">"与数组对象的第一个元素之前的一个

Question

根据该主题,允许将指针与数组对象的最后一个元素之一进行比较.

根据@jalf注释,禁止在数组对象的第一个元素之前将指针与一个进行比较.

例1

int array[10];
int *ptr;
for(ptr=&array[9]; ptr>(array-1); ptr--) {...}

例题

int array[10];
int *ptr;
for(ptr=&array[9]; ptr>=(array); ptr--) {...}

1)是否禁止example1和example2？

2)C标准是否有证据表明禁止在数组对象的第一个元素之前比较指针？

Answer 1

1. 是的,两者都是未定义的行为:在第一种情况下,array-1是未定义的; 在第二种情况下,ptr当它等于迭代后递减时变为未定义array.
2. 标准第6.5.6节(第8部分)(重点是我的)涵盖了这一点:

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

标准的长度覆盖了数组对象的最后一个元素之后的位置处的元素,而位于第一个元素之前的位置处的元素属于上述规则的"其他"子句.