为何C++的static data member可以拥有incomplete type？

结论 #

你的判断完全正确，这正是C++允许静态数据成员为不完整类型、甚至可以是所属类自身类型的核心原因。

具体解释 #

首先明确两个基础概念：

• 不完整类型：指仅完成声明、尚未完成完整定义的类型，编译器此时不知道该类型的内存大小、成员布局等信息。当我们正在编写一个类的定义时，在类的闭合花括号之前，这个类本身就属于不完整类型。
• 静态数据成员不属于任何类的实例对象，是类全局共享的独立存储，不占用类实例的内存空间。

我们可以通过和非静态数据成员的对比来理解这个规则：

• 非静态数据成员是每个类实例的组成部分，编译器在完成类定义的阶段，就需要明确所有非静态成员的大小，才能计算出整个类实例的内存布局，因此非静态成员的类型必须是完整类型，不允许使用还没定义完的类自身。
• 静态数据成员在类内部的写法仅仅是声明，不需要分配内存，也不需要获知类型的大小信息，因此哪怕类型是当前尚未定义完成的类（不完整类型）也完全合法。后续我们只需要在类外的全局作用域完成静态成员的定义即可，此时类已经完成了完整定义，类型是完整的，编译器可以正常处理内存分配等操作。

代码示例 #

class Demo {
public:
    // 此处Demo仍为不完整类型
    static Demo static_val; // 合法，仅为静态成员声明
    // Demo non_static_val; // 编译报错：非静态成员不能使用不完整类型
};

// 类外定义静态成员，此时Demo已经是完整类型，不会报错
Demo Demo::static_val;

内容的提问来源于stack exchange，提问作者L.S. Roth