在 Scheme 中使用“do”

Question

CODE SNIPPET 1 和 CODE SNIPPET 2 有什么区别？

;CODE SNIPPET 1
(define i 0)                      
(do ()                             
  ((= i 5))                       ; Two sets of parentheses
  (display i)                     
  (set! i (+ i 1))) 


;CODE SNIPPET 2
(define i 0)                      
(do ()                             
  (= i 5)                         ; One set of parentheses
  (display i)                     
  (set! i (+ i 1))) 

第一个代码 sn -p 产生 01234，第二个产生 5。这是怎么回事？额外的一组括号有什么作用？另外，我看到使用[(= i 50)] 代替((= i 5))。有区别吗？谢谢！

Answer 1

do 形式的一般结构是这样的：

(do ((<variable1> <init1> <step1>)
     ...)
    (<test> <expression> ...)
  <command> ...)

释义http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-6.html#node_chap_5，每次迭代都从评估<test>开始，如果评估为真值，则从左到右评估<expression>s，最后一个值作为do形式的结果返回.在您的第二个示例中，= 将被评估为布尔值，意思是 true，然后 i 将被评估，最后 5 是表单的返回值。在第一种情况下，(= i 5) 是测试，do 表单返回一个未定义的值。编写循环的通常方法是这样的：

(do ((i 0 (+ i 1)))
    ((= i 5) i)      ; maybe return the last value of the iteration
  (display i))

您不需要循环变量的显式突变，因为这是由<step> 表达式处理的。

Answer 2

在第一种情况下，((= i 5)) 用作终止测试。所以 do 循环会重复直到 i = 5。

在第二种情况下，(= i 5) 不是测试。 do 循环只是执行第一个表单，它返回 5。

--

（根据附加的 cmets）括号在方案的某些方言中是可以互换的。有时将 [] 用于参数（即对父 do）被认为是惯用的。