了解Common Lisp的做宏观语法

Question

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

这是关于关键字Lisp的教科书的例子“做”

的“做”的基本模板是：

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

但是，在这个例子中，它是不清楚哪个部分是哪个。而且，中间两条线是做什么的？

谢谢！

Answer 1

你的好缩进清楚地显示这部分是：

(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没有出现第三个参数：没有S的身体评论（空循环）。

Answer 2

(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 Fibonacci数

---

可选EBNF /形式化语法：

根据的语法是：

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

理解，这需要的Hyperspec

Answer 3

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

的EBNF知识和大块做了3部分。

1. 可变
2. 终止条件
3. 体

在这个特定的示例中，存在没有身体。所有真正的工作完成1.和2.首先它设置3个变量，并给出初始值和步骤形式。例如。 n设置为0，在每次迭代期间它步骤还：(1+ n)将递增n

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

结合所有这些，在这个do例如，它会从1相加为10，得到55