コレクションに@NonNullを持つJava汎用コレクション

Question

コレクションにnullメンバーがなく、@ NonNullアノテーションを持つ型を返すことを検証する汎用関数をJava8で実装したいと考えています。

入力の種類：T extends Collection、T + UはNULL可能です。
結果型：@NonNull Tは、@NonNull U

と配列については、これは次のようになります。

public static <T> @NonNull T @NonNull[] arrayHasNoNullMember(@Nullable T @Nullable[] value) { 

しかし、コレクションケースのために、私はその結果の型を定義する方法がわかりません入力型と同じですが、コレクションと要素タイプの@NonNullアノテーションがあります。
これは私が何をしたいのかであるが、それは有効な構文ではありません。

public static <T extends Collection<U>, U> @NonNull T<@NonNull U> collectionHasNoNullMember(T<U> col) { 

あなたは助けることはできますか？

Answer 1

これはあなたが得ることができると同じくらい近いです：

public static <T extends Collection<@NonNull U>, U> @NonNull T collectionHasNoNullMember(@NonNull T col) { 

Answer 2

は残念ながらT extends Collection<U>でUのようなジェネリック型のジェネリック型パラメータを、変更するJavaで方法はありません。お使いのアレイ法の同等はそうのような、コレクションのインスタンスを取得して返すメソッドのようになります。

public static <E> @NonNull Collection<@NonNull E> collectionHasNoNullMember(@Nullable Collection<? extends @Nullable E> col) 

これは、コレクションの任意のサブクラスを受け入れますが、戻り値の型がコレクションより具体的にすることはできません。

が

public static <E> @NonNull List<@NonNull E> listHasNoNullMember(@Nullable List<? extends @Nullable E> list) 
public static <E> @NonNull Set<@NonNull E> setHasNoNullMember(@Nullable Set<? extends @Nullable E> set) 
public static <E> @NonNull Queue<@NonNull E> queueHasNoNullMember(@Nullable Queue<? extends @Nullable E> queue) 

または、限り、あなたは同じオブジェクトを返しているとして、あなたは常に手動に戻ってそれをキャストすることができます：より具体的なケースを処理するには

、私は一般的なサブクラスのためのいくつかのより多くのメソッドを持つことをお勧め実際のクラス：

ArrayList<@NonNull E> list2 = (ArrayList<@NonNull E>) collectionHasNoNullMember(arrayList);