１３章68

この問題は、Javaのメソッドオーバーロードと型の一致に関するものです。元のメソッドのシグネチャは次の通りです：

public List<Number> test(Set<CharSequence> s) { ... }

このメソッドは、Set<CharSequence> 型のパラメータを取り、List<Number> 型のリターン値を返します。

問題文に示されたオプションのうち、正しいオーバーロードであるBとFを検討しましょう：

B. public List<Integer> test(TreeSet<String> s) { ... }
- TreeSet<String> は Set<String> のサブタイプであり、String は CharSequence のサブタイプです。これは型の階層を維持しているため、オリジナルのメソッドのパラメータに型の互換性があります。
- 戻り値は List<Integer> であり、Integer は Number のサブタイプです。したがって、このオーバーロードは問題なくコンパイルされ、期待される動作をします。
F. public ArrayList<Number> test(Set<CharSequence> s) { ... }
- パラメータ Set<CharSequence> はオリジナルのメソッドのパラメータと完全に一致します。
- ArrayList<Number> は List<Number> の実装であり、戻り値の型として有効です。こちらも互換性があり、期待どおりに動作します。