本文将介绍JSE 中三个比较重要的特性枚举类型注释类型范型 并在此基础上介绍在如何在Eclipse 开发环境中开发枚举类型 注释类型和范型应用
JSE (Tiger)的发布是Java语言发展史上的一个重要的里程碑是迄今为止在 Java 编程方面所取得的最大进步
JSE 提供了很多令人激动的特性这些特性包括范型(generics)的支持 枚举类型(enumeration)的支持 元数据(metadata)的支持 自动拆箱(unboxing)/装箱(autoboxing) 可变个数参数(varargs) 静态导入(static imports) 以及新的线程架构(Thread framework)
随着JSE 的推出 越来越多的集成开发环境(IDE)支持JSE 的开发 着名的开源Java IDE Eclipse从M开始支持JSE 的开发 目前最新的版本是RC
本系列将介绍JSE 中三个比较重要的特性 枚举类型注释类型范型 并在此基础上介绍在如何在Eclipse 开发环境中开发枚举类型 注释类型和范型应用本文将介绍范型
范型
范型(Generics)简介
JSE 中的最显着的变化之一是添加对泛型类型的支持在JSE 以及之前的版本中 Java程序并不是类型安全的例如 Collection framework中定义的List Map等容器类的元素都是Object类型即这个类包含的元素是Object对象 使用这种方式实现的列表可以用来操作整数实数 字符串或者任何对象类型例如
清单 类型不安全的代码示例
List stringList = new ArrayList();
stringListadd(abcde);
String str = (String)stringListget();
这种方法实现的列表需要使用强制类型转换(又称显示造型)因此不是类型安全的 在上面这段代码种虽然变量名为stringList 但是我们仍然可以把一个整型对象添加到这个队列中例如
清单 类型不安全的代码示例
stringListadd(new Integer());
在这种情况下 从字符列表中获取对象时 强制类型转换就会导致运行时异常
清单 类型不安全的代码示例
String str = (String)stringListget(); //runtime exception
范型是Java迈向类型安全的一个重要步骤使用范型可以构造出类型安全的代码
声明范型
所谓范型是指类型参数化(parameterized types)Java是一种强类型的语言在JSE 以及以前的版本中我们在定义一个Java类接口或者方法的时候必须指定变量的类型
在声明范型类接口或者函数时定义变量的时候不指定某些变量的具体类型 而是用一个类型参数代替在使用这个类接口或者方法的时候 这个类型参数由一个具体类型所代替
范型类
下面的例子中介绍了如何创建一个最简单范型类
清单 最简单的范型类
public class GenSample {}
类名后面带有表明了这个类是范型类其中T被成为类型参数(type parameter) 在使用范型的时候类型参数可以被替换为任何的类类型但是不能是原始类型(primitive type)例如intdouble
下面通过一个列表的例子来具体说明如果声明范型类和类型参数的用法
清单 范型列表
public class GenList {
private T[] elements;
private int size = ;
private int length = ;
public GenList(int size) {
elements = (T[])new Object[size];
thissize = size;
}
public T get(int i) {
if (i < length) {
return elements[i];
}
return null;
}
public void add(T e) {
if (length < size )
elements[length++] = e;
}
}
在列表的例子中类型参数T被用来表示列表中的元素的类型即这个列表中的元素是T类型的在使用这个列表时 这个类型参数T会被具体的类型所替代
注意由于T时类型参数不是具体的类所以不能使用new操作符创建T的对象例如new T() 或者new T[]
范型接口
在JSE 中不仅仅可以声明范型类也可以声明范型接口 声明范型接口和声明范型类的语法类似也是在接口命称后面加上例如清单范型接口
public interface GenInterface {
void func(T t);
}
声明多个类型参数的范型类或者接口清
在声明范型类的时候 可是使用多个类型参数多个类型参数之间用逗号分开 例如
清单 多个类型参数的范型类
public class GenMap {}
Eclipse 的类创建向导支持创建范型类 如下图所示
