2

このようなコードを作成しましたが、結果は普通なリストになっていませんでした。

(defun ins (x f s)
  (cons
   (append f (cons x s))
   (if (null s)
       nil
     (ins x
          (reverse (cons (car s) (reverse f)))
          (cdr s)))))

実行結果:

(ins 4 nil '(1 2 3))
((4 1 . #1=(2 . #2=(3))) (1 4 . #1#) (1 2 4 . #2#) (1 2 3 4))

同じコードをemacsで実行した場合、問題がなかったです。

(ins 4 nil '(1 2 3))
((4 1 2 3) (1 4 2 3) (1 2 4 3) (1 2 3 4))

xyzzyでemacsと同じ結果になれないでしょうか。

1 件の回答 1

2

#1= #1# というのはCommon Lisp系Lispでは同じデータを参照していることを示す表示です。
xyzzyはCommon Lispに六割程度準拠とのことですが、Common Lispであれば、 *print-circle*nil に設定することで、共有構造の表示を無効にできます。

(setq *print-circle* nil)

(ins 4 nil '(1 2 3))
→ ((4 1 2 3) (1 4 2 3) (1 2 4 3) (1 2 3 4))

しかし、上記をxyzzyで試したところ、この設定は有効にならないようです(バグ?)

今回の場合は、同じセルデータを共有していることが明示されているだけですので、ins が出力するデータの内容については変わりありません。

(equal '((4 1 . #1=(2 . #2=(3))) (1 4 . #1#) (1 2 4 . #2#) (1 2 3 4))
       '((4 1 2 3) (1 4 2 3) (1 2 4 3) (1 2 3 4)))
→ t

なお発想を転換して、構造を共有しないことにすれば(使い回しではなく毎度新規に作成する)、当然ながら共有構造の表示はされなくなります。

(defun ins (x f s)
  (cons
   (append (copy-tree f) (cons x (copy-tree s)))
   (if (null s)
       nil
       (ins x
            (reverse (cons (car s) (reverse f)))
            (cdr s)))))
(ins 4 '((a) (b) (c)) '(1 2 3 (4)))
→ (((a) (b) (c) 4 1 2 3 (4))
   ((a) (b) (c) 1 4 2 3 (4))
   ((a) (b) (c) 1 2 4 3 (4))
   ((a) (b) (c) 1 2 3 4 (4))
   ((a) (b) (c) 1 2 3 (4) 4))

上記では、copy-treeで、リストfsをディープコピーしています。

1
  • 2
    補足: xyzzy では評価式の出力を行う際に *print-circle*=t をハードコードしているため外部で変数を変更しても無効化されるようです(なのでバグ?というより仕様に近い)。github.com/xyzzy-022/xyzzy/blob/…
    – kosh
    Commented 2020年6月6日 12:53

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

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