为何使用泛型类型的空类及将空类传入泛型类时编译不失败？

问题1：为何包含泛型类型使用的空类编译不会失败？ #

这其实和Java泛型的编译时检查逻辑以及类型擦除机制直接相关：

• Java的泛型检查核心是针对「泛型参数被实际使用的场景」——比如类里声明了T类型的字段，或者方法的参数/返回值用到T时，编译器才会校验类型的合法性。但如果是空类（比如class Empty<T> {}），类内部没有任何代码依赖泛型参数T，既没有用T定义成员，也没有写涉及T的方法逻辑，编译器根本没有需要校验的类型安全点，自然不会抛出编译错误。
• 类比一下：就像你声明了一个局部变量却从来没用到，编译器最多会给个警告（开启对应警告选项时），但绝不会阻止编译完成。泛型参数未被使用的空类也是同样逻辑，只要泛型参数的声明语法合法，Java编译器就允许它存在。

问题2：为何使用空类并将其传入泛型类时编译未失败？ #

当你把空类作为泛型参数传入另一个泛型类（比如List<Empty<String>>），或者直接实例化带类型参数的空类（比如Empty<Integer> empty = new Empty<>();）时，编译能通过的原因是：

• 编译器只会检查你传入的类型参数是否符合目标泛型的约束。如果空类本身没有指定泛型边界（比如没有<T extends Number>这类限制），那么任何引用类型都可以作为参数传入，完全符合语法规则。
• 空类内部没有任何使用泛型参数T的代码，所以即使你传入了某个具体类型，也不会出现「尝试调用T的方法但类型不兼容」「创建T实例但类型无法实例化」这类问题——没有实际的类型操作，就不会触发编译错误。

简单来说，Java泛型的编译检查是“按需触发”的，只有当泛型参数被实际用于类型相关操作时，编译器才会严格校验；空类既没有使用自身的泛型参数，作为泛型参数传入时也不会给目标泛型带来类型风险，所以编译自然能顺利通过。

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