10
(do ((n 0 (1+ n))
     (cur 0 next)
     (next 1 (+ cur next)))
    ((= 10 n) cur)))

这是 Lisp 教科书中关于关键字“do”的示例

“做”基本模板是:

(do (variable-definitions*)
    (end-test-form result-form*)
 statement*)

但是,对于这个例子,我不清楚哪一部分是哪一部分。还有,中间的两条线是做什么的?

谢谢!

4

4 回答 4

29
(do ((n 0 (1+ n))  ;declares n, initially 0, n+1 each subsequent iteration)
     (cur 0 next)   ;declares cur, initially 0, then old value of next
     (next 1 (+ cur next))) ;declares next, initially 1, then the sum of (the old) cur and next
    ((= 10 n) ;end condition (ends when n = 10)
     cur)    ; return value
  ;empty body
  )

翻译成类 c 代码

for(n=0, cur=0, next=1 ;
    !(n == 10) ;
    n=old_n+1, cur=old_next, next = old_cur + old_next)
{
    //do nothing 
    old_n = n;
    old_cur = cur;
    old_next = next;
}
return cur;

顺便说一句,您应该能够看到此代码返回第 10 个斐波那契数


可选的 EBNF/正式语法:

根据Hyperspec的语法是:

(do ({var | (var [init-form [step-form]])}*) 
    (end-test-form result-form*) 
    declaration* 
    {tag | statement}*)

理解这一点需要了解EBNF和 Hyperspec 的大部分内容

于 2012-04-17T06:04:18.100 回答
14

您的良好缩进清楚地显示了哪个部分是哪个:

(do ((n 0 (1+ n))
    ^(cur 0 next)
    |(next 1 (+ cur next)))
    |
    +-- first argument of do

    ((= 10 n) cur)))
    ^
    |
    +-- start of second argument of do

看,它们排列得很好,内部材料是缩进的:

   ((n 0 (1+ n))
    (cur 0 next)
    (next 1 (+ cur next)))
    ^
    |
    +- inner material of argument: three forms which are
       indented by 1 character and aligned together.

do在那里没有第三个论点:没有语句体(空循环)。

于 2012-04-17T19:16:56.077 回答
1

有时它可以帮助 1. 用注释注释表单和 2. 打印正文中的当前值,如下所示:

(do
 ;; varlist
 ((n 0 (1+ n))
  (cur 0 next)
  (next 1 (+ cur next)))
 ;; endlist
 ((= 10 n) cur)
  ;; body
  (print (list n cur next)))

这打印

(0 0 1) 
(1 1 1) 
(2 1 2) 
(3 2 3) 
(4 3 5) 
(5 5 8) 
(6 8 13) 
(7 13 21) 
(8 21 34) 
(9 34 55) 
55

这应该澄清问题。@_@

于 2020-07-14T17:03:01.793 回答
0
(do ((n 0 (1+ n))
     (cur 0 next)
     (next 1 (+ cur next)))
    ((= 10 n) cur))

做有3部分。

  1. 多变的
  2. 终止条件
  3. 身体

在此特定示例中,没有主体。1. 和 2 完成的所有实际工作。首先它设置 3 个变量并给出初始值和步骤形式。例如n设置为 0 并且在每次迭代期间它会更进一步:(1+ n)这将增加n

终止条件是((= n 10) cur):当n等于 10 时。然后返回cur作为这个do表达式的整个返回值。

结合所有这些,在这个do例子中,它将从 1 到 10 相加,得出 55

于 2012-04-17T06:05:57.443 回答