2

先の質問で引数*posix-argv*を処理しているときに、引数は3つだから最後の要素は

sbcl 170 70

としてsbclを起動してみて、

(cdr (cdr *posix-argv*))

で取れると最初は思いました。

しかし、read-from-stringで、上の値を処理すると、文字列ではないと怒られました。

試しにtype-ofで、型を確認すると

(type-of (cdr (cdr *posix-argv*)))

の結果はconsでした。

これは、上の結果が、"70"が取得されているように見えて
実際は("70" . nil)が取得されているため、"70"を取得するにはもう一度carしないとダメだからという理解で合っているでしょうか?
nthで引数を取得するとread-from-stringが成功して、(cdr (cdr *posix-argv*)が失敗するのがモヤッとするので質問させてください。

1
  • 過去の質問も含めて、タイトルは「〇〇について」と曖昧な表現で切らず、内容が伝わるものを心掛けてください。
    – cubick
    Commented 2月10日 9:06

1 件の回答 1

3

実際は ("70" . nil) が取得されているため、"70" を取得するにはもう一度carしないとダメだからという理解で合っているでしょうか?

はい。

CLHS: Accessor CAR, CDR, CAAR, CADR, CDAR...

Syntax:

cdr x => object

Description:

If x is a cons, cdr returns the cdr of that cons. If x is nil, cdr returns nil.

※ Lisp における list は cons cell でもあります。

$ sbcl 170 70
This is SBCL 2.2.9.debian, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

* *posix-argv*
("sbcl" "170" "70")

* (listp *posix-argv*)
T
* (consp *posix-argv*)
T

* '("sbcl" . ("170" . ("70" . nil)))
("sbcl" "170" "70")

* (equal *posix-argv* '("sbcl" . ("170" . ("70" . nil))))
T

* (cdr (cdr '("sbcl" . ("170" . ("70" . nil)))))
("70")
* (caddr '("sbcl" . ("170" . ("70" . nil))))
"70"

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。