计算指向未初始化内存的指针是 C 中的未定义行为吗？

Question

如果我理解正确的话，这个程序在 C++ 中具有未定义的行为，因为中间值p + 1是指向未初始化内存的指针：

int main () {
    int x = 0;
    int *p = &x;
    p = p + 1 - 1;
    *p = 5;
}

如果void放入 的main参数列表中（按照 C 语法的要求），它在 C 中是否也是未定义的行为？

Answer 1

不存在未定义的行为。您可以将单个对象视为具有一个元素的数组。使用指针算术，指针可能指向数组最后一个元素之后的元素，因此此语句

p = p + 1 - 1;

是正确的。

来自 C 标准（6.5.6 加法运算符）

7 就这些运算符而言，指向不是数组元素的对象的指针的行为与指向长度为 1 的数组的第一个元素的指针相同，且对象的类型作为其元素类型。

和

8. ...此外，如果表达式 P 指向数组对象的最后一个元素，则表达式 (P)+1 指向数组对象的最后一个元素后一位，如果表达式 Q 指向数组对象的最后一个元素后一位数组对象，表达式(Q)-1指向数组对象的最后一个元素。

注意这一点

8. ...如果指针操作数和结果都指向同一个数组对象的元素，或者超过数组对象的最后一个元素，则求值不会产生溢出；否则，行为是未定义的。