Java泛型疑问：Y<? extends Serializable>声明为何合法

这问题初看确实有点绕，我给你拆解清楚核心逻辑：

首先得明确泛型约束的检查阶段：

• 泛型类Y<T extends X>里的<T extends X>，是约束创建Y的具体实例时，传入的T必须是X的子类（包括X本身）。
• 而声明Y<? extends Serializable>这种带通配符的变量时，编译器不会立刻去验证“有没有这样的T存在”，它只会判断这两个约束是否存在兼容的可能性。

你对通配符的理解有个小偏差 #

Y<? extends Serializable>的真实含义是：这个obj可以指向任何Y<T>的实例，其中T需要同时满足两个条件：

1. 符合Y的泛型要求：T extends X
2. 符合通配符的要求：T extends Serializable

换句话说，?是同时受双重约束的，不是你理解的“先满足T extends X再随便加Serializable”。

为什么X没实现Serializable也没关系？ #

编译器允许这个声明的关键是：存在同时满足两个约束的类型的可能性。比如我们完全可以定义这样一个类：

class Z extends X implements Serializable {}

这时候Y<Z>就是一个合法的实例，而且可以直接赋值给Y<? extends Serializable>。只要有这种可能性存在，编译器就不会阻止你做这个声明。

反过来举个反例，如果你写Y<? extends String>，这时候编译器会直接报错——因为String是final类，不可能有类同时继承X和String，两个约束完全互斥，这个声明就没有任何实际意义，所以编译器不允许。

总结一下 #

泛型变量声明的合法性，看的是通配符约束和类的泛型约束是否存在交集的可能，而不是看当前有没有现成的类满足。你的例子里，交集是存在的，所以声明合法。

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