有这么两个common lips 宏的定义：
(defmacro destructuring-switch-bind (lambdalist expr . body)
  (...))

(defmacro define-local-class (&whole whole &rest args)
  (destructuring-switch-bind (name
                              layer
                              &key
                              (range 1)
                              (depth 0)
                              &switch
                              (var :var))
      args
    (...)))

第一个宏，我看了代码，大概能够明白，但不知道那里面的 expr 和 body 之间的点代表的是啥？

第二个宏，其实就是在第一个宏的外面再套了一层，然后，我就不是很清楚里面这个参数是从哪里来的，或者怎么知道它们的对应关系？

多谢！
--
FROM 220.249.99.*

【 在 wolfgang (狂云) 的大作中提到: 】
: 关于 (a . b)的语法，其中b就相当于这个列表的cdr。
: 具体请参见这个文档：
: https://www.gnu.org/software/emacs/manual/html_node/elisp/Dotted-Pair-Notation.html
: ...................
多谢，我大概知道了 (a . b) 的语法

对于这个问题，我现在的想法是，common lisp 的参数解析是复杂的，理解起来有点儿费劲，比如 &whole

然后，
(defmacro destructuring-switch-bind (lambdalist expr . body)
  (...))
和
  (destructuring-switch-bind (name
                              layer
                              &key
                              (range 1)
                              (depth 0)
                              &switch
                              (var :var))
      args
    (...))
这两者的对应关系是：

lambdalist 对应于 (name layer &key (range 1) (depth 0) &switch (var :var))
expr 对应于 args
body 对应于后面调用中的 (...)

但愿我的理解是对的

真是太伤脑筋了……
--
修改:snoopyzhao FROM 220.249.99.*
FROM 220.249.99.*

我只能说看这里，但是我也不懂。。。

http://clhs.lisp.se/Body/03_dda.htm


【 在 snoopyzhao (只打酱油，不兼职) 的大作中提到: 】
: 多谢，我大概知道了 (a . b) 的语法
: 对于这个问题，我现在的想法是，common lisp 的参数解析是复杂的，理解起来有点儿费劲，比如 &whole
: 然后，
: ...................
--
FROM 111.193.29.*

为啥要看common LISP呢
如果要学LISP的话，可以从简单的LISP方言学起来，比如scheme

【 在 snoopyzhao 的大作中提到: 】
: 有这么两个common lips 宏的定义：
: (defmacro destructuring-switch-bind (lambdalist expr . body)
:   (...))
: ...................
--
FROM 114.249.25.*

【 在 Dieken (风催草低 - 明月何尝不照人) 的大作中提到: 】
: 那个语法不是 dotted pair，而是 Common Lisp 的 Lambda list 语法，点表示 &rest。
: http://clhs.lisp.se/Body/03_dd.htm

Common Lisp 形参的 lambda list 语法真是变态，看得头大……
--
FROM 117.152.220.*