标准合规的成员子对象所属完整Outer对象指针获取方法

当然可行！这种利用编译器已知成员偏移量的方式完全符合C++标准，而且完美契合你不想额外存储指针、节省内存和缓存的需求。下面详细讲具体实现和注意事项：

首先，你的两个类Inner和Outer都是标准布局类型（所有成员均为public，无虚函数/虚继承，无混合访问控制的成员等），这意味着我们可以合法使用offsetof宏来获取成员相对于类起始地址的字节偏移量——这是实现推导的关键。

根据你给出的规则：Inner的is_first标记为true当且仅当它是Outer的first成员，我们可以通过这个标记选择对应的偏移量，再通过指针算术计算出所属Outer对象的指针。

具体代码实现 #

#include <cstddef> // 用于offsetof宏

class Inner { public: bool is_first; };
class Outer { public: char some_other_member; Inner first; Inner second; };

Outer* get_outer_from_inner(Inner* inner) {
    // 根据is_first选择对应的成员偏移量
    ptrdiff_t offset = inner->is_first ? offsetof(Outer, first) : offsetof(Outer, second);
    // 将Inner指针转换为char*，减去偏移量得到Outer的起始地址，再转换回Outer*
    return reinterpret_cast<Outer*>(reinterpret_cast<char*>(inner) - offset);
}

这种方法完全符合C++标准的要求：

• offsetof宏仅对标准布局类型有效，而你的Outer和Inner都满足标准布局的条件，因此使用合法。
• 标准允许将对象指针转换为char*（或unsigned char*）并进行算术操作，只要操作后的指针指向原对象的范围内（这里我们是反向计算，从成员回到包含对象的起始，完全合法）。
• 通过这种方式得到的Outer*是指向完整Outer对象的有效指针，后续对其的访问都是合规的。

• 优势：完全不需要额外存储指针，所有计算都是编译期确定的（offsetof是编译期常量），运行时零额外开销，完美适配你对内存和缓存效率的要求。
• 注意事项：
  • 必须保证Outer和Inner始终是标准布局类型，如果后续修改类（比如添加虚函数、改变成员访问控制），需要重新验证合规性。
  • 确保is_first标记的准确性——如果这个标记出错，推导出来的Outer*会是无效指针，导致未定义行为。

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