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

Question

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

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

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

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

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

非常感谢您的回复。

Answer 1

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

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

你可能想要 offsetof() .

---

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