在 lisp 中按值传递参数

Passing by parameters by value in lisp

提问人:Spike's dad 提问时间:2/24/2017 最后编辑:Rainer JoswigSpike's dad 更新时间:2/25/2017 访问量:760

问:

我遇到的问题是我无法绕过 lisp 按值而不是按引用传递数组的事实。

当我研究这个问题时,其他人问题的解决方案分为四类。

  1. 使用闭合
  2. 从功能上思考
  3. 使用宏
  4. 使用全局变量,即 defparameter

1 和 2) 我看不出前两个解决方案有什么用。也许我不明白闭包是如何工作的,或者如何从功能上思考。

3)我制作了宏而不是函数,但是当函数自行递归时,它们不起作用(除非它们确实有效并且我只是没有正确编写它们)。

4)我不喜欢全局的想法。

我在我编写的许多函数中都遇到了这个问题。我最成功的是在函数返回时返回数组。但是当函数在数组的子序列上递归时,我就卡住了。

我想要一个通用的解决方案,我如何以不同的方式思考这些问题,而不是这里提交的代码的解决方案。

如果你想引用我试图编写的一段特定代码,就在这里。

我正在尝试用 Lisp 为 HackerRank 编写一些代码。

我需要一个埃拉托色尼筛子(以获得素数)。

我写了以下内容,由于上述原因不起作用。(我的逻辑可能也错了。

;sieve-numbers is an array with :initial-element nil
;sieve-numbers represents only the odd numbers starting at 3
;i.e., (aref sieve-numbers n) represents the value 3+n+n
;when the sieve is done (aref sieve-numbers n) is nil if (+ 3 n n) is prime
;removed is the number of values in the sieve-numbers array that have been chopped off the front

(defun sieve-knock (sieve-numbers n)
    "knock out the n'th value, then recurse with a sieve-numbers array that is missing the first n elements until (length sieve-numbers) < n"
    (format t "sieve-knock  (length sieve-numbers) ~a, n ~a~%" (length sieve-numbers) n)
    (cond ((> n (length sieve-numbers)) 'done)
        (t (setf (aref sieve-numbers (1- n)) t)
           (format t "sieve-knock  sieve-numbers ~a~%" sieve-numbers)
           (sieve-knock (subseq sieve-numbers n) n))))

(defun sieve (sieve-numbers removed)
    "the sieve"
    (format t "sieve sieve-numbers ~a, removed ~a~%" sieve-numbers removed)
    (cond 
        ((= 0 (length sieve-numbers)) 'done)
        ((aref sieve-numbers 0) (sieve (subseq sieve-numbers 1) (1+ removed)))
        (t ;found a prime!
           (sieve-knock (subseq sieve-numbers 1) (+ 3 removed removed))
           (sieve (subseq sieve-numbers 1) (1+ removed)))))
参数 lisp common-lisp pass-by-value

评论

6赞 jkiiski 2/24/2017
Common Lisp 通过引用传递数组。问题是创建一个新数组。如果只需要传递数组的一部分,则可以使用置换数组,或者只传递开始/结束索引。SUBSEQ

答:

6赞 Rainer Joswig 2/24/2017 #1

Lisp 使用数组的引用。将数组传递给函数时,该函数通过参数具有新的引用。传递参数时,不会以任何方式复制或更改数组。

您可以使用递归:

  • 传递数组,不要一直复制新数组
  • 传递索引
  • 返回数组

例:

(defun rknock (sieve-vector pos step)
  (if (>= pos (length sieve-vector))
      sieve-vector
    (progn
      (setf (aref sieve-vector pos) t)
      (rknock sieve-vector (+ pos step) step))))

但是简单的基于 LOOP 的迭代似乎更容易:

(defun knock (sieve-vector start step)
  (loop for pos from start below (length sieve-vector) by step 
        do (setf (aref sieve-vector pos) t))
  sieve-vector)