为什么偏移实现在 C 和 C++ 上奇怪地不同

Question

我打开stddef.h看到了这个：

#if defined _MSC_VER && !defined _CRT_USE_BUILTIN_OFFSETOF
    #ifdef __cplusplus
        #define offsetof(s,m) ((size_t)&reinterpret_cast<char const volatile&>((((s*)0)->m)))
    #else
        #define offsetof(s,m) ((size_t)&(((s*)0)->m))
    #endif
#else
    #define offsetof(s,m) __builtin_offsetof(s,m)
#endif

在__cplusplus分支中(如果是C++编译器(，有非常奇怪的实现，我认为这是多余的。Else 分支(C 编译器的情况(具有更简单的字段偏移量计算。我测试了它，它有效。在第一种情况下，什么使用了这种奇怪的演员和类型限定符？

Answer 1

operator &可以重载m的类型，所以&((s*)0)->m)会调用该operator &而不是获取m的地址。

const volatile在reinterpret_cast的类型中存在，因此即使m const和/或volatile，它也可以工作。

请注意，在 C++11 中，无论operator &重载如何，都有始终采用x地址的std::addressof(x)。它很可能以与您在问题中看到的类似的方式实现。