C++11实现侵入式数据结构时如何安全替代container_of宏

问题背景 #

我正在将一套使用大量自定义侵入式数据结构的C代码库移植到C++11环境。
C代码中这类结构的典型使用模式如下：

struct foo {
  // 若干成员变量
  struct data_structure_node node;
};

// 用户侧业务代码
struct foo *foo_ptr = NULL;
struct data_structure_node *result = find_in_data_structure(data_structure, some_key);
if (result) {
  foo_ptr = container_of(result, struct foo, node);
  // 操作foo_ptr指向的对象
}

代码中用到的container_of宏实现和Linux内核版本逻辑一致：

#define container_of(ptr, type, member) ({                      \
        const typeof( ((type *)0)->member ) *__mptr = (ptr);    \
        (type *)( (char *)__mptr - offsetof(type,member) );})

当我把代码改写为更符合C++惯用法的形式时，类似foo的结构体通常会升级为带访问控制、虚函数的类，不再满足*标准布局（standard layout）*要求，GCC和Clang会对原有container_of宏抛出如下编译错误：

error: 'offsetof' within non-standard-layout type 'foo' is conditionally-supported [-Werror=invalid-offsetof]

我尝试用**指向数据成员的指针（pointers to data member）**实现替代模板my_container_of，实现从data_structure_node*类型的节点指针反查宿主对象指针：

template <class Parent, class Member>
Parent* my_container_of(Member *member, Member Parent::* ptr_to_member)
{
    Parent *dummy_parent = nullptr;
    auto *offset_of_member = reinterpret_cast<char *>(&(dummy_parent->*ptr_to_member));
    auto address_of_parent = reinterpret_cast<char *>(member) - offset_of_member;

    return reinterpret_cast<Parent *>(address_of_parent);
}

我对这个实现的安全性有顾虑：对空指针dummy_parent做成员指针解引用，本质是空指针上的指针算术操作，按C++11标准中指针运算的相关规则，这类操作属于未定义行为——标准明确规定，除非两个指针指向同一数组对象的元素、或是数组最后一个元素的下一个位置，否则跨对象的指针算术行为没有标准保证。我注意到Boost.Intrusive库的父类转换实现逻辑和我写的my_container_of几乎一致，因此有两个疑问：

1. 我实现的my_container_of是否安全合规？
2. 是否存在更简洁、完全符合C++标准的实现方式？

回答 #

关于my_container_of的合规性判定 #

• 严格按照C++11标准条文判断，这个实现属于未定义行为：你提到的空指针解引用取成员地址的操作，确实不在标准明确允许的行为范围内，所有编译器对这个写法的稳定支持都属于实现层面的约定，不是标准强制要求的合规行为。
• 但从工程落地角度看，这个写法在GCC、Clang、MSVC等所有主流C++编译器上都是长期稳定可用的。Boost.Intrusive作为被广泛验证的工业级侵入式容器库，采用的就是几乎完全相同的逻辑——编译器开发者普遍认可侵入式容器的使用场景，不会刻意破坏这类代码的运行逻辑。如果你的项目只需要适配这几个主流编译器，这个写法没有实际运行风险，完全可以用。

符合C++11标准的无未定义行为实现 #

C++11下确实存在完全合规、不依赖编译器实现扩展的写法，核心思路是绕开空指针解引用，用一块满足对齐要求的合法字符存储来计算成员偏移，全程不触发对象生命周期相关的未定义行为：

#include <cstddef>

template <class Parent, class Member>
Parent* my_container_of(Member* member, Member Parent::* ptr_to_member)
{
    static const std::ptrdiff_t offset = []() {
        alignas(Parent) char storage[sizeof(Parent)] = {0};
        Parent* dummy = reinterpret_cast<Parent*>(storage);
        return reinterpret_cast<char*>(&(dummy->*ptr_to_member)) 
             - reinterpret_cast<char*>(dummy);
    }();
    return reinterpret_cast<Parent*>(reinterpret_cast<char*>(member) - offset);
}

这个实现的特点：

• 偏移值在第一次调用时通过静态初始化计算一次，后续运行时只有简单的指针减法，性能和原生C宏版本完全一致。
• 不要求Parent是标准布局类型，支持带虚函数、自定义访问控制的普通C++类。
• 全程没有读写任何实际对象的成员，没有空指针解引用，完全符合C++11标准的规则。

工程选型建议 #

• 如果项目已经引入了Boost，直接使用Boost.Intrusive提供的父类指针转换接口即可，不需要自己重复实现，它已经在全平台、全编译器版本下做了足够多的适配和边界处理。
• 如果不想引入Boost依赖，上面给出的合规实现可以直接落地；如果追求极致简洁，且项目仅面向主流编译器，你最初写的空指针版本也可以用，只需要在对应代码段局部关闭invalid-offsetof警告即可，不会有实际问题。

内容的提问来源于stack exchange，提问作者jgalar