0

以下のコードでは、各関数でローカル変数のみを使用していると思いますが、複数回実行した後の結果は、変数にデータが残っているように見え、古い結果と新しい結果が追加されます。なにが問題ですか？

(defun funcC (target res)
  (cond
   ((null res) (list (list target 1)))
   ((equal (car (car res)) target)
    (setf (cadr (car res)) (+ (cadr (car res)) 1))
    res)
   (t (setf (cdr res) (funcC target (cdr res))) res)
  ))
(defun funcB (l res)
  (cond ((null l) nil)
    ((atom l) (funcC l res))
    ((atom (car l)) 
     (funcB (car l) res)
     (funcB (cdr l) res))
    ((listp (car l)) (funcB (car l) res))
    (t (funcB (cdr l) res)))
  res
)
(defun funcA (l)
  (cdr (funcB l '(())))
)

結果：

Break 27 [30]> lb
(10 7 7 7 4 3 7 3 10 10)
Break 27 [30]> (funcA lb)
((10 3) (7 4) (4 1) (3 2))   ; I want this result to repeat in the next run but...
Break 27 [30]> (funcA lb)
((10 6) (7 8) (4 2) (3 4))   
Break 27 [30]> (funcA lb)
((10 9) (7 12) (4 3) (3 6))  ; Each run adds up to results from previous run

環境: Ubuntu 11.10、GNU CLISP2.49

4

1 に答える 1

3

それはよくある質問です。stackoverflowにこの質問のコピー（原文のまま！）があるはずです。

リテラルfuncAデータが含まれています。このデータは毎回渡されfuncB、そこで変更されます。

実行ごとに、そのデータの新しいコピーを作成する必要があります。を使用しCOPY-TREEます。

Common Lisp標準によれば、リテラルデータを変更すると未定義の結果が生じる可能性があることにも注意してください。たとえば、すべてのリテラルデータを読み取り専用のデータメモリセグメントに配置するコンパイラや、スペースを節約するためにいくつかの場所で同様のリテラルデータを再利用するコンパイラを想像してみてください。

于 2012-03-17T08:50:34.107 に答える