C++中如何在成员类构造函数内获取所属外层类实例的引用

前提说明 #

C++标准本身没有提供从成员对象直接获取外层包含类实例的内置语法，你要求不通过构造函数传参的前提下，只能通过内存布局偏移的方式实现，该方案有明确的适用条件限制，具体如下：

实现方案：标准布局类 + 偏移计算 #

如果你的Class2满足标准布局类型的要求，可以通过offsetof宏计算成员偏移量，反向推导外层Class2实例的地址，代码示例如下：

#include <iostream>
#include <cstddef>

// Class2前向声明
struct Class2;

struct Class1 {
    Class1(int var1_);
    int var1;
};

struct Class2 {
    Class1 instance1;
    // 可自定义其他标准布局成员验证效果
    int extra_var = 10;
    Class2(int var);
};

Class1::Class1(int var1_)
    : var1(var1_)
{
    // 核心逻辑：当前Class1实例地址减去其在Class2中的偏移量，得到外层Class2的地址
    Class2* outer_ptr = reinterpret_cast<Class2*>(
        reinterpret_cast<char*>(this) - offsetof(Class2, instance1)
    );
    Class2& outer_ref = *outer_ptr;

    // 测试验证
    std::cout << "Class1构造中拿到的外层Class2地址：" << outer_ptr << std::endl;
    std::cout << "外层Class2的extra_var值：" << outer_ref.extra_var << std::endl;
}

Class2::Class2(int var)
    : instance1(var)
    // 全程未给Class1构造函数传递Class2的地址，符合要求
{
}

int main()
{
    Class2 instance2(3);
    std::cout << "main函数中instance2的实际地址：" << &instance2 << std::endl;
    return 0;
}

注意事项 #

• 标准布局类型要求：类没有虚函数、没有虚继承、所有非静态成员的访问权限一致、基类没有非静态成员，否则offsetof的行为是未定义的。
• 偏移计算的成员名必须和Class2中Class1实例的成员名完全一致，如果你后续修改了Class2的成员顺序、重命名了instance1，偏移计算会直接出错。
• 在Class1构造函数执行时，外层Class2还没有完成构造（初始化列表尚未执行完毕，Class2的构造函数体还未运行），此时拿到的外层引用只能访问已经初始化的成员，不能调用Class2的虚函数、不能访问未初始化的Class2成员，否则会触发未定义行为。

补充说明 #

如果你可以放开限制，通过Class1构造函数额外传递Class2的this指针是最安全、无未定义行为的实现方案，也是工业界常用的写法。

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