offsetof 是否需要指针取消引用？

Question

我想知道一个简单的宏 offset_of_ 是否需要对 not 的指针取消引用。例如，一个 C++ （意味着这段代码将使用 C++ 编译器编译）结构，它用 packed 属性声明

struct A {
  int x;
  int y;
} __attribute__(packed);

假设在这种情况下sizeof(int) == 4，为了计算y在A里面的偏移量，我写了一个简单的宏：

#define offset_of_y (ptrdiff_t)(&(((A*)0)->y))

我们能确定这个宏的值总是4吗？调用宏时，0（可能是 UB）是否有任何指针取消引用？

非常感谢您的回复。

Answer 1

通过空指针访问某些东西是 UB，句点。

^{（除非上下文未被评估，但在这种情况下它被评估。）}

你可能想要 offsetof().

---

在实践中你的代码可能可以工作，但正式它是未定义的。