网站建设资讯

NEWS

网站建设资讯

详解java中泛型中的类型擦除和桥方法

在Java中,泛型的引入是为了在编译时提供强类型检查和支持泛型编程。为了实现泛型,Java编译器应用类型擦除实现:

目前创新互联已为近1000家的企业提供了网站建设、域名、网络空间、网站托管运营、企业网站设计、天水网站维护等服务,公司将坚持客户导向、应用为本的策略,正道将秉承"和谐、参与、激情"的文化,与客户和合作伙伴齐心协力一起成长,共同发展。

       1、  用类型参数(type parameters)的限定(如果没有就用Object)替换泛型类型中的所有类型参数。

       2、  需要保持类型安全的时候插入类型转换(隐含插入)

       3、  在extened 泛型类型中生成桥方法来保证多态性

   类型擦除确保不会为已参数化了的类型(paramterized types)产生新类,这样泛型能保证没有运行时的负载。

泛型类型擦除

      在类型擦除过程中,java编译器擦除所有类型参数,用它的限定或者Object(没限定时)替换。

     考虑下面的泛型类:

public class Node { 
 
 private T data; 
 private Node next; 
 
 public Node(T data, Node next) } 
  this.data = data; 
  this.next = next; 
 } 
 
 public T getData() { return data; } 
 // ... 
} 

因为类型参数T是非限定的,Java编译器使用Object替换它:

public class Node { 
 
 private Object data; 
 private Node next; 
 
 public Node(Object data, Node next) { 
  this.data = data; 
  this.next = next; 
 } 
 
 public Object getData() { return data; } 
 // ... 
} 

下面的例子,泛型Node类使用了限定类型参数:

public class Node> { 
 
 private T data; 
 private Node next; 
 
 public Node(T data, Node next) { 
  this.data = data; 
  this.next = next; 
 } 
 
 public T getData() { return data; } 
 // ... 

编译器会使用第一个限定类,Comparable替换限定参数类型T:

public class Node { 
 
 private Comparable data; 
 private Node next; 
 
 public Node(Comparable data, Node next) { 
  this.data = data; 
  this.next = next; 
 } 
 
 public Comparable getData() { return data; } 
 // ... 
} 

同样,泛型方法也可以擦除。规则类似,不细说。

类型擦除的影响和桥方法

有时候类型擦除会引起无法预知的情况。比如:

给定以下两个类:

public class Node { 
 
 public T data; 
 
 public Node(T data) { this.data = data; } 
 
 public void setData(T data) { 
  System.out.println("Node.setData"); 
  this.data = data; 
 } 
} 
 
public class MyNode extends Node { 
 public MyNode(Integer data) { super(data); } 
 
 public void setData(Integer data) { 
  System.out.println("MyNode.setData"); 
  super.setData(data); 
 } 
} 

考虑以下代码:

MyNode mn = new MyNode(5); 
Node n = mn;   // 原生类型 – 编译器会给出未检查警告 
n.setData("Hello");  
Integer x = mn.data; // 会引发抛出ClassCastException 

 类型擦除后,代码变成:

MyNode mn = new MyNode(5); 
Node n = (MyNode)mn;   //原生类型 – 编译器会给出未检查警告 
n.setData("Hello"); 
Integer x = (String)mn.data; //会引发抛出ClassCastException 
public class Node { 
 
 public Object data; 
 
 public Node(Object data) { this.data = data; } 
 
 public void setData(Object data) { 
  System.out.println("Node.setData"); 
  this.data = data; 
 } 
} 
 
public class MyNode extends Node { 
 
 public MyNode(Integer data) { super(data); } 
 
 public void setData(Integer data) { 
  System.out.println("MyNode.setData"); 
  super.setData(data); 
 } 
} 

类型擦除后,方法的签名已经不匹配。Node 方法变成setData(Object),MyNode方法变成setData(Integer)。MyNode setData方法已经不是覆盖Node setData方法。

为了解决这个问题,维持泛型类型的多态性,java编译器会生成一个桥方法:

class MyNode extends Node { 
 
 // 编译器生成的桥方法 
 // 
 public void setData(Object data) { 
  setData((Integer) data); 
 } 
 
 public void setData(Integer data) { 
  System.out.println("MyNode.setData"); 
  super.setData(data); 
 } 
 
 // ... 

感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!


文章题目:详解java中泛型中的类型擦除和桥方法
文章位置:http://cdweb.net/article/gdjdde.html