在 Java 泛型中,<? extends Object> 和 <?> 都表示未知类型,但它们在某些情况下有细微的差异。泛型的引入是为了消除运行时错误并增强类型安全性,使代码更具可读性和可维护性。
在 JDK 5 中引入了泛型,以消除编译时错误并加强类型安全性。这种额外的类型安全性消除了某些用例中的强制转换,并使程序员能够编写泛型算法,从而生成更具可读性的代码
通配符的使用
通配符在泛型中用来表示未知类型。它可以有三种形式:
-
无界通配符:List<?> 表示未知类型的列表。
-
上界通配符:List<? extends Number> 表示 Number 或其子类型(如 Integer 和 Double)的列表。
-
下界通配符:List<? super Integer> 表示 Integer 或其超类型 Number 和 Object 的列表。
<?> 和 <? extends Object> 的相同之处
在大多数情况下,<?> 和 <? extends Object> 是相同的。例如,以下两个方法的行为是相同的:
java
public static void printListWildCard(List<?> list) {
for (Object element : list) {
System.out.print(element + " ");
}
}
public static void printListWildCard(List<? extends Object> list) {
for (Object element : list) {
System.out.print(element + " ");
}
}
这两个方法都可以处理 List。
<?> 和 <? extends Object> 的不同之处
虽然在大多数情况下它们是相同的,但在某些情况下它们有细微的差异。一个显著的区别是 <?> 是可重构的,而 <? extends Object> 不是
例如:
java
List<?> someList = new ArrayList<>();
boolean instanceTest = someList instanceof List<?>;
上述代码可以编译并且 instanceTest 为 true。但是,如果使用 <? extends Object>:
java
List<? extends Object> anotherList = new ArrayList<>();
boolean instanceTest = anotherList instanceof List<? extends Object>;
上述代码将无法编译。
虽然 <?> 和 <? extends Object> 在大多数情况下是相同的,但在可重构性方面存在细微差异。