假设我们分配了一个包含 10 个元素的字节数组。定义访问范围内的任何元素。
我了解越界读取和写入元素是未定义的行为。获取超出范围的数组元素的地址是未定义的行为吗？
例子：
#include <stdint.h>
#include <string.h>
int main(void)
{
uint8_t buf[10];
memset(buf, 0, sizeof(buf));
// Defined behavior
uint8_t a_value = buf[9];
// Defined behavior
buf[0] = 1;
// Undefined behavior?
uint8_t *addr = &buf[10];
}
【问题讨论】：
标签： c arrays undefined-behavior
&buf[10] 是一个特例。您可以在没有 UB 的情况下获取数组的“过去最后一个元素”的地址。但是你不能走得更远或走在第一个元素之前。因此&buf[11] 和&buf[-1] 是UB。
每个请求，来自the latest available draft of C18。
6.5.3.2/3 说明&buf[10] 等价于buf+10：
同样，如果操作数是 [] 的结果 运算符，既不计算 & 运算符，也不计算 [] 所隐含的一元 * 并且结果 就好像移除了 & 运算符，而将 [] 运算符更改为 + 运算符。
而 6.5.6/8 向我们提供了有关 + 行为的信息：
此外，如果表达式 P 指向 数组对象的最后一个元素，表达式 (P)+1 指向数组的最后一个元素 对象，如果表达式 Q 指向数组对象的最后一个元素，则表达式 (Q)-1 指向数组对象的最后一个元素。如果指针操作数和结果指向 对同一数组对象的元素，或数组对象的最后一个元素，求值 不得产生溢出；否则，行为未定义。
【讨论】：
&buf[10] 到buf + 10 的转换还需要6.5.3.2p3： 一元& 运算符产生其操作数的地址。如果操作数的类型为“type”，则结果的类型为“pointer to type”。如果操作数是一元 * 运算符的结果，则该运算符和 & 运算符都不会被计算，结果就好像两者都被省略了，除了对运算符的约束仍然适用并且结果不是左值
在不取消引用或以任何其他方式使用它（有一些例外）的情况下不获取引用不是未定义行为。
一个例子：
int x[5];
printf("%zu\n", sizeof(*(x + 1000)); // no UB
【讨论】：
+ 与指针一起使用：“如果指针操作数和结果都指向同一个数组对象的元素，或者超过数组对象的最后一个元素，则评估不应产生溢出；否则，行为未定义。”
sizeof(*(x + 1000) 中，sizeof 的操作数没有被计算，所以不会发生未定义的行为。结果仅仅是表达式的 type 的大小。如果评估了x + 1000，C 标准将不会定义行为。例如，表达式语句 x + 1000; 的行为不是由 C 标准定义的，即使它的结果未被使用。