Java数组初始化时编译器严格检查类型匹配，所有元素必须符合声明类型或可自动转换，基本类型仅接受对应字面量或拓宽转换值，引用类型要求实例、子类对象或null，泛型擦除不影响该检查。
Java 数组初始化时，编译器会严格检查类型匹配——所有初始化值必须能被目标数组元素类型接受，否则直接报错，不进入运行阶段。
类型一致性是硬性要求
数组是同质容器，一旦声明为某种类型（如 int[]、String[]），所有元素就必须是该类型或其可自动转换的值。编译器在编译期就完成这项检查。
-
基本类型数组：只允许对应的基本字面量或可拓宽转换值。例如
int[] a = {1, 2L, 3.0f}会失败，因为2L（long）和3.0f（float）不能自动转为 int；但{1, 2, 3}或{(int)2L, (int)3.0f}是合法的。 -
引用类型数组：每个初始化项必须是声明类型的实例，或其子类/实现类对象，或
null。例如Object[] obj = {new String("a"), null, new Integer(1)}合法；但String[] s = {new Object()}编译失败。 -
泛型擦除不影响此检查：像
List<String>[] arr = new ArrayList[2]虽然泛型信息丢失，但编译器仍确保左边是List<String>[]，右边是兼容的原始类型数组。
静态初始化 vs 动态初始化的检查时机不同
两种写法都做类型检查，但触发点略有差异：
-
静态初始化（花括号写法）：如
int[] a = {1, 2, 3};，编译器直接解析每个字面量，逐个比对是否符合int类型。任意一个不匹配，整个语句报错。 -
动态初始化（new + 循环赋值）：如
int[] a = new int[3]; a[0] = 1; a[1] = "hello";，错误出现在第二行赋值时——字符串字面量无法赋给int类型变量，编译失败。 - 注意：
new int[]{1, 2, 3}属于静态初始化的变体，同样在编译期校验全部元素类型。
常见类型不匹配错误及修正
这些错误在编译阶段就能暴露，无需运行：
立即学习“Java免费学习笔记（深入）”；
-
错误：
double[] d = {1, 2.5f, 3L};→1和3L不是double字面量（虽可拓宽，但数组初始化要求显式或明确可接受）。
修正：写成{1.0, 2.5f, 3.0}或{1.0, 2.5, 3.0}。 -
错误：
Boolean[] b = {true, false, "true"};→ 字符串"true"不能转为Boolean。
修正：改用Boolean.TRUE、Boolean.FALSE或null。 -
错误：
String[] s = {"a", 123};→ 数字字面量不是String。
修正：全部用字符串，如{"a", "123"}。
引用数组中 null 的特殊地位
null 是唯一能赋给任何引用类型数组元素的通用值，它不违反类型匹配规则：
-
String[] s = {null, "hello"};合法。 -
Number[] n = {null, new Integer(1), new Double(2.0)};合法，因为三者都是Number的子类型或null。 - 但
null不代表“空字符串”或“默认对象”，访问前仍需判空，否则运行时抛NullPointerException。
