聲明泛型時是否有語法糖？

Question

假設我有這個類

class Generic<T extends List<? extends Integer>, E extends List<? extends Integer>> 

或任何長泛型類型鑽石括號內。在使用這個類時，爲了保持類型安全，我需要不斷提及泛型類型。因此，舉例來說，如果我要遍歷上面的類的Set或操縱它，我需要做到以下幾點：

class SomeClass { 

    <T extends List<? extends Integer>, E extends List<? extends Integer>> void add(Set<Generic<T, E>> mySet, Generic<T, E> toAdd) { 

     mySet.add(toAdd); 
    } 

    <T extends List<? extends Integer>, E extends List<? extends Integer>> void iterate(Set<Generic<T, E>> mySet) { 

     for (Generic<T, E> myGeneric : mySet) 
     { 
       // do something with myGeneric 
     } 
    } 
} 

然而，這變得非常麻煩非常快。我搜索並找不到某種方式來正確處理這個問題。我知道可以寫Generic<?, ?>，但是這儘可能地妨礙了類型安全檢查。

有沒有辦法正確處理這個問題？某種方式來命名T extends List<? extends Integer>, E extends List<? extends Integer並將該名稱用作語法快捷方式？

快速注：我不是在談論Java 7中引入了初始化語法糖在右手邊可以使用類型推斷從聲明空鑽石括號。

Answer 1

不是真的，但我認爲你不能正確使用類型參數。

當你的方法是通用的，那麼你可以很容易地參考的方法的類型參數，而無需每次都重寫他們的界限：

<T extends List<? extends Integer>, E extends List<? extends Integer>> 
void iterate(Set<Generic<T, E>> mySet) { 
    for (Generic<T, E> myGeneric : mySet) { 
     // do something with myGeneric 
    } 
} 

這也是有效的，如果你的類是通用的，即是這樣的：

class SomeClass<T extends List<? extends Integer>, E extends List<? extends Integer>> { 
    void iterate(Set<Generic<T, E>> mySet) { 
     for (Generic<T, E> myGeneric : mySet) { 
      // do something with myGeneric 
     } 
    } 
} 

Answer 2

在Java 8，你可以使用

mySet.forEach(myGeneric -> { 
    ... 
}); 

因此，您根本不需要指定myGeneric類型，它將被推斷出來。儘管這種方法存在一些已知的侷限性（如無法修改外部方法的局部變量或無法拋出檢查的異常）。