站内搜索: 请输入搜索关键词

当前页面: 开发资料首页Eclipse 专题在Eclipse 3.1体验J2SE 5.0新特性八(图)

在Eclipse 3.1体验J2SE 5.0新特性八(图)

摘要: 在Eclipse 3.1体验J2SE 5.0新特性八(图)
<table cellSpacing=0 cellPadding=0 border=0 class="zh114" align="right"> <tr> <td > </td> </tr> </table>
  
 

  
图3.3.2 破坏类型安全引起的错误

  
  3.3.3 二义性错误
  
  GenMap在声明是使用了2个类型参数T和V, 因此在创建GenMap的对象的时候也需要提供2个具体的类类型来替代这2个类型参数, 例如:
  
  清单9, 多个参数的范型类
  
  GenMap gm = new GenMap();
  GenMap gm2 = new GenMap();
  
  上例中,T和V虽然看起来是两个不同的类型参数,但是在使用这个范型类的时候, T和V很有可能被替换成同一种类型。因此在声明多个类型参数的范型类时, 要注意避免这种二义性错误,例如:
  
  清单10,二义性错误
  
  public class GenMap {
  //编译错误, 二义性错误
  public void set(T t){}
  public void set(V v){}
  }
  
  在上面这段代码,如果T和V被替换成同一种类型,set函数的签名(signature)就是完全一样的, 所以编译器会报告二义性错误。正确的用法是声明2个不同名的方法, 例如:
  
  清单10, 二义性错误
  
  public class GenMap {
  public void setKey(T t){}
  public void setValue(V v){}
  }
  
  

  
图3.3.3 二义性错误

  
  3.3.4 使用通配符
  
  前面我们创建了范型的列表,如果我需要一个方法来处理范型列表,例如, 我们希望把列表中的每个元素都打印出来,但是类型参数(type parameter)只能使用在声明一个范型类的时候,如果类型参数使用在函数定义里会导致编译错误
  
  public static void print(GenList list){}//编译错误
  
  在这种情况下, 我们需要用另外一种方法来表示一个范型类, 否则, 就可能需要书写多个print函数
  
  public static void print(GenList list){}
  public static void print(GenList list){}
  …
  public static void print(GenList list){}
  
  J2SE 5.0中提供了范型的通配符"?","?"可以用来代替任何类型, 例如使用通配符来实现print方法
  
  public static void print(GenList list) {}
  
  3.4. 范型的一些局限型
  
  (1) 类型参数不能实例化, 例如,
  
  T t= new T();  //编译错误
  
  (2) 不能实例化类型参数的数组
  
  T[] ts= new T[10];  //编译错误
  
  (3) 类的静态变量不能声明为类型参数类型
  
  public class GenClass {
  private static T t;  //编译错误
  }
  
  (4) 范型类不能继承自Throwable以及其子类
  
  public GenExpection extends Exception{}  //编译错误
  
  3.5.范型小结
  
  范型是J2SE 5.0所提供的一项强大的功能, 使用范型可以创建类型安全的、可重用的代码, 虽然目前Java的范型还无法和C++的范型相提并论, 但是, 随着Java语言本事的演进, 范型会在Java语言中发挥更大的作用的。

<table width="96%"> <tr> <td background="http:///images/dian.gif" height="3"></td> </tr> </table>

↑返回目录
前一篇: Eclipse 3.1中用注释单元测试框架(图)
后一篇: 在Eclipse 3.1体验J2SE 5.0新特性七(图)