抽象データ型（ADT）とは？スタック・キュー・リストの基本操作を解説

データ型と抽象データ型の基本

データ型（Data Type）とは、コンピュータプログラムで扱うことのできるデータの種類を指します。整数型（integer）や浮動小数点型（float）といったデータの種類を表すだけでなく、整数型が4バイト、文字型が1バイトのように、それぞれのデータが占めるメモリ領域の大きさも意味しています。

抽象データ型（Abstract Data Type：ADT）は、特別な種類のデータ型であり、その振る舞いが「値の集合」と「操作の集合」によって定義されます。「抽象的（Abstract）」という言葉が使われるのは、これらのデータ型を利用してさまざまな操作を実行できる一方で、その操作が内部でどのように動作しているのかがユーザーから完全に隠されているためです。つまり、ADTはプリミティブなデータ型から構成されていますが、操作のロジックそのものは外部からは見えないようになっています。

抽象データ型の代表的な例としては、スタック（Stack）、キュー（Queue）、リスト（List）などが挙げられます。

主な抽象データ型とその操作

以下に、各ADTで提供される主な操作を紹介します。

スタック（Stack）の操作

• isFull()：スタックが満杯かどうかを確認する
• isEmpty()：スタックが空かどうかを確認する
• push(x)：要素xをスタックに追加（プッシュ）する
• pop()：スタックの先頭から要素を1つ取り除く
• peek()：スタックの最上位にある要素を取得する
• size()：スタック内に存在する要素数を取得する

キュー（Queue）の操作

• isFull()：キューが満杯かどうかを確認する
• isEmpty()：キューが空かどうかを確認する
• insert(x)：要素xをキューの後端（リア側）に追加する
• delete()：キューの前端（フロント側）から要素を1つ取り除く
• size()：キュー内に存在する要素数を取得する

リスト（List）の操作

• size()：リスト内に存在する要素数を取得する
• insert(x)：リストに要素を挿入する
• remove(x)：指定された要素をリストから削除する
• get(i)：位置iにある要素を取得する
• replace(x, y)：要素xを値yに置き換える

まとめ

抽象データ型は、「利用可能な操作（インターフェース）」と「内部の実装（ロジック）」を分離するという重要な考え方に基づいています。この仕組みにより、利用者は内部構造を意識せずにデータを操作でき、開発者も実装の詳細を自由に変更できるというメリットがあります。スタック・キュー・リストなどのADTは、アルゴリズム設計やプログラミングの基礎となる概念なので、それぞれの操作の特徴をしっかり理解しておきましょう。