C 定义行为中的非字符数组上的指针算术吗？

非字符数组上的指针算术

在 C 中，对于引用数组或点的指针，指针算术的行为是明确定义的到数组的开头。但是，当指针算术应用于不直接指向字符数组的指针时，就会出现问题。

考虑以下代码片段：

struct Foo {
    float x, y, z;
};

Foo f;
char *p = reinterpret_cast<char *>(&f) + offsetof(Foo, z);

标有 (*) 的有问题的行将 Foo 结构体的 z 成员的地址分配给 p 指针。根据标准（expr.add/4），此操作可以被视为未定义行为（UB），因为 p 不指向 char 数组。

但是，标准还指出任何的底层字节普通可复制对象可以复制到 char 或 unsigned char 数组中。这意味着指针算术对于指向构成对象的原始字节的指针应该是有效的，无论它们是否形成数组。

在这种特定情况下，代码背后的意图是访问 z 成员使用reinterpret_cast。虽然标准没有明确规定在这种情况下定义指针算术，但如果没有的话，就会极大地限制 offsetof 的用处。

因此，行 (*) 中的加法被认为有效 在 C 语言中。 p 上的指针算术是允许的，并且它正确地指向 Foo 结构中的 z 成员。

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