为什么类的成员变量是自身类型时只可以声明

在c++primer中看到这么句话“因为只有当类定义体完成后才能定义类,因此类不能具有自身类型的数据成员。然而,只要类名义出现就可以认为该类已经声明,因此,类的数据成员可以是指向自身类型的指针或引用”

java中没有这么限制,先实验下:

public class A {
A a = new A();
// A a;
A(){
System.out.println("create A");
// a = this;
}
public static void main(String[] args)
{
new A();
}
}

运行出现异常,Exception in thread "main" java.lang.StackOverflowError

下面分析一下,这么做的问题,当在A中保存有A类型的对象,并为之进行初始化操作。当我们(1)创建一个new A()时,由于创建的对象自身包含一个A类型的对象,所以初始化对象时要为A创建new A()的实例,这时程序又返回到(1)处执行。无限制的创建As()对象,因此会产生StackOverflowError异常。

注意类似下面的代码将会出现同样的问题:

class B{
A a = new A();
}
public class A {
B b = new B();
// A a;
A(){
System.out.println("create A");
// a = this;
}
public static void main(String[] args)
{
new A();
}
}

原文地址:https://www.cnblogs.com/wendao/p/2609151.html