C++中如何在前置结构体中获取后置结构体的sizeof？

问题背景 #

以下代码会触发编译错误：

struct S1
{
    size_t v = sizeof(S2); // 编译错误：S2尚未完成定义
};

struct S2
{
    S1 s1;
};

矛盾点在于：S2必须在S1之后定义（因为S2包含S1作为成员），但S1的成员初始化需要提前获取S2的大小，直接写法无法通过编译。

当前的临时解决方案依赖函数声明+延后实现：

size_t func();

struct S1
{
    size_t v = func();
};

struct S2
{
    S1 s1;
};

size_t func()
{
    return sizeof(S2);
}

但这种方式需要额外的函数层，不够简洁优雅。

更优实现方式 #

方式1：静态成员变量（共享值） #

如果S1的所有实例共享同一个S2的大小值，直接用静态成员变量即可。静态成员的初始化可以放在类定义之外，等S2完成定义后再执行：

struct S1
{
    static size_t v; // 仅声明静态成员
};

struct S2
{
    S1 s1;
};

// 在S2定义后初始化静态成员
size_t S1::v = sizeof(S2);

这种方式完全消除了额外函数的开销，逻辑清晰直接。

方式2：构造函数初始化（实例独有值） #

如果每个S1实例都需要持有这个大小值（而非共享静态值），可以在构造函数中完成初始化。构造函数调用时S2已经完成定义，因此可以安全获取sizeof(S2)：

struct S1
{
    size_t v;
    // 构造函数中初始化成员
    S1() : v(sizeof(S2)) {}
};

struct S2
{
    S1 s1;
};

这种写法简洁，没有冗余代码，符合C++的常规初始化逻辑。

方式3：inline静态成员（C++17+，共享常量值） #

如果需要将v作为编译期常量且共享，结合C++17的inline静态成员特性，可以调整顺序并利用类的前向声明：

// 前向声明S2
struct S2;

struct S1
{
    inline static const size_t v;
};

struct S2
{
    S1 s1;
};

// 延后初始化inline静态成员
const size_t S1::v = sizeof(S2);

这种方式既保留了静态成员的共享特性，又能保证值是编译期常量（如果需要的话）。

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