Recommended
More Related Content
More from Appresso Engineering Team
More from Appresso Engineering Team (20)
Recently uploaded
Recently uploaded (16)
Effective java 輪読会 第5章 項目23-25
- 1. Effective Java 輪読会 第4回 （項目23～25） 2013/1/8 開発部 野口
- 3. ジェネリック型 1つ以上の型パラメータを宣言に持つクラスや インタフェース ジェネリッククラス／ジェネリックインタフェー ス 例） List<E> はジェネリックインタフェース Eは型パラメータ 「E のリスト」と読む 単に List とも読む
- 5. 原型 実型パラメータを伴わないで使用されるジェ ネリック型の名前 例） List<E> に対応する原型は List 原型 List は、ジェネリックスがプラット フォームに追加される前のインタフェース型 List と同様に振る舞う
- 6. リリース 1.5 より前のコレクショ ン宣言 // Stamps インスタンスだけを含んでいる private final Collection stamps = … ; stamps.add(new Stamp()); // これが想定している挿 入 stamps.add(new Coin()); // これもコンパイルエ ラーにならない for (Iterator I = stamps.iterator(); i.hasNext();) { Stamp s = (Stamp) i.next(); // ClassCastException がスローされる }
- 7. パラメータ化されたコレクション 型（1/2） private final Collection<Stamp> stamps = … ; stamps.add(new Stamp()); // これは想定している挿 入 stamps.add(new Coin()); //これはコンパイルエ ラーになる
- 8. パラメータ化されたコレクション 型（2/2） // キャストも不要に for (Stamp s : stamps) { ... // 切手で何かをする } for (Iterator<Stamp> i = stamps.iterator(); i.hasNext();) { Stamp s = i.next(); // キャストなし ... // 切手で何かをする }
- 11. List と List<Object> の違い List は、ジェネリック型検査が行われない パラメータ List に List<String> を渡すことができ る List<String> は List のサブタイプ List<Object> は、どのような型のオブジェクト でも保持できることをコンパイラに明示的に伝 えている List<Object> に List<String> を渡すことはできな い List<String> は、List<Object> のサブタイプでは ない（！）
- 12. 非境界ワイルドカード型 ジェネリック型を使用したいけれど、実際の 型パラメータが何であるか分からなかった り、気にしたりしない場合にクエスチョン記 号を使用できる 例）ジェネリック型 Set<E> に対するワイルド カード型は Set<?> 「何らかの型のセット」と読む どのようなセットも保持できる（！）
- 13. Set<?> と Set の違い Set<?> は安全 Set は安全ではない Set<?>（Collection<?>） には、（null 以外 の）いかなる要素も入れることができない Set（Collection）には、どのような要素も入 れることができる
- 14. 例外 (1/2) クラスリテラルでは、原型を使用しなければ ならない 例） List<String>.class ではなく、List.class を使 用する必要がある ジェネリック型情報が実行時に消されているから
- 15. 例外 (2/2) 非境界ワイルドカード型以外のパラメータ化 された型に対する instanceof 演算子の使用は 許されていない やはり、ジェネリック型情報が実行時に消されて いるから 非境界ワイルドカード型についても、instanceof の使用はできるが、原型に対して使用した場合と 違いがない 原型を使用するのがよい
- 17. まとめ(2/2) Set<Object> は任意の型のオブジェクトを含 むことが可能なセットを表しているパラメー タ化された型＜安全＞ Set<?> は何らかの不明な型のオブジェクトだ けを含むことが可能なセットを表しているワ イルドカード型＜安全＞ Set はジェネリック型システムから外れてい る原型＜安全でない＞
- 18. 項目24 無検査警告を取り除く
- 19. 無検査警告 Set<Lark> exaltation = new HashSet();
- 20. 無検査警告を取り除く Set<Lark> exaltation = new HashSet<Lark>(); 取り除くことが可能なすべての無検査警告を取り 除くこと すべての警告を取り除けば、コードが型安全であると 安心できる 実行時に ClassCastException が発生しない
- 21. 無検査警告を抑制する 以下の場合にのみ、 @SuppressWarnings("unchecked") アノテー ションで警告を抑制する 警告を取り除くことができない 警告を起こしているコードが型安全
- 22. SuppressWarnings アノテー ション 個々のローカル変数宣言からクラス全体ま で、どのような粒度でも使用できる できる限り最小のスコープに対して使用する こと 変数宣言、非常に短いメソッドやコンストラクタ 等 クラス全体には決して使用しない 重大な警告を隠蔽してしまうため
- 23. ローカル変数宣言へアノテーショ ンを移動させる 例）pp.114 toArray メソッド return 文は宣言ではないので、 SuppressWarnings アノテーションを付けるこ とはできないが、ローカル変数を宣言するこ とでスコープを最小限にすることができる
- 24. @SuppressWarnings("unchecked") アノテーション @SuppressWarnings("unchecked") アノテー ションを使用する時には、そうするのが安全 である理由を述べるコメントを必ず追加する 他の人がコードを理解することを助ける 計算が安全ではなくなるような変更を誰かが行う 可能性を減らす コメントについて考えるうちに、やはり安全では ないということに気づく可能性もある
- 25. まとめ 無検査警告は重要、無視してはいけない 実行時の ClassCastException の可能性を表して いる 取り除くことが不可能で、それが実際には型 安全であると明確に示せる場合のみ、最小限 のスコープで警告を抑制する コメントにその理由を残す
- 26. 項目25 配列よりリストを選ぶ
- 27. 配列とジェネリック型の違い 1 (of 2) 配列は共変（covariant） が Super のサブタイプならば、配列型 Sub[] は Super[] のサブタイプ Sub ジェネリックスは不変（invariant） と Type2 に対して、List<Type1> は List<Type2> のサブタイプでもなければスーパー タイプでもない Type1
- 28. 共変な配列は実行時に失敗する Object[] objectArray = new Long[1]; objectArray[0] = “I don„t fit in”; // ArrayStoreException ＜実行時エラー＞
- 29. 不変なジェネリック型はコンパイ ル時に失敗する List<Object> ol = new ArrayList<Long>(); // 互換性の ない型＜コンパイルエラー＞ ol.add("I don't fit in");
- 30. 配列とジェネリック型の違い 2 (of 2) 配列は具象化されている 実行時にその要素型を知っていて、強制する ジェネリックスはイレイジャで実装されてい る コンパイル時にのみ型制約を強制し、実行時には 要素の型情報を廃棄（イレイズ）する
- 31. ジェネリック配列の生成が許され ていない理由 型安全ではないから 例）pp.117 「なぜジェネリック配列生成が許さ れないのか」 もしこの例がコンパイルされてしまったら、行 (5) で ClassCastException が発生する それを防ぐために、行 (1) でコンパイルエラーとなる
- 34. 非ジェネリックスからジェネリッ クスへの変更例 pp.118 上部 ジェネリックスを使用しない簡 約、そして並行性の欠陥↓ pp.118 下部 ジェネリックスを用いず、並行性 の欠陥もない簡約↓ pp.119 上部 簡約の単純なジェネリック版 - コ ンパイルされない↓ pp.119 下部 リストに基づく簡約 ここで synchronized(list) としているのは、new によるインスタンス生成がアトミックでないか ら？ →そのはず。