提问人:Spike's dad 提问时间:2/24/2017 最后编辑:Rainer JoswigSpike's dad 更新时间:2/25/2017 访问量:760
在 lisp 中按值传递参数
Passing by parameters by value in lisp
问:
我遇到的问题是我无法绕过 lisp 按值而不是按引用传递数组的事实。
当我研究这个问题时,其他人问题的解决方案分为四类。
- 使用闭合
- 从功能上思考
- 使用宏
- 使用全局变量,即 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)))))
答:
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)
评论
SUBSEQ