C++类内部声明自身类型成员报不完整类型错误的原因

问题复现代码如下：

class test {
public:
    test(int i) : t(10) {
        cout << "cst" << i << endl;
    }

    static test ins;
    const test t;// 1 编译报错行
};

编译阶段对应报错信息：

incomplete type is not allowed

核心规则说明 #

• C++标准明确规定，类类型的完整节点是类定义的闭合右花括号}位置。在类定义体内部、右花括号之前，类自身属于不完整类型：编译器此时仅识别到类名存在，还未统计完全部成员信息，无法确定该类型的内存大小、对象布局、构造要求等核心属性。
• 声明/定义非静态数据成员时，必须使用完整类型：非静态成员是类对象内存布局的组成部分，编译器必须明确知道该成员的大小，才能计算出整个类对象的内存占用、排布成员偏移量。

错误触发逻辑 #

代码中标注为//1的行声明了非静态成员const test t;，触发错误的本质原因有两点：

1. 处理到这行代码时test类还未定义完成，属于不完整类型，编译器无法确定成员t的大小，不满足非静态成员的类型要求，直接抛出不完整类型错误。
2. 即使跳过语法检查，这种写法也存在逻辑上的无限递归问题：每个test对象内部要嵌入一个完整的test子对象，嵌入的子对象内部又会再嵌入一个test子对象，内存大小会无限膨胀，根本不可能实现。

为什么静态成员static test ins;不报错 #

静态数据成员不属于类对象的内存组成部分，它本质是作用域受限的全局变量，存储在类对象之外的静态存储区。声明静态成员时仅需要识别类型名即可，不需要类型是完整的，只有在类外真正定义这个静态成员的时候，才要求test是完整类型，因此这行声明不会触发编译错误。

合法的自引用写法 #

如果需要在类内部持有自身类型的关联，可以使用指针或者引用类型的成员：

class test {
public:
    test(int i) : t(10) {
        cout << "cst" << i << endl;
    }

    static test ins;
    const test* t_ptr;  // 合法，指针大小固定，不需要完整类型即可确定内存占用
    test& t_ref;        // 合法，引用底层实现为地址存储，大小固定
};

指针和引用的内存大小是平台固定值（比如64位系统下占8字节），编译器在类定义阶段不需要知道test的完整布局，就能确定这两个成员的内存占用，因此不会触发不完整类型错误。

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