宏和数组交叉

Question

我遇到了 lisp 宏的问题。我想创建一个宏 根据数组生成一个switch case。

下面是生成switch-case的代码：

(defun split-elem(val)
  `(,(car val) ',(cdr val)))

(defmacro generate-switch-case (var opts)
  `(case ,var
     ,(mapcar #'split-elem opts)))

我可以用这样的代码来使用它：

(generate-switch-case onevar ((a . A) (b . B)))

但是当我尝试做这样的事情时：

(defparameter *operators* '((+ . OPERATOR-PLUS)
                            (- . OPERATOR-MINUS)
                            (/ . OPERATOR-DIVIDE)
                            (= . OPERATOR-EQUAL)
                            (* . OPERATOR-MULT)))

(defmacro tokenize (data ops)
  (let ((sym (string->list data)))
    (mapcan (lambda (x) (generate-switch-case x ops)) sym)))

(tokenize data *operators*)

我收到此错误：*** - MAPCAR: A proper list must not end with OPS，但我不明白为什么。

当我打印ops 的类型时，我得到SYMBOL 我期待CONS，这是否相关？

另外，对于我的函数tokenize，lambda 被评估了多少次（或宏展开）？

谢谢。

Answer 1

这毫无意义。您尝试使用宏，功能就足够了。

你想要的是类似这样的：

(defun tokenize (data ops)
    (mapcar (lambda (d)
               (cdr (assoc d ops)))
            (string->list data)))

CASE 是一个需要一堆固定子句的宏。它不接受在运行时计算的子句。如果列表数据应该驱动计算，那么使用 ASSOC 之类的函数。

GENERATE-SWITCH-CASE 也是一个奇怪的名字，因为宏是一个 switch case。

GENERATE-SWITCH-CASE 也确实需要一个列表作为第二个参数。但在 TOKENIZE 中，您使用符号 OPS 来调用它。请记住，宏使用 Lisp 源代码进行计算。

接下来，也没有涉及数组。 Lisp 有数组，但在你的例子中没有。

典型建议：

1. 如果您想编写宏，请三思。把它写成一个函数。

2. 如果你还想写宏，转到1。