创建泛型和泛型方法
创建一个简单的泛型是非常轻易的。首先,在一对尖括号(< )中声明类型变量,以逗号间隔变量名列表。在类的实例变量和方法中,可以在任何类型的地方使用那些类型变量。切记,类型变量仅在编译时存在,所以不能使用instanceof和new这类运行时操作符来操作类型变量。
让我们以一个简单的例子来开始这部分的学习,而后将精简这个例子。这段代码定义了一个树形数据结构,使用类型变量V代表存储在各个树结点中的值。
import Java.util.*;/** * A tree is a data strUCture that holds values of type V. * Each tree has a single value of type V and can have any number of * branches, each of which is itself a Tree. */public class Tree<V {// The value of the tree is of type V.V value;// A Tree<V can have branches, each of which is also a Tree<VList<Tree<V
branches = new ArrayList<Tree<V();// Here's the constructor.Note the use of the type variable V.public Tree(V value) { this.value = value; }
// These are instance methods for manipulating the node value and branches.
// Note the use of the type variable V in the arguments or return types.
V getValue() { return value; }
void setValue(V value) { this.value = value; }
int getNumBranches() { return branches.size(); }
Tree<V getBranch(int n) { return branches.get(n); }
void addBranch(Tree<V
branch) { branches.add(branch); }}
正如你所看到的,命名一个类型变量习惯于一个大写字母。使用一个字母可以同现实中那些具有描述性的,长的实际变量名有所区别。使用大写字母要同变量命名规则一致,并且要区别于局部变量,方法参数,成员变量,而这些变量经常使用一个小写字母。集合类中,比如java.util中经常使用类型变量E代表“Element type”。T和S经常用来表示范型变量名(似乎使用i和j作为循环变量一样)。
注重到,当一个变量被声明为泛型时,只能被实例变量和方法调用(还有内嵌类型)而不能被静态变量和方法调用。原因很简单,参数化的泛型是一些实例。静态成员是被类的实例和参数化的类所共享的,所以静态成员不应该有类型参数和他们关联。方法,包括静态方法,可以声明和使用他们自己的类型参数,但是,调用这样一个方法,可以被不同地参数化。这些内容将在本章后面谈到。
类型变量绑定
上面例子中的Tree<V中的类型变量V是不受约束的:Tree可以被参数化为任何类型。以前我们经常会设置一些约束条件在需要使用的类型上:也许我们需要强制一个类型参数实现一个或多个接口,或是一个特定类的子类。这可以通过指明类型绑定来完成。我们已经看到了统配符的上界,而且使用简单的语法可以指定一般类型变量的上界。后面的代码,还是使用Tree这个例子,并且通过实现Serializable和Comparable来重写。为了做到这点,例子中使用类型变量绑定来确保值类型的Serializable和Comparable。
import java.io.Serializable;import java.util.*;public class Tree<V extends Serializable & Comparable<V
implements Serializable, Comparable<Tree<V{
V value;
List<Tree<V
branches = new ArrayList<Tree<V();
public Tree(V value) { this.value = value; }
// Instance methodsV getValue() { return value; }
void setValue(V value) { this.value = value; }
int getNumBranches() { return branches.size(); }
Tree<V getBranch(int n) { return branches.get(n); }
void addBranch(Tree<V
branch) { branches.add(branch); }
// This method is a nonrecursive implementation of Comparable<Tree<V
// It only compares the value of this node and ignores branches.
public int compareTo(Tree<V that) {
if (this.value == null && that.value == null) return 0;
if (this.value == null) return -1;
if (that.value == null) return 1;
return this.value.compareTo(that.value);
}
// javac -Xlint warns us if we omit this field in a Serializable class
private static final long serialVersionUID = 833546143621133467L;}
一个类型变量的绑定是通过extends后的名字和一个类型列表(这可以是参数化的,就像Comparable一样)表达的。