为何C++中允许在类方法内部创建同类对象？

案例1：Main.cpp #

class Complex
{
   void func()
   {
      Complex c1; // 允许在函数内部创建同类对象，代码编译正常。原因是什么？
   }
};

int main()
{
    return 0;
}

案例2：Main.cpp #

class Complex
{
   Complex c1; // 不允许将同类对象作为数据成员，因类不完全导致编译失败
};

int main()
{
    return 0;
}

核心疑问：已知案例2编译失败的原因，但为何案例1能够编译通过？编译器是逐行从上到下编译的，案例1难道不应该因相同原因失败吗？

这是因为类的编译流程和成员函数体的处理时机存在差异：

• 案例2中，当编译器处理Complex c1;作为类的成员变量时，Complex还属于「不完全类型」——此时编译器尚未完成整个类的定义，无法确定该类的内存大小（同类对象作为成员会引发无限递归的大小计算），因此直接报错。
• 案例1里，成员函数func()的函数体是延迟编译的：编译器在处理类定义阶段，只会先记录函数的签名（返回值、名称、参数），不会立即编译函数内部代码。只有当整个类的定义完成（遇到类的结束花括号}）后，编译器才会回头处理func()的函数体。此时Complex已经是「完整类型」，编译器明确它的大小和结构，自然可以正常创建对象。

简单来说：类成员变量的声明是在类定义过程中同步处理的，而成员函数体要等类定义完全结束后才会编译，这就是两者的核心区别。

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