Java局部变量未初始化困惑：数组作为引用类型为何编译报错？

问题背景 #

做Java作业时遇到一道选择题：
给定Runner类代码，声明局部int数组c后直接调用met方法传入c，选项包含编译错误、运行时空指针异常、正常运行三类。我选了B（运行时NullPointerException），但正确答案是A（编译错误：局部变量c未初始化）。

查阅JLS文档得知引用类型默认初始化为null，数组属于引用类型，同时发现Sack类的私有实例变量s会被默认设为null并能打印null，由此产生以下疑问及解答：

1. 引用类型的准确定义是什么？ #

在Java中，引用类型是指指向对象内存地址的变量类型，它本身不存储对象的实际数据，仅存储对目标对象的引用。除byte、short、int、long、float、double、char、boolean这8种基本类型外，所有其他类型（类、接口、数组、枚举、记录等）都属于引用类型。

2. 数组属于什么类型？ #

数组是引用类型，这在Java语言规范中有明确规定。无论数组元素是基本类型（如int[]）还是引用类型（如String[]），数组本身都是引用类型，变量存储的是数组对象在堆内存中的地址。

3. Runner类中声明int[] c后，c为何没有指向null？ #

核心原因是局部变量与成员变量的初始化规则完全不同：

• 成员变量（实例变量或类变量）会由Java虚拟机自动完成默认初始化：引用类型默认值为null，基本类型为对应默认值（如int为0）。
• 局部变量（方法、代码块内定义的变量）不会被自动初始化，声明int[] c仅完成变量的定义，并未赋予任何值，此时变量处于「未初始化」状态，而非指向null。Java编译器会强制检查局部变量的使用，未初始化的局部变量不允许被读取或传递，直接触发编译错误。

4. 实例变量s和局部变量c同为数组相关变量，为何表现不同？ #

二者的差异完全源于变量的作用域与初始化规则：

• 实例变量s属于类的成员，在对象实例化时，JVM会自动为其分配内存并执行默认初始化，因此它的默认值为null，可以直接被使用（例如打印null）。
• 局部变量c属于方法或代码块的局部范围，Java编译器要求局部变量必须显式赋值后才能被使用，未初始化的局部变量无法通过编译，根本不会进入运行阶段，因此不会出现NullPointerException，而是直接编译失败。

内容的提问来源于stack exchange，提问作者CSP.AT.MASH