//使用泛型的优点
/**
使用泛型的主要优点是能够在编译时而不是运行时检测出错误。泛型类或方法允许用户指定可以
和这些类或方法一起工作的对象类型和一个包含数字的栈对象*/
/*防止不能一起工作的数据类型进行工作*/
//泛型的使用 ClassName<T> e = new ClassName<T>();如:
ArrayList<String> list = new ArrayList<String>();
1.定义泛型类和接口<code>
public class ClassName <E> {
public ClassName() {
//构造方法
}
}
</code>
public interface InterfaceName <E> {
}
2.定义泛型方法
a.基本
public <E> returnVar method(E e) {
//传递参数类型必须合法才不会发生编译错误
}
使用
E e;
ClassName<E>.method(e) 来调用;
b.受限的泛型类型,将泛型指定为另一种类型的子类型
public <E extends fatherClass> returnVar method(E o1, E o2) {
//此时,只有当参数的传递类型为fatherClass 的子类,才不会发生编译错误
}
说明:
非受限类型<E> 与 <E extends Object> 是一样的
3.其他
(1)原始类型和向后兼容
a.可以使用泛型类而无需指定具体类型
ClassName e = new ClassName();
等价于
ClassName <Object> = new ClassName<Object>();
原始参数(raw type):不使用类型参数的泛型类
如:max(Comparable o1, Comparable o2) {
}
在Java的早期版本中,允许使用原始类型向后兼容(backward compatibility)
原始类型是不安全的,所以可以将上面的max函数改为
public <E extends Comparable> returnVar max(E o1, E o2) {
//这样的话,要调用max(),则需要 o1 与 o2 同为一种类型才不会发生编译错误
}
(2)通配泛型
a.原因
例如有如下类
public class ClassName {
public static void main(String[] args) {
ClassName1<Integer> e = new ClassName1<Integer>();
method(e);//这里会出现编译错误
}
public static returnVar method(ClassName1<Number> e) {
}
}
b.使用
在调用method(e)时,此时会出现编译错误,原因是:尽管Integer是Number的子类型,但
ClassName1<Integer> 不是ClassName1<Number>的子类。为了避免这个问题,可以使用
通配泛型。有三种形式
<?>
<? extends T>
<? super T>
可修改上面程序的错误
public static returnVar method(ClassName1<? extends Number> e) {
}
<?> 为 <? extends Object> 的缩写
<? super T> 表示类型T 或者 T的父类型
(3)消除泛型和对泛型的限制
泛型是使用一种称为类型消除(type erasure)的方法实现的。编译器使用泛型类型信息
来编译代码,但是随后会消除它。
泛型存在于编译时,一旦编译器确认泛型类型安全使用的,就会将它转换为原始类型。
限制
1.不能使用 E e = new E(); 因为运行时泛型类型E是不可用的
2.不能使用 泛型参数创建数组
E[] e = new E[capacity]
可以这样规避
E[] e = (E[] ) new Object[capacity]
说明:会导致一个免疫的编译警告,因为不能保证在运行过程中类型转换能够成功。
不能使用 泛型类创建数组
ArrayList<String>[] list = new ArrayList<String>[10];
规避
ArrayList<String>[] list = new (ArrayList[String]) new Object[10];
同理 也会导致一个编译警告
3.在静态环境下不允许类的参数是泛型类型
public class ClassName<E> {
public static void m(E o1) {
//illegal
}
public static E o1;//illegal
static {
E o2;//illegal
}
}
4.异常类不能是泛型的
public class MyException<T> extends Exception {
/*
try {
}
catch (MyException ex){
}
*/
}
/**
使用泛型的主要优点是能够在编译时而不是运行时检测出错误。泛型类或方法允许用户指定可以
和这些类或方法一起工作的对象类型和一个包含数字的栈对象*/
/*防止不能一起工作的数据类型进行工作*/
//泛型的使用 ClassName<T> e = new ClassName<T>();如:
ArrayList<String> list = new ArrayList<String>();
1.定义泛型类和接口<code>
public class ClassName <E> {
public ClassName() {
//构造方法
}
}
</code>
public interface InterfaceName <E> {
}
2.定义泛型方法
a.基本
public <E> returnVar method(E e) {
//传递参数类型必须合法才不会发生编译错误
}
使用
E e;
ClassName<E>.method(e) 来调用;
b.受限的泛型类型,将泛型指定为另一种类型的子类型
public <E extends fatherClass> returnVar method(E o1, E o2) {
//此时,只有当参数的传递类型为fatherClass 的子类,才不会发生编译错误
}
说明:
非受限类型<E> 与 <E extends Object> 是一样的
3.其他
(1)原始类型和向后兼容
a.可以使用泛型类而无需指定具体类型
ClassName e = new ClassName();
等价于
ClassName <Object> = new ClassName<Object>();
原始参数(raw type):不使用类型参数的泛型类
如:max(Comparable o1, Comparable o2) {
}
在Java的早期版本中,允许使用原始类型向后兼容(backward compatibility)
原始类型是不安全的,所以可以将上面的max函数改为
public <E extends Comparable> returnVar max(E o1, E o2) {
//这样的话,要调用max(),则需要 o1 与 o2 同为一种类型才不会发生编译错误
}
(2)通配泛型
a.原因
例如有如下类
public class ClassName {
public static void main(String[] args) {
ClassName1<Integer> e = new ClassName1<Integer>();
method(e);//这里会出现编译错误
}
public static returnVar method(ClassName1<Number> e) {
}
}
b.使用
在调用method(e)时,此时会出现编译错误,原因是:尽管Integer是Number的子类型,但
ClassName1<Integer> 不是ClassName1<Number>的子类。为了避免这个问题,可以使用
通配泛型。有三种形式
<?>
<? extends T>
<? super T>
可修改上面程序的错误
public static returnVar method(ClassName1<? extends Number> e) {
}
<?> 为 <? extends Object> 的缩写
<? super T> 表示类型T 或者 T的父类型
(3)消除泛型和对泛型的限制
泛型是使用一种称为类型消除(type erasure)的方法实现的。编译器使用泛型类型信息
来编译代码,但是随后会消除它。
泛型存在于编译时,一旦编译器确认泛型类型安全使用的,就会将它转换为原始类型。
限制
1.不能使用 E e = new E(); 因为运行时泛型类型E是不可用的
2.不能使用 泛型参数创建数组
E[] e = new E[capacity]
可以这样规避
E[] e = (E[] ) new Object[capacity]
说明:会导致一个免疫的编译警告,因为不能保证在运行过程中类型转换能够成功。
不能使用 泛型类创建数组
ArrayList<String>[] list = new ArrayList<String>[10];
规避
ArrayList<String>[] list = new (ArrayList[String]) new Object[10];
同理 也会导致一个编译警告
3.在静态环境下不允许类的参数是泛型类型
public class ClassName<E> {
public static void m(E o1) {
//illegal
}
public static E o1;//illegal
static {
E o2;//illegal
}
}
4.异常类不能是泛型的
public class MyException<T> extends Exception {
/*
try {
}
catch (MyException ex){
}
*/
}