c++ - 中的 'offsetof' 宏是否会调用未定义的行为？

Question

MSVC 的实现示例:

#define offsetof(s,m) \
    (size_t)&reinterpret_cast<const volatile char&>((((s *)0)->m))
//                                                   ^^^^^^^^^^^

可以看出，它取消引用一个空指针，这通常会调用未定义的行为。这是规则的异常(exception)还是发生了什么？

Answer 1

如果语言标准说“未定义的行为”，任何给定的编译器都可以定义该行为。标准库中的实现代码通常依赖于此。所以有两个问题:

(1) 代码相对于 C++ 标准是 UB 吗？

这是一个非常困难的问题，因为这是一个众所周知的几乎缺陷，C++98/03 标准从未在规范性文本中明确指出，通常它是取消引用空指针的 UB。它暗示由 typeid 的异常(exception)，它是 not UB。

您可以肯定地说，将 offsetof 与非 POD 类型一起使用是 UB。

(2) 代码相对于它所针对的编译器而言是 UB 吗？

不，当然不是。

给定编译器的编译器供应商代码可以使用该编译器的任何功能。

干杯，