问指针将“>”与数组对象的第一个元素之前的一个进行比较

EN

1. 是的，这两种行为都是未定义的:在第一种情况下，array-1是未定义的；在第二种情况下，当迭代结束后，当ptr等于array时，它就会变得没有定义。
2. 标准第8部分第6.5.6节(重点是我的)包括了这一点：

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

标准长度用于覆盖数组对象的最后一个元素所在位置的元素，而位于第一个元素前面位置的元素属于上述规则的“否则”子句。