ITEEDU

限制泛型可用类型

在定义泛型类别时,预设您可以使用任何的型态来实例化泛型类别中的型态持有者,但假设您想要限制使用泛型类别时,只能用某个特定型态或其子类别才能实例化型态持有者的话呢?

您可以在定义型态持有者时,一并使用"extends"指定这个型态持有者必须是扩充某个类型,举个实例来说:

ListGenericFoo.java
import java.util.List;
public class ListGenericFoo<T extends List> {
	private T[] fooArray;
	public void setFooArray(T[] fooArray) {
		this.fooArray = fooArray;
	}
	public T[] getFooArray() {
		return fooArray;
	}
}

ListGenericFoo在宣告类型持有者时,一并指定这个持有者必须扩充自List接口(interface),在限定持有者时,无论是要限定的对 象是接口或类别,都是使用"extends"关键词。

您使用"extends"限定型态持有者必须是实作List的类别或其子类别,例如LinkedList与ArrayList,下面的程序是合法的:

ListGenericFoo<LinkedList> foo1 =new ListGenericFoo<LinkedList>();
ListGenericFoo<ArrayList> foo2 =new ListGenericFoo<ArrayList>();

但是如果不是List的类别或是其子类别,就会发生编译错误,例如下面的程序通不过编译:

ListGenericFoo<HashMap> foo3 =new ListGenericFoo<HashMap>();

编译器会回报以下错误讯息:

type parameter java.util.HashMap is not within its bound
ListGenericFoo<HashMap> foo3 = new ListGenericFoo<HashMap>();

HashMap并没有实作List界面,所以无法用来实例化型态持有者,事实上,当您没有使用extends关键词限定型态持有者时,预设则是Object下的所有子类别都可以实例化型态持有者,即只写<T>时就相当于<T extends Object>。