JPH0573312A - リスト処理方式 - Google Patents

Abstract

(57)【要約】 【目的】 データ構造の構図から、それに対応するリス
ト構造を生成する処理プログラムを、倹約的で、効率的
なものにする。 【構成】 雛型となるデータ構造の構図のリストを、バ
ッククォート構文処理２が受け取ると、その要素を順に
定数か変数か判断いて、その結果に準じて、定数処理
３、あるいは変数処理４を呼び出して、与えられたデー
タ構図に対応するリスト構造を生成する処理プログラム
を作りだす。この時、定数処理３，変数処理４が動作中
に定数保存機構５が倹約的で、効率的な処理プログラム
にすることを促進する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、動的にリスト構造を構
築する処理プログラムの生成に関し、特に構築するリス
ト構造中に変数、および定数が混在する場合に、より倹
約的で、効率的なリスト構造を構築するための処理プロ
グラムを生成するリスト処理方式に関する。

【０００２】

【従来の技術】リスト処理に適した言語であるＬＩＳＰ
においては、あるリスト構造を動的に作りだし、それを
処理プログラムと解して評価実行する（ＬＩＳＰのプロ
グラムもまたリスト構造をしているため実行可能であ
る）ことで、再度リスト構造を得ることがある。このメ
カニズムは、特に、ＬＩＳＰ言語においてマクロを評価
する際に機能する。したがって、マクロの定義時には、
評価実行が二重に行われるため、最初に、動的に作りだ
したリスト構造を評価実行した結果、必要な目的とする
リスト構造が適切に得られるように、工夫しなければな
らない。

【０００３】この工夫が容易になるように、一般にＬＩ
ＳＰはバッククォート構文と呼ばれるリスト処理機構を
用意している。バッククォート構文は、この「リストを
評価実行することで得られる結果のリスト構造」を、直
接的に雛型として、マクロの定義中に記述することを可
能にする。マクロをバッククォート構文で記述すれば、
評価実行の結果の形式を得ることができる処理プログラ
ムが、自動的に定義される。すなわち、バッククォート
構文は、マクロの定義中に記述されている評価実行の結
果の形式となる雛型のリスト構造（以下、雛型リスト構
造と呼ぶ）をもとに、それに対応するリスト構造を生成
するような処理プログラム（以下、リスト生成処理プロ
グラムと呼ぶ）をリスト（ＬＩＳＰプログラムとしても
解釈することができる）として組み立てる。

【０００４】バッククォート構文が解析する雛型となる
リスト構造の要素には、定数だけでなく、変数も含まれ
ている（この時、定数には、定数的に取り扱える式も含
め、変数には変数と同様に評価実行してその値を求めて
よい式も含めて考える）。雛型リスト構造中の変数は、
リスト生成処理プログラムが評価実行されたときに、そ
の環境下での当の変数の値と置換されなければならな
い。逆に、定数は、たとえ評価実行されも、変数として
取り扱われないようにしなければならない。

【０００５】この変数、定数の区別を従来のＬＩＳＰ言
語は、定数の方に定数マーカーを付けることで実現して
いる。したがって、雛型リスト構造に対するリスト生成
処理プログラムが評価実行されるときは、基本的に、リ
ストのすべての要素は評価されてその評価値へと置換さ
れる。ただし、定数に関しては、このマーカーによっ
て、評価されて、もともとの定数になり、その上で置換
される。

【０００６】一方、雛型リスト構造中の定数の認識手順
は、要素として連続している定数があれば、一塊にまと
めて一定数として扱うようにしている。そして、この定
数が変数と混在することになった時点で、もし、一塊と
して扱えないとなれば、個々の要素に対して個別的に定
数マーカーをつけて、リスト生成処理プログラム中への
組み込んでいた。

【０００７】

【発明が解決しようとする課題】定数であれば個々に定
数マーカーをつけて変数の区別することにすると、雛型
リスト構造中のすべての定数に対して、定数マーカーを
必要とし、そのマーカーのために主記憶が一つ消費され
てしまう。したがって、定数が多くなれば多くなるほど
主記憶は多く消費されるという問題点がある。および、
リスト生成処理プログラムの評価実行時には、これらの
定数マーカーを解釈して、定数とみなすため、実行に余
分な時間が費やされるという問題点もある。

【０００８】さらに、上述したように、雛型リスト構造
からリスト生成処理プログラムを作りだすバッククォー
ト構文は、ほとんどが、マクロの定義に使用されてい
る。マクロはＬＩＳＰプログラム実行時や、ＬＩＳＰプ
ログラムのコンパイル時に、その出現ごとに評価実行さ
れるもので、かなりの回数実行される。そして、マクロ
の実行が定数マーカーの解釈を含んでいるので、定数が
多くなればなるほど、ＬＩＳＰプログラムの実行やコン
パイルの時間が大きくなるという欠陥も存在する。

【０００９】また、できる限り多くの要素を一塊にして
定数として取り扱っている場合も、もしこの定数と変数
が混在することになれば、最終的には一まとめにした要
素すべてに対して、やはり定数のマーカーを付けなけれ
ばならない時があり、上述の問題点は解決されないまま
である。

【００１０】

【課題を解決するための手段】本発明は、構築したいデ
ータ構造の構図を示す雛型リスト構造から、そのデータ
構造の構図に対応するリスト構造を生み出すリスト生成
処理プログラムを動的に作り出すリスト処理方式におい
て、前記雛型リスト構造中の変数に変数処理を行わせ定
数に定数処理を行わせるバッククォート構文処理と、定
数処理の後にシステム既定の定数および自己評価式には
定数マーカーを付与せずその他の定数には定数マーカー
を付与する定数保存機構とを備えている。

【００１１】

【実施例】本発明について、図面を参照して説明する。

【００１２】図１に本発明の一実施例の基本構成を示
す。バッククォート構文処理２はインタプリタ１の環境
下で動作する。バッククォート構文処理は、大きく、雛
型リスト構造に対する定数処理３と変数処理４に分かれ
る。定数処理３、および変数処理４は定数保存機構５を
内包しており、定数保存機構５が機能することで、主記
憶の消費を抑制したリスト生成処理プログラムを作りだ
す。

【００１３】図２に示すように、構築したいデータ構造
の構図を表現する雛型リスト構造６がインタプリタ１に
取り込まれると、それと連動して、インタプリタ１から
バッククォート構文処理２が呼び出される。バッククォ
ート構文処理２は、雛型リスト構造６を受け取り、その
リスト構造中の各要素に対して定数であるか変数である
かを判断しながら、それに準じて定数処理３と変数処理
４を随時呼び出して、リスト生成処理プログラム７を作
りだす。定数処理３および変数処理４が動作中に、定数
保存機構５が機能して、倹約的なリスト生成処理プログ
ラムを作りだすことを促進する。

【００１４】バッククォート構文の処理に入ると、図３
に示すように、雛型リスト構造中の各要素が定数である
か変数であるかを、順に判定して解析を行っていく。も
し定数であれば、定数処理３に制御が移り、可能な限り
連続した定数を一塊にするため、定数処理３は、次の要
素が定数であるかを判断しにいく。次の要素が定数であ
れば、この処理を繰り返すため、定数処理３に戻る。定
数処理３が継続している間は、雛型リスト構造の解析処
理は、連続した要素を一塊の定数として生成する構造を
作っていく。最終的に、雛型リスト構造中に変数が存在
しなければ、一まとまりの一つの定数を生成するような
リスト生成処理プログラム７を作りだす。

【００１５】一方、雛型リスト構造中の次の要素が、定
数でなく変数であった場合には、変数処理３に制御が移
り、それ以前までの定数部分が、現在処理中の変数に対
処できるように（すなわち、リスト生成処理プログラム
７を評価実行する時に、定数と変数の区別がつけられる
ように）、必要であれば、定数部分の各要素に定数マー
カーを付与しにいく。定数マーカーを付与するときに、
今度は、定数保存機構５が機能して、各要素が定数マー
カーなしでも定数と解釈されるかどうかを判断する。定
数マーカーなしでも定数と解釈できる要素に対しては、
マーカーを付与することを行わない。逆に、定数マーカ
ーがないと定数と解釈できないものにはマーカーを付け
加える。このマーカー付与の変換処理を行った後で、現
在解析中の変数と結合させてリスト生成処理プログラム
とする。そして、次の要素に処理が移る。雛型リスト構
造中の要素がなくなれば、その時点でのリスト生成処理
プログラム７が、解析結果として返却される。

【００１６】定数保存機構５は、自己評価式も定数マー
カーの必要のない定数と認識する。ＬＩＳＰ言語におい
ては、数あるいは文字列は自己評価式とされることが多
いが、インプリメントの方式によっては、文字，配列，
構造体などシンボル以外のすべてのオブジェクトを自己
評価式とすることもある。

【００１７】図４に示すように、定数保存機構５に制御
が移ると（変数処理４と定数処理３のいずれからも呼び
出される）、まず最初に、渡されたリスト構造中の要素
が、システム既定の定数を表現するシンボル（これらは
変数と取り違えられることはない）であるかどうかを判
定する。ＬＩＳＰ言語においては、ｎｉｌ（「偽」を表
す）やｔ（「真」を表す）などのＬＩＳＰの実行に必須
の定数があり、さらに、処理系によれば、ｐｉ（円周
率），ｓｈｏｒｔ−ｆｌｏａｔ−ｅｐｓｉｌｏｎ（自然
対数の底）など５０を越えるプログラム開発を効率的に
するための定数が提供されていることがあり、さらに、
利用者が定数であると宣言したシンボルもあり、渡され
た要素が、これらのいずれかの定数シンボルであるかど
うかを判定する。もし、これらのいずれかであれば、定
数マーカー不要の定数であると認識し、定数保存機構
は、定数マーカーを付与せずに、要素そのものを返却し
終了する。

【００１８】そうでなければ、次のステップに移り、こ
の要素が自己評価式であるかどうかを判定する。シンボ
ル以外のすべてを自己評価式とするのではなく、ＬＩＳ
Ｐ処理系の提供するオブジェクトの一部だけを自己評価
式とする場合のことを考慮すると、定数保存機構は、渡
された要素が、自己評価式とされるオブジェクトのいず
れかであるかを、順々に、判定していく（シンボル以外
のすべてのオブジェクトを自己評価式とするＬＩＳＰ処
理系では、この判定は、「オブジェクトがシンボルでな
いか？」という条件判定だけで行える）。いずれかであ
れば、定数マーカー不要の定数であると認識し、やはり
要素そのものを返却する。

【００１９】いずれでもなければ、定数マーカーがない
と変数と取り違えられてしまう要素なので、この要素に
定数マーカーを付与して返却し、終了する。

【００２０】したがって、自己評価式やシステム既定の
定数を定数マーカー不要の定数と認識することで、雛型
リスト構造中シンボル以外の要素はすべて定数マーカー
不要の定数であると解釈できるようになり、定数マーカ
ーを付与する回数を減少させることができる。

【００２１】一度、雛型リスト構造６中に変数が出現す
ると、それ以降は、バッククォート構文２に与えられた
雛型リスト構造６が、変数を含むリスト構造であるとし
て処理されていく。したがって、今度現れるリスト構造
中の要素が定数であっても、既に変数処理が行われた後
なので、リスト生成処理プログラ７に組み込むために
は、定数マーカーが必要になる。このときも、定数処理
３から定数保存機構５が呼び出され、機能して、必要で
ない定数マーカーは生成しないようにする。

【００２２】

【発明の効果】以上説明したように、本発明は、データ
構図を示す雛型リスト構造の解析処理に、定数の保存機
構を強化することで、余分な主記憶の消費を抑制するこ
とができ、同時に、定数に付与された定数マーカーの解
釈処理回数が減少するため、リスト生成処理プログラム
の評価実行が高速になる。

【図面の簡単な説明】

【図１】本発明の一実施例の基本構成を表す図である。

【図２】図１に示す実施例の雛型リスト構造６の解析処
理を示す図である。

【図３】図１に示す変数処理３と定数処理４の関連を表
す図である。

【図４】図１に示す定数保存機構５の動作を示す図であ
る。

【符号の説明】

１ インタプリタ ２ バッククォート構文処理 ３ 定数処理 ４ 変数処理 ５ 定数保存機構 ６ 雛型リスト構造 ７ リスト生成処理プログラム

Claims (1)

【特許請求の範囲】
1. 【請求項１】 構築したいデータ構造の構図を示す雛型
   リスト構造から、そのデータ構造の構図に対応するリス
   ト構造を生み出すリスト生成処理プログラムを動的に作
   り出すリスト処理方式において、前記雛型リスト構造中
   の変数に変数処理を行わせ定数に定数処理を行わせるバ
   ッククォート構文処理と、定数処理の後にシステム既定
   の定数および自己評価式には定数マーカーを付与せずそ
   の他の定数には定数マーカーを付与する定数保存機構と
   を含むことを特徴とするリスト処理方式。