プログラミング言語論 - o.pptVIP

プログラミング言語論 第４回 抽象データ型 担当：犬塚 今日の講義 データ抽象に関する事柄を見る。 データ抽象とは 抽象データ型とは 抽象データ型の諸概念、利点 ＡＤＴのバリエーション 引数つきの抽象データ型 モジュール単位のカプセル化 データ不変条件 抽象 abstract, abstraction 抽象 ＝抽出＝何かを取り出すこと ＝捨象＝いくつかを捨て去ること 反対語は、具体的、具象 concrete ものを抽象的に表すというのは、その本質（あるいは注目点）のみを残してそれ以外を捨てること。 工学ではものを「作る」のに、その本質（機能、性質）のみに注目して、他を忘れる（忘れても大丈夫な仕掛けを用意する）ことで大規模な構築物を得る。 プログラミングでの２つの抽象 抽象はプログラミングで２つの側面から使われる =具体的な実現方法を捨象して、機能に注目。 プロセスの抽象 process abstraction データ（型）の抽象 data abstraction プロセスの抽象 process abstraction 一連の手続きを括りだして、抽象化する。 　＝サブルーチン、手続き、関数 そのルーチンの実現方法（＝実装）を抽象し（気にせずに）次のことのみに注目： そのルーチンの機能 そのルーチンの呼出し方：プロトコル、インターフェース 例　sortのルーチン 　機能：リストを順番に並べる 　呼出し方：sort(リスト，リストの長さ） 　順番に並べるための方法は気にしない。 データ抽象 data abstraction データの情報内容と情報内容の操作のみを気にすればよい仕掛け。 どのようにメモリー内で記憶されているか、 どのような型定義によって実現されているか、 　は気にしない。 これを実現するための考え方： 抽象データ型　 Abstract data type オブジェクト指向プログラミング Object-oriented programming 抽象データ型　ADT：abstract data type 抽象データ型は次の２組からなる： データ型（その型の変数の取りうる値の範囲） そのデータ型のデータに対する操作（手続き、関数） 抽象データ型を定めると、 クライアントはそのデータ型を宣言することができる。 与えられた手続きによってデータを操作できる。 ＡＤＴをサポートする言語は、 ＡＤＴの具体的な実現方法（＝その抽象データ型の実装）を記述できる。 ＡＤＴの実装を隠蔽することができる。 ※クライアント＝ＡＤＴを利用する側のルーチン 抽象データ型の例 スタックを扱うＡＤＴ stack型を考える。 クライアントは、stack型の変数を宣言できる。 　var stk1: stack; stack型のデータを操作する手続きがある： 　　 create(stk1); stk1を新たなスタックとして用意し、初期化する。 destroy(stk1); stk1の使用をやめる（メモリーを解放する） empty(stk1); stk1を空のスタックに初期化する。 push(stk1,elm); 要素elmをstk1に積む。 elm := pop(stk1) stk1に積まれている最上位の要素を取り出す。 スタック型の実現（１） type stack = record top : integer; content : array[1..maxsize] of element end; proc create(s : stack); prepare memory for s; s.top :=0; proc destroy(s : stack); release memory for s; proc empty(s: stack); s.top :=0; proc push(s:stack; e:element); if top=maxsize then error else s.top:=s.top+1; s.content[s.top]:=e; func top(s:stack):element; if s.top=0 then error else s.top:=s.top-1; return s.content[s.top+1]; スタック型の実現（２） type cell = record content : element; next : pointer to cell end; stack = pointer to cell proc create(s : stack); s