if 和 cond 之间的区别？

Question

我现在正在学习 sicp 并做 ex2.23 我编写了以下代码：

(define (for-each proc items)
   (if (null? items)
       #t
       ((proc (car items))
        (for-each proc (cdr items)))))

但是在运行时，导致错误：程序应用程序：预期程序，给出：#;参数是： ()

我想我知道原因：我递归地调用 for-each 函数，每个调用的 for-each 都想返回值，

但是当我修改代码时：

(define (for-each proc items)
  (cond ((null? items) #t)
        (else (proc (car items)) (for-each proc (cdr items)))))

它运行良好。我不明白，为什么？在cond中，每次调用for-each都不需要返回值吗？

我使用了 DrScheme，并选择语言 SICP

我的母语不是英语，所以如果有没有描述清楚的地方，请告诉我

Answer 1

但运行时，出现错误： procedure application: Expected >程序，给定：#；参数是：()

我想我知道原因：我递归地调用 for-each 函数，>每个调用 for-each 都想要返回值

否，这是因为在 if 的替代子句中你有组合 ((proc (car items)) (for-each proc (cdr items ）））。您打算按顺序评估两个组合 (proc (car items)) 和 (for-each proc (cdr items))，为此您认为将它们放入另一对括号也可以。但实际上，您指定的是 (proc (car items)) 的结果是一个要应用于参数的过程，该参数是 (for-each proc 的返回值（cdr 项目））。情况并非如此，并且您会收到错误。关键是Lisp中的括号不是为了分组，而是有一定的意义。

问题是 if 在该位置只能有一个组合，而您希望有两个连续组合。另一方面，cond 则不受这样的限制；您可以根据需要在 cond 子句的后续部分中放置任意长的单个组合序列。这种情况就是语言被定义为如何工作的。

在这些情况下，您也可以使用 cond，但如果您仍然想使用 if，可以使用一些选项将多个组合填充到一个组合中。例如您可以创建一个 lambda 过程，其主体是这两个组合并立即将其关闭：

(define (for-each proc items)
   (if (null? items)
       #t
       ((lambda ()
          (proc (car items))
          (for-each proc (cdr items)) )) ))

或者您可以使用 begin ，它实际上是用于这样的目的：

(define (for-each proc items)
   (if (null? items)
       #t
       (begin
          (proc (car items))
          (for-each proc (cdr items)) ) ))