在这种情况下，为什么javac不检查未声明的TypeParameter？

在Java中，javac编译器在编译时确实会进行类型检查，以确保代码的正确性和安全性。然而，对于泛型（Generics）中的TypeParameter（类型参数），javac编译器在某些情况下可能不会检查未声明的类型参数，这主要是由于Java泛型的类型擦除（Type Erasure）机制。

基础概念

类型擦除： Java泛型在编译时会进行类型检查，但在运行时，泛型信息会被擦除，这意味着在运行时，泛型类型参数会被替换为其边界类型（通常是Object）。这种机制使得Java泛型与旧版本的Java代码兼容。

为什么`javac`不检查未声明的`TypeParameter`？

类型擦除：由于类型擦除，编译器在运行时无法获取泛型的具体类型参数信息。因此，对于某些未声明的类型参数，编译器可能无法在运行时进行检查。
编译时检查的限制：编译器在编译时会对泛型代码进行类型检查，但如果类型参数在编译时无法确定（例如，通过反射动态创建泛型实例），编译器可能无法进行彻底的检查。

解决方法

显式声明类型参数：确保在使用泛型时，明确声明所有类型参数。这有助于编译器在编译时进行更严格的类型检查。
使用边界类型：为泛型类型参数指定边界类型，这样可以限制类型参数的范围，从而减少未声明类型参数的可能性。
编译器选项：使用javac的严格模式选项（如-Xlint:unchecked）来启用更严格的类型检查。

示例代码

import java.util.List;

public class GenericExample<T> {
    private T value;

    public GenericExample(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }

    public static void main(String[] args) {
        // 显式声明类型参数
        GenericExample<String> example = new GenericExample<>("Hello");
        System.out.println(example.getValue());

        // 使用边界类型
        List<? extends Number> numbers = List.of(1, 2, 3);
        for (Number number : numbers) {
            System.out.println(number);
        }
    }
}