c - 一字节指针在 C 中仍然有效吗？

Question

我可能弄错了，但我似乎记得对于给定的内存分配，例如

char *p = malloc(4);

指针 p 是分配范围内所有字节的有效指针和分配范围之外的第一个字节。

因此，要通过指针p 访问内存，只有偏移量p[0] .. p[3] 是有效的。但是对于指针比较，&( p[4] ) 也是一个有效的指针。

这是正确的吗？在 C 标准 ( link ) 中是这样说的吗？似乎6.5.9 p6可能会提示答案的正确方向，但仍然有点模糊。

Answer 1

&p[4] 或 p + 4 是一个有效的指针，但不能取消引用。

C11 6.5.6 Additive operators

[...] 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. If the result points one past the last element of the array object, it shall not be used as the operand of a unary * operator that is evaluated.