动态数组的惯用初始化是否会调用未定义的行为？

Question

这个问题可能有点争议。 我在块范围内有以下代码：

int *a = malloc(3 * sizeof(int));
if (!a) { ... error handling ... }
a[0] = 0;
a[1] = 1;
a[2] = 2;

我认为这段代码调用 UB 是因为指针算术超出了界限。 原因是a的对象指针的有效类型永远不会 设置为int[3]，而仅设置为int。因此，对索引处对象的任何访问 C 标准没有定义除 0 以外的值。

原因如下：

线a = malloc(...)。 如果分配成功，则a 指向一个足以存储 3 个ints 的区域。

a[0] = ... 等价于*a = ...，即int 的左值。它将第一个sizeof(int) 字节的有效类型设置为int，如规则6.5p6 中所示。

...对于没有声明类型的对象的所有其他访问，对象的有效类型只是用于访问的左值的类型。

现在指针a 指向int 类型的对象，不是 int[3]。

a[1] = ... 等价于*(a + 1) =。表达式a + 1 指向可通过*a 访问的int 对象末尾之后的一个元素。 该指针本身对比较有效，但访问未定义，原因是：

规则6.5.6p7:

...指向不是数组元素的对象的指针与指向长度为 1 的数组的第一个元素的指针的行为相同，该数组的元素类型为对象的类型。

和规则6.5.6p8：

...如果结果指向数组对象的最后一个元素，则不应将其用作计算的一元 * 运算符的操作数。

类似的问题与a[2] = ... 相关，但这里甚至隐藏在a[2] 中的a + 2 也会调用UB。

只要满足对齐要求和严格的别名规则，如果标准允许对内存有效区域进行任意指针运算，问题就可以解决。或者任何相同类型的连续对象的集合都可以被视为一个数组。但是，我找不到这样的东西。

如果我对标准的解释是正确的，那么一些 C 代码（全部？）将是未定义的。 因此，当我希望自己错时，这是极少数情况之一。

我是吗？

Answer 1

标准只是“半途而废”地定义了术语“对象”：它说每个对象都是一个存储区域，但它没有指定存储区域何时是或不是对象。对于大多数标准，可以说每个存储区域同时包含适合其中的所有类型的所有对象；任何修改对象的动作都会修改底层存储，任何修改底层存储的动作都会修改其中所有对象的存储值。

我认为很明显，标准的作者期望在标准说一个动作调用未定义行为的情况下，但在没有该声明的情况下会定义行为，质量实现应该以定义的方式表现 在他们的客户会觉得有用的情况下。然而，这些是哪些案例的问题是标准管辖范围之外的实施质量问题。因此，标准是否将某些行为描述为未定义行为并不重要，迄今为止所有实现都以相同的明显有用的方式处理了某些操作，因为没有人试图出售编译器会将标准未能强制要求这样的行为解释为以对客户有害的方式偏离它的邀请。

因为不同的编译器用于不同的目的，所以标准可以真正定义许多低级编程任务所需的所有行为，同时还允许对高端数字有用的所有优化的唯一方法处理将是识别进行不同优化的实现类别，或者添加更好的方法来邀请或阻止优化，这将有助于提高性能和/或导致不正确的程序行为。因为每个曾经存在或将可能存在的编译器都会避免进行一些原本有用的优化，和/或执行错误地处理某些严格符合 C11 程序的“优化”，标准是否允许的问题愚蠢的优化应该只适用于那些想要编写质量差的编译器，或者想要向后弯腰以与它们兼容的人。