指定方法參數的泛型類型

Question

擴展我的部門私有Libary我試圖實現一個isBetween方法。此方法是通用的，並且期望Comparable類型爲T的最小值，其最大值以及可變參數值。其目的是檢查是否所有值都在指定範圍內。

public static void main(String[] args) { 
    System.out.print(isBetween(1, 100, 200, 100, 1, 2)); 
    } 


    @SafeVarargs 
    public static <T extends Comparable> boolean isBetween(T minimum, T maximum, T... values) { 
    for (T value : values) { 
     if (!(value.compareTo(minimum) >= 0 && value.compareTo(maximum) <= 0)) 
     return false; 
    } 
    return true; 
    } 

這工作得很好。但是類型T可以包含任何Comparable對象。方法調用：

System.out.print(isBetween(1, 100, 200, 100, "How awkward", 2)); 

也將在編譯時被接受。 這根本不是類型安全的，不能被接受。

兩種解決方案進入了我的腦海：

1.呼叫像下面

System.out.print(Class.<Integer>isBetween(1, 100, 200, 100, 1, 2));

2.方法使U類型的我的方法的參數之一，擴展類型T至類型U

這兩個「解決方案」似乎都不是很優雅。第一個需要在調用方法之前編寫額外的代碼，第二個代碼看起來像是黑客。

有沒有更優雅的方法來解決我的問題？

Answer 1

那麼，這可以很容易地由avoiding raw types修復。

讓我們看看你的代碼：

public static <T extends Comparable> boolean isBetween(T minimum, T maximum, T... values) { 
    // ... 
} 

T是一個很好的和通用的，但Comparable是原始類型。你想Comparable<T>，讓你的方法應該是這樣的：

public static <T extends Comparable<T>> boolean isBetween(T minimum, T maximum, T... values) { 
    // ... 
} 

然後isBetween(1, 100, 200, 100, "How awkward", 2)將不再可能。

---

的isBetween方法允許「相等」的參數類型，如果他們有它實現Comparable一個等於超類。

例如使用java.util.Date和java.sql.Date（用戶fge有這個好主意）：

isBetween(new java.util.Date(1L), new java.util.Date(4L), new java.sql.Date(5L)) 

這將導致「假」，因爲第三個參數是「大」，比上界。並且java.sql.Date被接受，因爲它延伸java.util.Date並且將推斷爲T，它作爲「實現Comparable的共同父類」。

Answer 2

讓它<T extends Comparable<T>>：

@SafeVarargs 
public static <T extends Comparable<T>> boolean isBetween(T minimum, T maximum, T... values) { 
    for (T value : values) { 
     if (!(value.compareTo(minimum) >= 0 && value.compareTo(maximum) <= 0)) 
      return false; 
    } 
    return true; 
} 

這將在編譯失敗。

Answer 3

使用可比較的< T>代替原始可比。這樣，你將確保類型T的所有實例都是相同的類型，並且在編譯時會失敗。

Answer 4

另一種方法可以做到這一點是在Comparator傳遞，而不需要T是Comparable：

public static <T> boolean isBetween(Comparator<? super T> comparator, 
     T minimum, T maximum, T... values) { 
    for (T value : values) { 
     if (!(comparator.compare(value, minimum) >= 0 && 
       comparator.compare(value, maximum) <= 0)){ 
      return false; 
     } 
    } 
    return true; 
} 

這樣，但是你想你比較的對象，他們並不需要爲Comparable 。

你也可以提供類似的方法將其他的答案，跳過寫Comparator時T爲Comparable：

public static <T extends Comparable<? super T>> boolean isBetween(T minimum, 
     T maximum, T... values) { 
    return isBetween(T::compareTo, minimum, maximum, values); 
}