Collections Framework の概要

はじめに

Java 2 プラットフォームには、Collections Framework が追加されました。コレクションとは、オブジェクトのグループを表すオブジェクト (身近な例では、Vector クラス) のことです。Collections Framework とは、コレクションを表したり、操作したりする、統一されたアーキテクチャのことで、実際の表現の詳細に依存しない方法でコレクションを操作することができます。

Collections Framework の主な利点は、次のとおりです。

プログラミングの労力の軽減 - 有用なデータ構造とアルゴリズムが提供されているため、新しく記述する必要がない
パフォーマンスの向上 - 有用なデータ構造とアルゴリズムの高性能な実装が提供されている。各インタフェースの様々な実装は、相互に交換できるため、実装を交換するだけでプログラムを簡単にチューンアップできる
関連性のない API 間の相互運用が可能 - コレクションの受け渡しを可能にする共通言語が確立されている
API の学習に必要な労力を軽減 - 特定の場面でだけ必要なコレクション API をいくつも学ぶ必要がない
API の設計と実装に必要な労力を軽減 - 特定の場面でだけ必要なコレクション API を作成する手間を省く
ソフトウェアの再利用を促進 - コレクションやアルゴリズムを操作するためのインタフェースを提供する

Collections Framework は、以下の要素で構成されます。

コレクションインタフェース - セット、リスト、およびマップなど、種類ごとに異なるコレクションを表す。これらのインタフェースが、フレームワークの基礎を構成する
汎用の実装 - コレクションインタフェースの主実装
レガシー実装 - Vector や Hashtable など、以前にリリースされたコレクションクラスが改良されて、コレクションインタフェースを実装した
特殊目的の実装 - 特殊な状況で使用するための実装。これらの実装は、非標準の性能、使用制約、動作を表示
並列実装 - 高度な並列使用で使用するための実装
ラッパー実装 - 他の実装に、同期化などの機能を追加する
簡易実装 - コレクションインタフェースの高性能な「ミニ実装」
抽象実装 - カスタム実装を容易にする、コレクションインタフェースの部分実装
アルゴリズム - リストのソートなど、コレクションに対し、有用な機能を実行する静的メソッド
インフラストラクチャ - コレクションインタフェースの根幹をサポートするインタフェース
配列ユーティリティ - プリミティブ配列および参照オブジェクト配列用のユーティリティ機能。厳密に言えば、この機能は Collections Framework の一部ではないが、Collections Framework と同時期に Java プラットフォームに追加され、同じインフラストラクチャに依存している

コレクションインタフェース

「コレクションインタフェース」には 9 つあります。もっとも基本的なインタフェースは、Collection です。Collection を拡張するのは、Set、List、SortedSet、Queue および BlockingQueue の 5 つのインタフェースです。他の 3 つのコレクションインタフェース、Map、SortedMap、および ConcurrentMap は、真の意味でのコレクションではなくマッピング表現であるため、Collection を拡張しません。ただし、これらのインタフェースには collection-view 操作が含まれているため、コレクションとして操作することが可能です。

コレクションインタフェースの変更メソッドには、すべて「省略可能」というラベルが付いています。実装によっては、いくつかの操作が実行されないことがあります。実行しようとすると、実行時例外 (UnsupportedOperationException) がスローされます。実装のドキュメントには、実装でサポートされるオプションの操作を記述する必要があります。この仕様を理解するための助けとして、いくつかの用語が導入されています。

変更操作 (add、remove、および clear など) をサポートしないコレクションのことを「変更不可能」であると言う。変更不可能ではないコレクションのことを「変更可能」であると言う
Collection オブジェクト内にどのような変更も見られないことを保証するコレクションは、「不変」であると言う。不変ではないコレクションのことを「可変」であると言う
要素は変化しても、サイズが定数値であることが保証されたリストは、「固定サイズ」であると言う。固定サイズでないリストは、「可変サイズ」であると言う
高速 (通常は一定時間) インデックスの付いた要素のアクセスをサポートするリストは、「ランダムアクセス」リストと呼ばれます。高速インデックスの付いた要素のアクセスをサポートしないリストは、「順次アクセス」リストと呼ばれます。ランダムアクセスをサポートすることを通知するためのリストを示すために、RandomAccess マーカインタフェースが提供されます。これにより汎用アルゴリズムがランダムアクセスリストまたは順次アクセスリストのいずれかに適用されるとき、その動作を変更してパフォーマンスを向上することができます。

実装によっては、格納する要素 (Maps の場合はキーおよび値) を限定する場合があります。要素を限定する条件には、次のようなものがあります。

特定の型
null 以外
任意に選んだある述語に適合

実装の制限に適合しない要素を追加しようとすると、実行時例外が発生します。典型的な実行時例外には、ClassCastException、IllegalArgumentException、また NullPointerException があります。実装の制限に適合しない要素を削除またはテストしようとすると、「制限付きのコレクション」のいずれかがその使用法を許可しているとしても、例外が発生します。

コレクションの実装

一般に、コレクションインタフェースを実装するクラスは、<Implementation-style><Interface> という形式の名前を持ちます。以下の表に、汎用の実装の概要を示します。

		実装
		ハッシュテーブル	サイズ変更可能な配列	バランスツリー	リンクリスト	Hash Table + Linked List
インタフェース	Set	`HashSet`		`TreeSet`		`LinkedHashSet`
	List		`ArrayList`		`LinkedList`
	Map	`HashMap`		`TreeMap`		`LinkedHashMap`

汎用の実装は、コレクションインタフェースの省略可能な操作をすべてサポートしています。また、格納する要素に制限はありません。これらの実装は非同期ですが、Collections クラスには、「同期ラッパー」と呼ばれる静的ファクトリが含まれます。同期ラッパーは、同期をとらないコレクションに同期をとる機能を追加するために使用されます。新規の実装にはすべて、「フェイルファスト反復子」が含まれます。フェイルファスト反復子は、不正な並列変更を探知し、素早く、クリーンにフェイルします。不規則な動作はしません。

AbstractCollection、AbstractSet、AbstractList、AbstractSequentialList、および AbstractMap クラスは、コアコレクションインタフェースのスケルトン実装を提供し、実装に必要な手間を最小限に抑えます。これらのクラスの API ドキュメントには、各メソッドがどのように実装されているかが説明されているため、実装者は、特定の実装の「基礎的な操作」のパフォーマンスに基づき、どのメソッドをオーバーライドしたらよいかがわかります。

設計目標

設計上の主要な目標は、実際のサイズにおいて、またより重要性の高い「概念の重さ」においても妥当な小ささの API を作成することでした。現在の Java プログラマにとって、この新機能が違和感のないものにするということも非常に重要な点でした。このため、既存の機能を置き換えるのではなく、機能を追加する必要がありました。同時に、この新しい API は、上記の利点すべてを提供できるような強力なものにする必要がありました。

コアインタフェースを小さく保つために、インタフェースはこのようなわずかな違いを可変、修正、サイズ変更としてはとらえません。コアインタフェースでのある種の呼び出しは「省略可能」であり、実装は、特定の省略可能な操作に関しては UnsupportedOperationException をスローして、サポートしないことを示せるようにしました。もちろん、コレクションの実装者は、実装が省略可能な操作のうち、どれをサポートしているかをドキュメントに明示する必要があります。

各コアインタフェース内のメソッドの数を少数に保つために、メソッドが次のいずれかの場合にだけ、インタフェースはメソッドを格納します。

真に「基礎的な操作」である。つまり、このメソッドを利用して他のメソッドを定義可能である
重要な実装がそのメソッドをオーバーライドすることを望むだけの、パフォーマンス上の強力な理由がある

コレクションの妥当な表現が、すべて相互運用可能であることは重要な要件です。この表現には配列が含まれます。配列は、言語を変えずに直接 Collection インタフェースを実装することはできません。このため、フレームワークには、コレクションを配列にダンプできるメソッド、コレクションと見なすことのできる配列、およびコレクションと見なすことのできるマップが含まれています。

コメントの送付先: collections-comments@java.sun.com

Java ソフトウェア