1

在玩图表时，我遇到了一个我不太理解的奇怪错误。下面的代码重现了该问题。

;; Define struct to store a node with links to other nodes.
(defstruct node properties links)

;; Make two nodes
(setf a (make-node :properties '(:name a))
      b (make-node :properties '(:name b)))

;; Create link from b to a. This works fine...
(push b (node-links a))

;; ... but this crosslink makes lisp chase its own tail for a while and then crash with a stack overflow.
(push a (node-links b))

我使用 SBCL 和 Clozure 得到了相同的结果。设置*print-length*为可管理的值不起作用。

所以我的问题是：为什么这段代码不创建与循环列表相同的无限打印循环（即，没有堆栈溢出并且可以使用 Ctrl-C 停止）。任何输入表示赞赏。

谢谢，保罗

4

1 回答 1

6

*print-length*控制列表中元素的数量。你正在寻找*print-level*. 这对我来说很好。

(let ((*print-level* 3))
  (format t "~W~%" a))
;; Output: #S(NODE :PROPERTIES (:NAME A)
;;  :LINKS (#S(NODE :PROPERTIES # :LINKS #)))

或者，您可以使用*print-circle*来检测周期并以更好的方式打印它们。

(let ((*print-circle* t))
  (format t "~W~%" a))
;; Output: #1=#S(NODE :PROPERTIES (:NAME A)
;;  :LINKS (#S(NODE :PROPERTIES (:NAME B) :LINKS (#1#))))

在这里，它实际上检测到循环并打印#1#出对 的引用以#1=表明它是同一个对象。

于 2018-07-03T00:49:08.897 回答