在 Java 的泛型类型中使用通配符

最新推荐文章于 2021-02-24 01:28:38 发布

gaoguoxin2

最新推荐文章于 2021-02-24 01:28:38 发布

阅读量527

点赞数

分类专栏：转载篇

转载篇专栏收录该内容

253 篇文章

订阅专栏

本文介绍了Java泛型机制中的通配符使用方法，包括无界通配符、上界通配符和下界通配符，并通过示例代码详细解释了如何使用这些通配符来提高代码的灵活性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

http://my.oschina.net/heguangdong/blog/14487

在 Java 的泛型类型中使用通配符

Java 从版本5起开始引入泛型（generics）机制。我们知道，Java 的泛型类型如同 java.lang.String，java.io.File 一样，属于普通的 Java 类型。比方说，下面两个变量的类型就是互不相同的：

List<Object> listObj = new ArrayList<Object>();
List<String> listStr = new ArrayList<String>();

虽然 String 是 Object 的子类，但是 List<String> 和 List<Object> 之间并没有什么关系——List<String> 不是 List<Object> 的子类或者子类型。在下面的代码中，我们会看到将具有 List<Object> 类型的变量赋给期望 List<Object> 类型参数的方法的话，编译器在编译期将会报告一个编译错误。

import java.util.ArrayList;
import java.util.List;

public class GenericsTypeTest {
public static void testMtd(List<Object> l) {
    }

    public static void main(String[] args) {
        List<String> testList = new ArrayList<String>;
        // above line will cause a compile error
        testMtd(testList);
    }
}

如果我们希望 testMtd 能够接受任意泛型类型的参数，那么我们应该使用 ? 通配符来满足这个要求。List<?> 任意类型的对象的数组这么一个泛型的类型。我们可以把以上代码改成：

public static void testMtd(List<?> l) {
}

但是这种情况下，testMtd 的参数可以接受类型可能对于程序员设计的意图而言太广泛了一点。因为我们可能只是希望 testMtd 可以接受 AbstractList 及其子类的类型的变量，而不接受 AbstractSet 甚至 Random、Locale 等类型的变量。我们要对通配符有所限制。幸运的是，Java 5 的泛型机制已经考虑到了这一点，我们可以使用边界通配符（bounded wildcard）形式来满足这个要求。我们将 testMtd 再修改一下：

Public static void testMtd(List<? Extends AbstractList>) {
}

这样，List<AbstractList>、List<LinkedList> 等等类型的变量就可以传给 testMtd 方法，而储存其他类型元素的 List 的泛型类型变量传给 testMtd 方法将是非法的。除了上边界通配符（upper bounded wildcard）以外，我们还可以使用下边界通配符（lower bounded wildcard），例如 List<? super AbstractList>。

最后总结一下使用通配符的泛型类型的三种形式：

GenericType<?>
GenericType<? extends upperBoundType>
GenericType<? super lowerBoundType>