c++ - 超出范围指针的比较是否定义明确？

Question

给定以下代码:

char buffer[1024];
char * const begin = buffer;
char * const end = buffer + 1024;
char *p = begin + 2000;
if (p < begin || p > end)
    std::cout << "pointer is out of range\n";

执行的比较(p < begin 和 p > end)是否明确？或者这段代码是否有未定义的行为，因为指针已经超过了数组的末尾？

如果比较定义明确，那么定义是什么？

(额外的功劳:begin + 2000 的评估本身是未定义的行为吗？)

Answer 1

我假设 C++11标准。根据第 5.7 节(加法操作数)第 5 段，在进行比较之前，*p = begin + 2000 的行为首先是未定义的:

If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.