2015-04-12 67 views
0

Java tutorial on type erasure似乎沒有詳細說明編譯器強制插入的具體規則。有人可以請解釋造成的教程詳細介紹了改造的具體規則(轉載如下):Java類型擦除:投入規則?

public class Node<T> { 
    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<Integer> { 
    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 = (MyNode)mn;   // A raw type - compiler throws an unchecked warning 
n.setData("Hello"); 
Integer x = (String)mn.data; // Causes a ClassCastException to be thrown. 

具體來說,我想知道什麼規則造成的(MyNode)(String)插入。什麼時候插入演員,以及演員選擇的類型如何?

+0

編譯器不會插入強制轉換。作爲程序員,如果需要,你應該插入強制轉換,編譯器會檢查它們是否正確。 –

+1

這不是事實,它會在幕後添加劇組。 – Crazyjavahacking

回答

0
  1. MyNode mn = new MyNode(5);

    • 將創建的MyNode一個實例,其作爲Integer
    • 鑄造接口Node的定義一般類型T:沒有由顯影劑鑄造必要,沒有強制轉換由編譯器
    • 加入
  2. Node n = (MyNode)mn;

    • 這將基本上告訴編譯器忘了泛型類型T和使用接口Node完全沒有這將具有以下後果仿製藥:想象泛型類型T被視爲java.lang.Object
    • 鑄造:開發人員不需要鑄造,編譯器不添加鑄件
  3. n.setData("Hello");

    • 將允許您添加任何類型的肥胖對象,因爲T被作爲對象(StringInteger,陣列,別的)
    • 鑄造處理:無由開發商鑄造必要的,沒有強制轉換由編譯器
  4. Integer x = mn.data;

    添加
    • nm.data應該返回一個Integer類型IntegerMyNode類,因爲你使用的原料類型的允許您添加String,而不是定義爲泛型類型參數T
    • 然而,nm.data持有String實例
    • 鑄造:開發人員不需要鑄造,但是編譯器會在幕後爲你添加鑄件到Integer,並且由於類型不匹配,你將得到ClassCastException
    • 當呼叫到

      n.setData("Hello"); 
      

      這是因爲編譯器生成橋的方法來保存多態性由10

+0

您可以詳細說明*插入時是否插入了?我認爲我理解「爲什麼」這一方面,但我不清楚在哪些情況下演員陣容是相關的。 – Kvass

+0

新增鑄造解釋。 – Crazyjavahacking

0

ClassCastExceptionthrow。橋方法是這樣的:

public void setData(Object data) { 
     setData((Integer)data); //the exception is thrown here 
    } 

因爲字符串的實例不能轉化爲IntegerClassCastException會被拋出。

您可以閱讀關於橋接方法here