为何C语言struct自引用变量报错而Java类自引用可正常运行？

这个问题戳中了C和Java在自定义类型存储模型上的核心差异，咱们拆开说：

先看C语言的情况 #

你写的这段C代码：

struct Phant { int y; struct Phant y; };

编译器直接报错的原因很简单：C的结构体是值类型，成员变量是直接嵌入在结构体内部的。

当编译器要计算struct Phant的大小时，它发现里面包含了另一个完整的struct Phant实例——那这个内部的struct Phant又包含一个int和另一个struct Phant，无限套娃下去，结构体的大小会变成无穷大，编译器根本没法确定它的内存布局，自然就直接抛出编译错误了。

如果要在C里实现类似的递归结构，你得用指针：

struct Phant { int y; struct Phant *y; };

因为指针的大小是固定的（比如64位系统是8字节），这样整个结构体的大小就是int的大小（通常4字节）加上指针的大小，编译器能明确计算出来，就不会报错了。

再看Java的情况 #

而Java的这段代码：

class Ded { int y; Ded s = new Ded(); }

能通过编译，但注意——它运行起来会直接炸掉（抛出StackOverflowError），只是编译阶段没问题。

原因在于：Java的类是引用类型，Ded s并不是存储一个完整的Ded对象，而是存储指向Ded对象的引用（相当于C的指针，但Java屏蔽了直接操作内存的细节）。

编译的时候，编译器只需要知道Ded类的成员：一个int（固定4字节）和一个引用（固定大小，比如8字节），整个类的内存布局是确定的，所以编译能过。但运行时，当你创建第一个Ded对象时，它会初始化s，也就是new Ded()，这个新的Ded对象又会初始化自己的s，无限递归创建对象，最终把栈空间耗尽，抛出栈溢出错误。

简单总结：

• C是因为编译时无法确定结构体的大小直接报错；
• Java是因为引用的大小固定，编译能通过，但运行时会无限递归创建对象导致栈溢出。

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