非数组数据结构上的指针算术在 C 中是定义的还是未定义的行为？

非数组数据结构上的指针算术是否未定义行为？

这个问题源于 C 17 标准之间关于指针的明显冲突offsetof 宏的添加和功能。根据引用的段落，如果“char ”指针不指向 char 数组，则添加它应该会导致未定义的行为。然而，提供的代码示例涉及添加到从reinterpret_casting“Foo”结构的地址获得的“char ”指针。这似乎不符合规则，因为指针不指向 char 数组。

但是，在进一步检查标准后，我们​​在第 3.9.2 节中找到了指导：“对于任何对象（除基类子对象外）普通可复制类型 T，无论该对象是否持有类型 T 的有效值，组成该对象的基础字节都可以复制到 char 或 unsigned 数组中char."

此声明表明标准将任何对象的底层字节视为可复制，无论它们是否表示数组。这意味着您在代码中执行的加法应该是有效的，即使指针没有指向数组。加法是在原始字节上定义的，结果值用于访问“Foo”结构中所需的 float 成员。

因此，提供的代码示例中的加法操作不是未定义的行为。它允许您使用reinterpret_casting和offsetof访问和修改表示结构成员的字节。

以上是非数组数据结构上的指针算术在 C 中是定义的还是未定义的行为？的详细内容。更多信息请关注PHP中文网其他相关文章！