JAVA8 官网笔记教程

# 泛型类型

泛型类型是通过类型参数化的泛型类或接口。下面的 Box 类将被修改来演示这个概念。

# 一个简单的 Box 类

public class Box {
    private Object object;

    public void set(Object object) { this.object = object; }
    public Object get() { return object; }
}
1
2
3
4
5
6

由于它的方法接受或返回一个 Object，你可以自由地传入任何你想要的，只要它不是原始类型之一。 没有办法在编译时验证类是如何使用的。代码的一部分可能会在整个框中放置一个 Integer，并希望从中取出 Integer， 而另一部分代码可能会错误地传递一个 String，导致运行时错误。

# Box 类的通用版本

一个泛型类的定义格式如下：

class name<T1, T2, ..., Tn> { /* ... */ }
1

由尖括号（<>）分隔的类型参数部分在类名后面。它指定了类型参数（也称为类型变量）T1，T2，...，和Tn。

要更新 Box 类以使用泛型，可以通过将代码 public class Box 更改为 public class Box <T> 来创建泛型类型声明。 这引入了类型变量 T，可以在类中的任何地方使用。

随着这个变化，Box 类变成：

/**
 * Generic version of the Box class.
 * @param <T> the type of the value being boxed
 */
public class Box<T> {
    // T stands for "Type"
    private T t;

    public void set(T t) { this.t = t; }
    public T get() { return t; }
}
1
2
3
4
5
6
7
8
9
10
11

正如你所看到的，所有出现的 Object 被 T 代替。类型变量可以是您指定的任何非基本类型：任何类类型，任何接口类型，任何数组类型或甚至另一个类型变量。

这种相同的技术可以应用于创建通用接口。

# 输入参数命名约定

按照惯例，类型参数名称是单个大写字母。这与你已经知道的变量命名约定形成了鲜明的对比 ，并且有很好的理由：没有这个约定，很难区分类型变量和普通类或接口名称。

最常用的类型参数名称是：

  • E - 元素（由 Java 集合框架广泛使用）
  • K - Key
  • N - Number
  • T - Type
  • V - Value
  • S,U,V etc. - 2nd, 3rd, 4th types

您将在整个 Java SE API 和本课的其余部分中看到这些名称。

# 调用和实例化一个泛型类型

要从代码中引用通用 Box 类，必须执行泛型类型调用，它用一些具体的值替换 T，例如 Integer：

Box<Integer> integerBox;
1

您可以将泛型类型调用看作与普通的方法调用类似，但不是将方法的参数传递给方法，而是将 类型参数（本例中为整数）传递给 Box 类本身。

TIP

Type Parameter 和 Type Argument ：泛型的类型是 Type Argument

为了实例化这个类，像往常一样使用 new 关键字，但在类名和括号之间放置 <Integer>：

Box<Integer> integerBox = new Box<>();
1

# The Diamond (钻石？)

在 Java SE 7 和更高版本中，只要编译器可以根据上下文确定或推断类型参数，就可以用一组空类型参数（<>）替换调用泛型类的构造函数所需的类型参数。 这一对尖括号，<>，非正式地称为钻石。例如，您可以使用以下语句创建 Box <Integer> 的实例：

Box <Integer> integerBox = new Box <>（）;
1

有关菱形表示法和类型推断的更多信息，请参阅 类型推断。

# 多种类型参数

如前所述，泛型类可以有多个类型参数。例如，通用的 OrderedPair 类，它实现了通用的 Pair 接口：

public interface Pair<K, V> {
    public K getKey();
    public V getValue();
}

public class OrderedPair<K, V> implements Pair<K, V> {

    private K key;
    private V value;

    public OrderedPair(K key, V value) {
    	this.key = key;
    	this.value = value;
    }

    public K getKey()	{ return key; }
    public V getValue() { return value; }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

以下语句创建 OrderedPair 类的两个实例：

Pair<String, Integer> p1 = new OrderedPair<String, Integer>("Even", 8);
Pair<String, String>  p2 = new OrderedPair<String, String>("hello", "world");
1
2

# 参数化类型

您也可以用参数化类型（即 List <String>）替换类型参数（即 K 或 V ）。例如，使用 OrderedPair <K，V> 示例：

OrderedPair <String，Box <Integer>> p = new OrderedPair <>（“primes”，new Box <Integer>（...））;
1

← 原始类型 →