はなぜJavaは、一般的な方法

Question

1. static <T> T pick(T a1, T a2) { return a2; }
2. Serializable s = pick("d", new ArrayList<String>());

に文字列のArrayListのオブジェクトを渡すことで、シリアライズ推測ありません。コンパイラがエラーを投げています。

JavaがSerializableに推論する理由を理解してもらえますか？

Answer 1

• 引数a1として、あなたはタイプStringの"d"を渡しています。引数a2として
• あなたがタイプのnew ArrayList<String>()ArrayList<String>

を渡している、文字列とのArrayListの最寄りの共通スーパータイプはSerializableです。あなたが書いた場合 また働くだろう：

Object s = pick("d", new ArrayList<String>()); 

Answer 2

を機能で結果を選ぶA1とA2をパラメータとして同じ型を持っています。 2行目のJavaコンパイラは、両方の引数に対して共通タイプT1を推測しようとします。a1およびa2です。関数呼び出しの結果はT1となります。 だから、A1はArrayListのを入力した文字列とA2を入力しています。どちらのタイプも、インタフェースSerializableを実装しています。したがってT1はから継承可能となり、のシリアル化可能を2行目の先頭に書くことができます。 文字列が文字列とArrayListのの両方に共通のスーパータイプではないので あなたはそこ文字列を書き込むことはできません。