Effective java 輪読会 第5章 項目26-29
•Als PPTX, PDF herunterladen•
0 gefällt mir•1,185 views
Empfohlen
Weitere ähnliche Inhalte
Was ist angesagt?
Was ist angesagt? (20)
Mehr von Appresso Engineering Team
Mehr von Appresso Engineering Team (20)
Kürzlich hochgeladen
Kürzlich hochgeladen (7)
Effective java 輪読会 第5章 項目26-29
- 4. ジェネリック化 • Stackクラス – 互換性のために要素の型をObjectにしている • 要素を取り出す際、クライアントでキャストが必 要 • Object型を仮型パラメータEで置き換える ことで、クラスをジェネリック化（一般 化）する • ジェネリック化により、コンパイル時に 型の検査を行う
- 5. ジェネリック配列生成の禁止 • Stackクラスでコンパイルエラーが発生 Public Stack() { elements = new E[DEFAULT_INITIAL_CAPACITY]; } – 仮型パラメータ、ジェネリック型は具象化不 可能クラス • elementsはObject型で生成する • どこでキャストするかが問題
- 6. 適切な無検査警告の抑制 • パターン1 Objectの配列をキャストす る Public Stack() { elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY]; } – elementsはprivateフィールドであり、elements 追加される値の型はpushメソッドからのEのみ
- 7. 適切な無検査警告の抑制 • パターン2 private Object[] elements; Public Stack() { elements = new Object[DEFAULT_INITIAL_CAPACITY]; } public E pop() { if (size == 0) { throw new EmptyStackException(); } E result = (E) elements[--size]; elements[size] = null; return result; 要素を取り出すタイミングでキャ スト }
- 8. どちらの方法を採るべきか • キャストの回数 – 要素を追加する毎にキャストよりも、配列ご とキャストする方が回数は少ない • キャストの危険性 – 配列型への無検査キャストを抑制する方が危 険
- 10. 境界型パラメータ Class DelayQueue<E extends Delayed> implements BlockingQueue<E>; • 型パラメータリストで、仮型パラメータ を束縛する – Bounded Type Parameters – 実型パラメータがDelayedのサブタイプである ことを強制する – extendsによって、仮型パラメータの範囲（境 界）を定義 – すべての方は、それ自身のサブタイプ
- 12. 論点 1. row型警告 2. ジェネリックシングルトンファクトリー 3. 再帰型境界
- 13. 単純な例 • セットの要素がすべて同じ型であること を強制する public static <E> Set<E> union(Set<E> s1, Set<E> s2) { Set<E> result = new HashSet<>(s1); result.addAll(s2); このEはどのように決まるの return result; か？ } – 境界ワイルドカード型（Bounded Wildcard Type）を使うことで、柔軟性を持たせること もできる（→項目28）
- 14. ジェネリックシングルトンファク トリー • 論理的に型安全であることが確認できた なら、無検査警告を抑制してもよい – Ex. 恒等式 • 安全である論理的根拠は？
- 15. 再帰型境界 • 型パラメータをその型パラメータ自身が 関係する何らかの式で制限する – Ex. リスト中の最大値を返す関数の定義するた めに、「相互比較可能」であることを表現し たいとき class static <T extends Comparable<T>> T max(List<T> list) • extends Comparable? • http://d.hatena.ne.jp/Nagise/20101101/1288629634
- 17. 論点 1. 2. ？ 3. ？ 4. 境界ワイルドカードの必要性 上限境界と下限境界の使い分け 戻り値型にワイルドカードを使わない ワイルドカード型をいつ使うか ？ 5. ワイルドカード型を特定の型として捉え たい
- 19. 境界ワイルドカード • ワイルドカードに制約を追加することで、 受け取れる型の範囲を柔軟に定義する void pushAll(Iterable<? extends E> src) { for (E e : src) { push(e); } } – ワイルドカードを使わない場合、 Iterable<Number>は、Number型しか受け取ら ない（不変）
- 20. 境界ワイルドカードが必要ない場 合 public interface Box<T> { public T get(); public void put(T element); } – 『T 型の変数の観点で規定されており、T に対 するジェネリック型の観点で規定されている わけではない』
- 21. 境界ワイルドカードが必要な場 合 public interface Box<T> { public T get(); public void put(T element); public void put(Box<T> box); } Box<Number> nBox = new BoxImpl<Number>(); Box<Integer> iBox = new BoxImpl<Integer>(); nBox.put(iBox); – Box<Number> に対する put(Box<Integer>) メソッド が見つからない – Integer は Number であって も Box<Integer> は Box<Number> ではない
- 22. どうすればジェネリックになる か public interface Box<T> { public T get(); public void put(T element); public void put(Box<? extends T> box); } • ワイルドカードに上限境界を設ける – 共変と不変（反変）との妥協案
- 24. 上限境界か下限境界か • PECS – パラメータ化された型がTプロデューサーを表 していれば、<? extends T> – パラメータ化された型がTコンシューマーを表 していれば、<? super T>
- 26. 戻り値型にワイルドカードは使わな い public static <E> Set<? Extends E> union(Set<? extends E> s1, Set<? extends E> s2) { : } public static void main(String[] args) { : Set<String> aflCio = union(guys, stooges); Set<? extends String> aflCio = union(guys, stooges); } • ユーザーにワイルドカードを使わせるの はAPIとして設計を誤っている
- 28. 型パラメータとワイルドカード public static <E> void swap(List<E> list, int i, int j); public static void swap(List<?> list, int i, int j); • どちらで定義するべきか – 「単純で好ましい」（?） – 「どのようなリストでも渡せる」（?）
- 30. 互換性を検証できない public interface Box<T> { public T get(); public void put(T element); } public void rebox(Box<?> box) { box.put(box.get()); } • 「put() の実際のパラメーターの型が正式 なパラメーターの型と互換性があること を検証できないため、put() を呼び出すこ とはできない」
- 31. ワイルドカードキャプチャー public interface Box<T> { public T get(); public void put(T element); } public void rebox(Box<?> box) { reboxHelper(box); } private <V> void reboxHelper(Box<V> box) { box.put(box.get()); } • V によって任意の未知の型も表すことができ る – 「名前を復活させる」
- 34. 論点 1. Classクラスがジェネリクス型であること を利用して、異種コンテナーを実装する – ネストされた非境界型パラメーター – Class#typeによる動的キャスト