Java泛型（模板）專業化可能（覆蓋具有特定類型的模板類型）

Question

我想知道在Java中專門化泛型類型的選項有什麼選擇，即在模板化類中有特定類型的特定覆蓋。在我的情況下，我是一個泛型類（類型T）通常返回null，但返回「」（空字符串），當T是字符串類型時，或0（零）時，它的整數類型，等

僅僅提供的方法的特定類型的過載產生「方法是不明確的」錯誤：

例如：

public class Hacking { 

    public static void main(String[] args) { 
    Bar<Integer> barInt = new Bar<Integer>(); 
    Bar<String> barString = new Bar<String>(); 

    // OK, returns null 
    System.out.println(barInt.get(new Integer(4))); 

    // ERROR: The method get(String) is ambiguous for the type Bar<String> 
    System.out.println(barString.get(new String("foo"))); 
    } 

    public static class Bar<T> { 

    public T get(T x) { 
     return null; 
    } 

    public String get(String x) { 
     return ""; 
    } 
    } 
} 

是繼承通用類與特定的唯一的選擇類型（請參見以下示例中的StringBar？

public static void main(String[] args) { 
    Bar<Integer> barInt = new Bar<Integer>(); 
    StringBar barString2 = new StringBar(); 

    // OK, returns null 
    System.out.println(barInt.get()); 

    // OK, returns "" 
    System.out.println(barString2.get()); 
    } 

    public static class Bar<T> { 

    public T get() { 
     return null; 
    } 
    } 

    public static class StringBar extends Bar<String> { 
    public String get() { 
     return ""; 
    } 
    } 
} 

這是唯一的方法，我必須爲每個類型創建一個子類，這是我想要專注的，而不是Bar類中get（）的重載。

我猜我可以檢查Bar.get（）方法中的instanceof，如果（t的instanceof String）返回「」;否則返回「0」。 if（t instanceof Integer）返回0; 否則返回null; }

不過，我已經被教導避免instanceof，並儘可能使用多態。

Answer 1

所有事情都考慮到了，共識似乎是問題中提到的StringBar方法方法是唯一的出路。

public static class StringBar extends Bar<String> { 
    public String get() { 
     return ""; 
    } 
    } 

Answer 2

Java中的泛型不是專業化的。他們是爲泛化！如果你想專門針對某些類型，你應該專注於......通過一個子類。

然而，你通常不需要以專門的方式做某件事。你StringBar例子是一種人爲的，因爲你可以有這樣的：

public class Bar<T> { 
    private final T value; 
    public T get() { 
     return value; 
    } 
} 

我不明白爲什麼你需要在這裏專門爲一個字符串。

Answer 3

編譯器實際上是正確的，因爲下面的代碼是編譯時檢查（Bar<String> barString = new Bar<String>();）在編譯時，從

public static class Bar<T> { 

    public T get(T x) { 
     return null; 
    } 

    public String get(String x) { 
     return ""; 
    } 
    } 

到

public static class Bar<String> { 

    public String get(String x) { 
     return null; 
    } 

    public String get(String x) { 
     return ""; 
    } 
    } 

是模棱兩可你不能有2個相同的方法具有相同的返回類型和相同的參數參數。

見喬恩斯基特的解釋：

• What is the concept of erasure of generics in java?
• Java Generics - Types erasures - when and what happens?

---

你也可以繼承Bar<T>創造StringBar（注意我刪除了static關鍵字），並覆蓋get()方法。

public class BarString extends Bar<String> { 

    @Override 
    public String get(String x) { 
     return ""; 
    } 
} 

Answer 4

在這方面，Java中的泛型與C++中的模板非常不同。不可能像C++那樣編寫一個通用類的特定版本來針對特定情況做不同的事情。在運行時也不可能確定T是什麼 - 這是因爲信息沒有傳遞到字節碼（目標碼）中，所以在運行時甚至不存在。這是由於所謂的「類型擦除」。

BarString和BarInt將是這樣做的顯而易見的方式，但您可以進行改進。例如，您可以編寫一個通用欄來覆蓋常見情況，然後編寫專門的BarString和BarInt來實現特殊情況。確保實例只能通過一個工廠，它接受對象的類創建要處理：

class Bar<T> { 
    class BarString extends Bar<String> { 
    // specialist code goes here 
    } 


static Bar<T> createBar(Class<T> clazz) { 
    if (clazz==String.class) { 
    return new BarString(); 
    } else { 
    return new Bar<T>; 
} 

這可能將無法編譯，但我沒有制定出時間確切的語法。它確實說明了原則。