Common Lisp tun Makro-Syntax Das Verständnis

Question

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

Dies ist ein Beispiel von Lisp Lehrbuch über Schlüsselwort ist "do"

die "do" grundlegende Vorlage ist:

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

Aber für dieses Beispiel, es ist mir ist nicht klar, welcher Teil welcher ist. Und was machen die mittleren 2 Zeilen?

Vielen Dank!

Answer 1

Ihre gute Einbuchtung ergibt:

(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 

Schauen Sie, sie in einer Reihe aufstellen schön, und das innere Material ist zerklüftet:

((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. 

Ihr do kein drittes Argument hat es: es gibt keinen Körper s Aussagen (leere Schleife).

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 
) 

übersetzen in c-like Code

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; 

übrigens sollten Sie in der Lage sein, zu sehen, dass dieser Code gibt den 10. Fibonacci-Zahl

---

Optional EBNF/formale Syntax:

Die Syntax gemäß der Hyperspec ist:

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

Dies zu verstehen erfordert Kenntnisse über EBNF und große Brocken des Hyperspec

Answer 3

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

tun hat 3 Teil.

1. Variable
2. Abbruchbedingung
3. Körper

In diesem speziellen Beispiel gibt es keinen Körper. Alles echte Arbeit von 1. und 2. Zuerst richten Sie 3 vars ein und geben Initialwert und Schrittform an. Z.B. n auf 0 gesetzt und während jeder Iteration es weiter die Schritte: (1+ n) die die Bedingung n

das Terminate inkrementieren werden ((= n 10) cur) ist: wenn n gleich 10. Da die cur wie der gesamte Rückgabewert dieses do Ausdrucks zurück.

all diese kombinieren, in diesem do Beispiel wird es von 1 bis 10 zusammenzufassen, die der Teil ist, das zeigt deutlich, 55