Java Generics の「super」キーワードは境界付きワイルドカードでどのように機能しますか?またその制限は何ですか?

Java ジェネリックのスーパーキーワード: 使用法と制限を理解する

ジェネリックは、データ型のカスタマイズを許可することで Java コレクションの機能を拡張します。型の安全性が犠牲になります。 super キーワードは、これらのジェネリック コレクションで重要な役割を果たします。

境界付きワイルドカードについて

ジェネリック コレクションを宣言する場合、super キーワードは境界付きワイルドカードとともに使用できます。このタイプのワイルドカードを使用すると、コレクションで特定のタイプまたはそのスーパータイプを保持できます。例:

List<? super Number> list = null;

この宣言は、リストに Number オブジェクトまたはそのスーパークラス (Object など) を含めることができることを意味します。

境界付きワイルドカード コレクションへの要素の追加

境界付きワイルドカード コレクションに要素を追加する場合は、厳密な型安全規則に従っていることに注意することが重要です。上の例では、

• list.add(new Integer(0)) は Integer が Number を拡張するため有効です。
• list.add(new Object()) は Object であるため無効です。は Number のサブタイプではありません。

スーパーの限界のテストワイルドカード

予想に反して、次のコードはコンパイルできません:

static void test(List<? super Number> param) {
  param.add(new Integer(2));
}

public static void main(String[] args) {
  List<String> sList = new ArrayList<String>();
  test(sList); // Compile error
}

String は Object のサブタイプであり、Object は Number のスーパータイプですが、このコードは依然として失敗します。コンパイルします。その理由は、ワイルドカードが特定のタイプ Number (List で定義されている) とそのスーパータイプをキャプチャし、String を除外するためです。スーパーT＞しかし、