Function READ-DELIMITED-LIST

char - 文字
input-stream - 入力ストリーム指定子。デフォルトは標準入力。
recursive-p - generalized-boolean。デフォルトはfalse。
list - 読み込まれたオブジェクトのリスト

定義

read-delimited-listは、 input-streamからオブジェクトの表現のあとにある次の文字（空白文字とコメントは無視します）がcharになるまで複数のオブジェクトを読み込みます。

read-delimited-listは、各ステップで次の非空白文字を先読みし、 peek-charのようにのぞき見を行います。もしそれがcharのとき、その文字は消費され、オブジェクトのリストが返却されます。もしそれが構成要素かエスケープ文字のとき、 readはオブジェクトの読み込みに使われ、リストの終端に追加されます。もしそれがマクロ文字のとき、そのリーダーマクロ関数が呼び出されます。もしその関数が値を返却するとき、その値がリストに追加されます。こののぞき見による先読みのプロセスは繰り返されます。

recursive-pがtrueのとき、この呼び出しはより高い階層のreadや似た関数に埋め込まれた呼び出しであると見なされます。

read-delimited-listの処理中にファイルの終わりに到達したときはエラーが発生します。

charが現在のリードテーブル内において、空白の構文タイプを持っていたときの結果は未定義です。

例文

(read-delimited-list #\]) 1 2 3 4 5 6 ]
=>  (1 2 3 4 5 6)

ここで、#{a b c ... z}を読み込むとその要素a, b, c, ..., zの全てのペアのリストとして読み込まれるようにしたいことを考えます。

これは、#{のマクロ文字を定義することで実現できます。マクロは、}までの全ての要素を読み込むこと、それらのペアを構築することのふたつの動作から構成されます。

(defun |#{-reader| (stream char arg)
  (declare (ignore char arg))
  (mapcon #'(lambda (x)
             (mapcar #'(lambda (y) (list (car x) y)) (cdr x)))
         (read-delimited-list #\} stream t))) =>  |#{-reader|

(set-dispatch-macro-character #\# #\{ #'|#{-reader|) =>  T 
(set-macro-character #\} (get-macro-character #\) nil))

引数のrecursive-pにtrueを指定していることに注意してください。

ここで、文字}に定義を与え、構成要素にならないようにすることも必要です。

もし次の行に示されるものが実行に含まれてなかった場合、

(set-macro-character #\} (get-macro-character #\) nil))

この中に存在する文字}は構成文字としてみなされるので a}という名前のシンボルの一部になります。これは}の前に空白を置くことによって正しくすることもできますが、 set-macro-characterを呼び出した方が適切です。

文字}には標準の定義である文字)と同じ定義を与えた方が、よく似たものとして便利であり、それはread-delimited-listを用いたトークンの終端とそれ以外の文脈で使われたときに不正であると見なす機能が与えられます。単体の}を読み込もうとしたときは、エラーが通知されます。

影響

例外

参考

備考

read-delimited-listは、リーダーマクロの実装で使用されることを意図しています。通常、charをマクロ文字の終端にすることが望まれ、区切り文字としてのトークンとして使用することができます。しかしread-delimited-listは、現在のリードテーブルに対して charをそのような構文に変更しようとはしません。この呼び出しを行うものが、リードテーブルの構文を明に変更する必要があります。

Function READ-DELIMITED-LIST

構文

引数と戻り値

定義

例文

影響

例外

参考

備考