c++ - C++ 中的越界数组访问和 reinterpret_cast

Question

假设我有这样的代码

struct A {
  int header;
  unsigned char payload[1];
};

A* a = reinterpret_cast<A*>(new unsigned char[sizeof(A)+100]);

a->payload[50] = 42;

这是未定义的行为吗？创建指向 payload 外部的指针应该是未定义的 AFAIK，但我不确定在我在数组之后分配内存的情况下是否也是如此。

标准说 p[n] 与 *(p+ n) 相同，并且“如果表达式 P 指向数组对象的第 i 个元素，表达式 (P)+N 指向数组的第 i+n 个元素”。在示例中，payload 指向分配了 new 的数组中的一个元素，所以这可能没问题。

如果可能的话，如果您的答案包含对 C++ 标准的引用就更好了。

Answer 1

所以 reinterpret_cast 是未定义的行为，我们可以reinterpret_cast 到char 或unsigned char 我们永远不能从 char 或 unsigned char，如果我们这样做:

Accessing the object through the new pointer or reference invokes undefined behavior. This is known as the strict aliasing rule.

所以是的，这违反了严格的别名规则。