JDK 1.5引入的新特性 -- 泛型

原创 2005年02月28日 09:00:00
 

1. 引言

JDK 1.5 中引入了新的语言成分, 泛型(Generics)是其中较为重要的一个.
简单的泛型(Defining Simple Generics)

以下代码摘自java.util包的List接口和Iterator接口的定义:

public interface List<E> {
  void add(E x);
  Iterator<E> iterator();
}
public interface Iterator<E> {
  E next();
  boolean hasNext();
}

类型参数

与尖括号有关的一些东西是JDK 5引入的新东西, 它们是List和Iterator接口的"形式的类型参数"(简称"类型形参")声明.
而在对泛型声明List进行调用时(例如: List<Integer>), 所有出现的类型形参(如
E)的地方, 都会被"实际的类型参数"(简称"类型实参", 如 Integer)所替换掉.

虽然与C++中的模板机制在形式上很想像, 但必需注意, Java中的泛型声明决不会在调用时被展成多份副本: 不论是在源码级, 二进制级, 还是在磁盘或内存中, 都不会被展开!

泛型声明只会也只需编译一次, 并生成一个类文件(class文件), 这一点跟普通的类或接口完全一样.

类型参数其实跟方法或构造器中所用的通常参数相类似. 一个方法中可以声明它用以处理的"形式的值参数", 相似地, 泛型声明也有其"形式的类型参数"; 当方法被调用时, 实际参数会替换形式参数, 然后执行方法体, 同样, 当泛型声明被调用时, 实际的类型参数会替换掉形式的类型参数.

关于命名约定的备注: 推荐使用精炼而简明(如, 单个字符)的方式为形式的类型参数命名. 最好避免使用小写字符, 以便与普通的类或接口的参数相区分开来. 许多宣传品类型使用 E 表示其元素的类型形参.


2. 泛类型与子类型化(Generics and Subtyping)

先看以下两行代码是否合法:
List<String> ls = new ArrayList<String>(); // 1
List<Object> lo = ls; // 2
第一行没问题, 关键在第二行代码, 大多数人会认为, "一个String的List自然更是一个Object的List", 因此, 第2行没问题.

好, 接着看以下代码:
lo.add(new Object()); // 3
String s = ls.get(0); // 4: 试图将一个Object赋给一个String!

可见, 通过别名lo, 我们能对ls, 一个String的列表, 进行数据操作(特别是插入一个Object), 从而导致ls不仅仅是容纳了String对象! 这是Java编译器不容许的! 编译时, 第2行会报告一个编译错误的.

通常, 若Foo是Bar的一个子类型(子类或子接口), G是某个泛型声明, 则G<Foo>并不是G<Bar>的一个子类型.

这一点往往是最难以理解的, 因为它和通常的直观相左. 在直观的理解中, 我们实际上假定了集合是不会变动的, 但java语言中则非如此.


3. 通配(Wildcards)

假定要输出一个集合中的所有元素. 以下分别是旧版本及新版本(JDK 1.5)中的写法:

void printCollection(Collection c) {
  Iterator i = c.iterator();
  for( k = 0; k < c.size(); k++) {
    System.out.println( i.next() );
}}

void printCollection(Collection<Object> c) {
  for(Object e : c) {
    System.out.println(e);
}}

问题在于, 新版本反而不如旧版本更有用些. 因为旧版本能使用各种类型的集合作为参数, 但新版本则只能使用Collection<Object>. 而正如上节看到的, Collection<Object>并不是其它各种集合的超类型(父类型).

所有集合的超类型应该写作: Collection<?>, 读作: collection of unknown(未知集合), 即一个集合, 其元素类型可以与任何类型相匹配. 因此称这种类型为"通配类型".

正确实现上述旧版本的代码可以这么写:
void printCollection(Collection<?> c) {
  for(Object e : c) {
    System.out.println(e);
}}

这时, 可以用任意类型的集合来调用此方法. 注意在方法体中, 仍然从 c 中读入元素并赋给了Object, 这是没有错误的, 因此不论类型实参是何种集合, 它的元素都是object. 然而, 如果任意给它增加一个object则是不安全的:

Collection<?> c = new ArrayList<String>();
c.add(new Object()); // 编译时的错误

由于我们不知道c的元素类型是什么, 所以不能给它增加一个object. 方法add()接受一个类型E的参数, 而E与集合的元素类型相同. 当类型实参是?时, 它表示"未知的类型", 我们传递给add的参数必须是这个"未知类型"的子类型. 不幸的是, 既然类型未知, 也就无法决定其子类型, 于是什么也不能作为其参数. 唯一的例外是null, 因为null是所有类型的一个成员.

另一方面, 如果给了一个List<?>, 我们可以调用get()方法并使用其返回的元素. 虽然返回的元素类型是"未知类型", 但它总归是一个object, 因此将get()返回的元素赋给一个Object类型的变量, 或将其传递给一个可接受Object的参数都是安全的.

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

体验泛型(JDK1.5新特性)

体验泛型(JDK1.5新特性)·JDK 1.5以前的集合类中存在什么问题?   ArrayList collection = new ArrayList();   collection.add(1);...

黑马程序员_泛型等其他JDK1.5新特性

-----------android培训、java培训、期待与您交流! ------------   泛型  通过引入泛型,将获得编译时类型的安全和运行时更小地抛出ClassCastExcep...

——JDK1.5新特性之泛型

泛型:     JDK1.5版本以后出现的新特性,用于解决安全问题,是一个安全机制。     好处: 1,将运行期,出现的问题ClassCastException,转移到了编译时期。   方便与程...

25、jdk1.5新特性之泛型

jdk5.0(jdk1.5)中出现的新特性有: 泛型(Generics)、增强的“for”循环(Enhanced For Loop)、自动装箱/自动拆箱(Autoboxing/unboxing)、类...

Java基础18--泛型--工具类--JDK1.5新特性

18-1,泛型-概述 1,泛型是JDK1.5出现的新技术,新技术的出现是为了解决问题。 2,泛型可以用于明确一个集合中存储什么类型的元素 ArrayList al = new ArrayList();...

黑马程序员-jdk1.5新特性--泛型

jdk1.5以前的集合类中存在的问题ArrayList collection=new ArrayList();collection.add(1);collection.add(1L);collecti...

泛型(JDK1.5新特性)(四)

-------android培训、java培训、期待与您交流! ---------- ------------------------------------------入门-----------...

Java 基础加强 - JDK1.5 新特性 - 泛型

JDK 1.5 新特性Java泛型 一. 什么叫泛型? 泛型就是一种类型限定,是一种类型操作安全机制,解决在运行期间发生的ClassCastException异常,将类型异常转换到了编译期间,让程序员...

java JDK1.5新特性(二) [注解] [泛型]

------- android培训、java培训、期待与您交流!  ---------- 一 注解 注解类常见注解注解的生命期通过反射获得注解 二     泛型Generics 泛型的好...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)