方案 - 为关联列表编写绑定函数？

Question

我正在尝试在 Scheme 中编写一个函数，它只是使用set! 创建一个关联列表。

该函数将接受三个参数：键、值和关联列表，并返回新的关联列表。我的代码如下：

(define al '((A 1) (B 2) (C 3)))

(define (bind k v al)
    (cond
       ((null? al) set! al '((k v)))
       (else (set-car! al '(k v)))))

我希望代码按如下方式工作：

现有关联列表：((A 1) (B 2) (C 3))

函数调用： (bind D 4 al)

输出： ((A 1) (B 2) (C 3) (D 4))

但我收到错误：set!: bad syntax in: set! 首次使用 set!

我如何错误地使用set!？

Answer 1

您缺少 set! 调用周围的括号：

(define (bind k v al)
    (cond 
        ((null? al) (set! al '((k v))))
        (else (set-car! al '(k v))))))

顺便说一句，你还有其他问题：

1. set! 设置的是局部变量，而不是全局变量。您的函数应该返回al 的新值。要使用它，你需要做(set! al (bind 'D 4 al))。还要注意调用时需要引用D，否则会尝试使用变量D的值。
2. 变量不在带引号的列表中计算。因此，您将文字符号 k 和 v 放入关联列表，而不是这些参数的值。
3. set-car! 将替换列表的第一个元素，而不是向列表中添加新元素。您需要使用cons 添加到列表中。

正确的代码应该是：

(define (bind k v al)
    (cond 
        ((null? al) (set! al (list (list k v)))
        (else (set! al (cons (list k v) al))))
    al)

但是加入一个空列表和创建一个新列表是一样的，所以不需要null?检查；这两种情况是一样的。只是：

(define (bind k v al)
    (cons (list k v) al))