擦除類型和橋接方法說明

Question

以下代碼取自 Oracle 泛型文檔 -

 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;
    }
}

 class MyNode extends Node<Integer> {
    public MyNode(Integer data) { super(data); }

    public void setData(Integer data) {
        System.out.println("MyNode.setData");
        super.setData(data);
    }

     public static void main(String[] args) {
         MyNode mn = new MyNode(5);
         Node n = mn;            // A raw type - compiler throws an unchecked warning
         n.setData("Hello");
         Integer x = mn.data;  // Causes a ClassCastException to be thrown.
     }
}

我對這段代碼的理解 -

問 - 方法setData覆蓋或重載？

我的MyNode - 因為MyNode正在擴展Node<Integer> ，所以類型參數T值設置為Integer 。

所以類Node有方法setData(Integer data)作為 T= Integer 和類MyNode有方法setData(Integer data) 。

因為簽名是一樣的，所以它是壓倒性的。

問-即使在擦除之后，setData 方法是否被覆蓋？ 我的理解 -

在我們擦除<T>之后， Node的 set 方法變成了setData(Object data)

Mynode的 set 方法將是 - setData(Integer data)因為沒有類型參數，沒有要刪除的內容。

但這是重載。

問 - 我們想要重載還是覆蓋？

我的理解 - 根據擦除之前定義的方法的外觀，我們想要覆蓋.

問 - 那么如何實現擦除后覆蓋？

我的理解 - 通過橋接方法。 例如：

setData(Object data){
    setData((Integer) Data);
}

我的理解正確嗎？

此外， class MyNode extends Node<Integer>什么時候Integer被向下傳遞到<T> 什么時候調用 super ？

Answer 1

1. 是的，方法setData被覆蓋了。

2. 從用戶的角度來看，它看起來好像setData(T data)被setData(Integer i)覆蓋，即當你調用setData(42) ，它會用"MyNode"打印一些東西，而不是用"Node ” 。

   在類型擦除方法簽名的級別上，這將通過添加到MyNode的合成橋方法setData(Object)來實現，即如果您使用javap反編譯MyNode.class ，您將看到兩個方法：

    public void setData(java.lang.Integer); public void setData(java.lang.Object);

3. 語言規范說"override" ，我不知道為什么有人會想要別的東西。

4. 不清楚您所說的“擦除后實現覆蓋”是什么意思。 類型擦除是在類型檢查和確定什么覆蓋什么之后進行的。 沒有什么可以“實現”的，它只是事物工作的順序（另請參閱此評論）。 覆蓋原始setData(Object)的合成橋接方法看起來像你寫的（最多有輕微的錯別字）：

    setData(Object data){ setData((Integer) data); }

   至少文檔是這么說的。 但這是一種合成方法，它是由編譯器自動生成的。 如果它出現在源代碼中，它會給你編譯錯誤。