Graham的Ansi Common Lisp：p.170无法理解例子

作者: 庸人自扰1
发布时间: 2024-04-18 01:33:36 (14天前)
转自：

3 条回复

0#
回复此人
啊这回彻底死了 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <BLOCKQUOTE> 什么时候可以嵌套反引号？ </BLOCKQUOTE> 你可以随时嵌套反引号。但是请注意，此代码不会嵌套它们： <pre> <code> `(foo ; in 1 backquote here ,@(cons 'bar ; in 0 backquotes here `(baz ; in 1 backquotes here ,(random 3)))) </code> </pre> 嵌套反引号看起来像： <pre> <code> `(let ((x `(,,y ,z))) ...) </code> </pre> <BLOCKQUOTE> 为什么Graham在这个例子中嵌套了反引号？ </BLOCKQUOTE> 他没有筑巢。他用第一个反引号生成案例的外部主体，然后用生成的案例填充它 <code> mapcar </code> 。要编写为每个案例生成的代码，他使用第二个反引号 <BLOCKQUOTE> 为什么 <code> ,@ </code> 将案件扩展到 <code> (random ,(length exprs)) </code> 案件？ </BLOCKQUOTE> 它没有这样做。它扩展到 <code> (length exprs) </code> 案例。严格地说，它合并在由其中的任何内容返回的事物列表中，在这种情况下是表达式列表。 <BLOCKQUOTE> 我知道mapcar主要是为了我们可以增加密钥，但是这个宏如何知道总共应用mapcar <code> (random ,(length exprs)) </code> 次？ </BLOCKQUOTE> 那不是什么了 <code> mapcar </code> 是为了什么或用于什么。 <BLOCKQUOTE> 逗号，@是拼接形成的隐式列表怎么样？ </BLOCKQUOTE> 这就是mapcar所做的。 <HR /> 为了解决你的编辑问题，你有一些事情是正确的，但你有太多的问题。 <code> mapcar </code> 按顺序将函数应用于列表的每个元素，将结果收集到列表中： <pre> <code> CL-USER> (mapcar #'1+ '(1 2 3)) (2 3 4) CL-USER>(let ((key -1)) (mapcar (lambda (x) `(,incf key) ,x)) '(foo bar (baz wazoo))) ((0 FOO) (1 BAR) (2 (BAZ WAZOO))) </code> </pre> 这将进入体内 <code> case </code> 表达式：如果随机值为0则返回 <code> FOO </code> ，如果它是1那么 <code> BAR </code> ，等等。 为了获得这个随机值，你可以做到 <code> (random 3) </code> 对于0到2之间的随机整数。 </DIV>

编辑
1#
回复此人
Fire ming | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> 写它的另一种方法（摆脱LET，MAPCAR +副作用INCF代码）： <pre> <code> CL-USER 44 > (defmacro random-choice (&rest exprs &aux (n (length exprs))) `(case (random ,n) ,@(loop for ci below n and expr in exprs collect `(,ci ,expr)))) RANDOM-CHOICE CL-USER 45 > (macroexpand-1 '(random-choice 10 21 32 43)) (CASE (RANDOM 4) (0 10) (1 21) (2 32) (3 43)) </code> </pre> 宏使用带有计算的反引号形式。我们可以提取计算并将部分分配给变量： <pre> <code> CL-USER 46 > (defmacro random-choice (&rest exprs &aux (n (length exprs))) (let ((keyform `(random ,n)) (clauses (loop for ci below n and expr in exprs collect `(,ci ,expr)))) `(case ,keyform ,@clauses))) RANDOM-CHOICE CL-USER 47 > (macroexpand-1 '(random-choice 10 21 32 43)) (CASE (RANDOM 4) (0 10) (1 21) (2 32) (3 43)) </code> </pre> 正如您所看到的那样，反引号形式可以独立计算，并在最后以反引号形式组装。 当宏函数包含代码片段时，最好将它们保留为引用或反引号形式 - ＆gt;这使它们更容易在宏功能中识别。用列表计算替换它们（使用 <code> list </code> ， <code> cons </code> ，...）不太方便，可读性差。但是，然后需要将反引号/不引号的顺序正确。在我的例子中，它稍微容易一些，因为部件是独立计算的。这有助于理解宏，因为它更符合语法 <code> case </code> ： <pre> <code> CASE keyform {normal-clause}* [otherwise-clause] normal-clause::= (keys form*) </code> </pre> 这里我们只使用 <code> keyform </code> 来自的0..n-1条款 <code> {normal-clause}* </code> 。我们也不使用 <code> otherwise-clause </code> 。 </DIV>

编辑

登录后才能参与评论