为何Java允许var声明无泛型ArrayList且不触发编译警告？

1. 为什么无泛型参数的ArrayList代码能通过编译？ #

Java 5引入泛型机制时，为了兼容版本升级前的非泛型代码，特意保留了**原始类型（Raw Type）**的支持——也就是不带泛型参数的泛型类（比如ArrayList而非ArrayList<String>）。

这种设计确保旧代码无需修改就能在新版本JDK中运行，但代价是失去泛型的类型安全校验，可能引发运行时类型转换异常。不过编译器不会直接阻止这类代码编译，只会在显式使用原始类型时给出警告。

2. 为什么var声明无警告，显式ArrayList声明会触发unchecked警告？ #

两者的核心差异在于编译器推断的变量类型不同：

• 使用var list = new ArrayList<>();时，菱形运算符<>会让编译器自动推断右侧实例的泛型类型。由于没有额外的类型约束，编译器会将ArrayList<>推断为**ArrayList<Object>**——这是一个合法的参数化类型（带具体泛型参数），而非原始类型。var的类型被确定为ArrayList<Object>，后续添加String、Integer、Double等元素都是Object的子类，属于合法操作，因此不会触发unchecked警告。
• 显式声明ArrayList list = new ArrayList<>();时，左侧的ArrayList是原始类型。编译器检测到你将参数化类型（右侧的ArrayList<>）赋值给原始类型变量，这种操作会绕过泛型的类型检查，因此抛出unchecked警告，提示存在类型安全风险。

验证示例 #

通过反射可以直观看到两种声明的类型差异：

import java.lang.reflect.ParameterizedType;
import java.util.ArrayList;

public class GenericTest {
    public static void main(String[] args) {
        var varList = new ArrayList<>();
        ArrayList rawList = new ArrayList<>();

        // 查看varList的泛型信息
        System.out.println("varList类型：" + varList.getClass());
        ParameterizedType varType = (ParameterizedType) varList.getClass().getGenericSuperclass();
        System.out.println("varList泛型参数：" + varType.getActualTypeArguments()[0]);

        // 查看rawList的泛型信息
        System.out.println("rawList类型：" + rawList.getClass());
        ParameterizedType rawType = (ParameterizedType) rawList.getClass().getGenericSuperclass();
        System.out.println("rawList泛型参数：" + rawType.getActualTypeArguments()[0]);
    }
}

运行结果显示，varList的泛型参数是java.lang.Object，而rawList虽然运行时类型和varList一致，但编译时被当作原始类型处理，因此触发警告。

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