- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我的难题是以下示例:
(defmacro macro1 [x]
(println x))
(defn func1 [x]
(println x))
(defmacro macro2 [x]
`(macro1 ~x)
(func1 x))
(defmacro macro3 [x]
(func1 x)
`(macro1 ~x))
(println "macro2")
(macro2 hello)
(println "macro3")
(macro3 hello)
令人惊讶的是,输出是:
macro2
hello
macro3
hello
hello
为什么macro2和macro3的输出不同?在我的理解中,所有宏内部宏的调用都可以用函数代替(除了重用的原因)。我的理解有什么问题吗?
<小时/>感谢迈克尔的澄清。我的一般问题是如何选择使用函数或宏内宏来操作 s 表达式。我想知道它们是否可以互换使用,除了它们在不同阶段进行评估之外。另一个例子:
(defn manipulate-func [x]
(list + x 1))
(defmacro manipulate-macro [x]
(list + x 1))
(defmacro macro1 [x y]
[(manipulate-func x) `(manipulate-macro ~y)])
(println (clojure.walk/macroexpand-all '(macro1 (+ 1 2) (+ 3 4))))
;; [(#<core$_PLUS_ clojure.core$_PLUS_@332b9f79> (+ 1 2) 1) (#<core$_PLUS_ clojure.core$_PLUS_@332b9f79> (+ 3 4) 1)]
最佳答案
macro2
不调用macro1
。看它的 body :
`(macro1 ~x)
(func1 x)
第一行是语法引用的;它的值是 (user/macro1 x-value)
形式的列表结构(假设 macro1
是在 user
命名空间中定义的; x-value
这里是提供给 macro2
的文字参数),它没有副作用。因为没有副作用并且该值被丢弃,所以这一行没有任何效果。
响应编辑:
首先,区分在宏体内调用另一个宏与向另一个宏发出调用非常重要:
(defmacro some-macro []
...)
;; calls some-macro:
(defmacro example-1 []
(some-macro))
;; emits a call to some-macro:
(defmacro example-2 []
`(some-macro))
其次,在调用宏体内的函数和宏时,必须记住运行时和编译时的相关概念:
宏调用的函数将在宏扩展器的运行时调用,从用户代码的角度来看,这是编译时;
宏调用的宏将在宏体编译时展开。
如果一个宏发出对另一个宏的调用,则与发出的宏调用相关的运行时和编译时间的概念将与与原始宏调用相关的相同。如果一个宏调用另一个宏,它们就会向后移动一步,就像以前那样。
为了说明这一点,让我们考虑一个将其所有工作委托(delegate)给辅助函数的宏:
(defn emit-abc [abc-name [a b c]]
`(def ~abc-name {:a ~a :b ~b :c ~c}))
(defmacro defabc [abc-name abc-vals]
(emit-abc abc-name abc-vals))
来自 REPL:
user> (defabc foo [1 2 3])
#'user/foo
user> foo
{:a 1, :c 3, :b 2}
如果 emit-abc
本身就是一个宏,则上面的 defabc
定义甚至无法编译,因为 emit-abc
会尝试解构文字符号 abc-vals
,抛出 UnsupportedOperationException
。
这是另一个示例,可以更轻松地解释所发生的情况:
(let [[a b c] [1 2 3]]
(defabc foo [a b c]))
defabc
接收三个文字符号 a
、b
和 c
的向量作为第二个参数;它无法访问运行时值 1
、2
和 3
。它将这个精确的符号向量传递给函数 emit-abc
,然后该函数能够访问该向量并提取符号以生成映射 {:a a :b b :c c}
。该映射成为 defabc
调用的扩展。在运行时,a
、b
和 c
结果绑定(bind)到值 1
、2
和 三
,因此生成了 map {:a 1 :b 2 :c 3}
。
假设我们尝试将 emit-abc
编写为具有相同主体的宏(只需在其定义中将 defn
更改为 defmacro
)。然后我们就无法从 defabc
中有效地调用它,因为我们没有任何方法向它传递 defabc
参数的实际值。我们可以写
(emit-abc abc-name [(abc-vals 0) (abc-vals 1) (abc-vals 2)])
使defabc
编译,但这最终会发出abc-name
作为正在定义的Var的名称,并包含向量文字[的代码a b c]
在生成的代码中出现三次。然而,我们可以发出对它的调用:
`(emit-abc ~abc-name ~abc-vals)
这按预期工作。
关于clojure - 宏内调用函数和宏的区别?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20865271/
平时很少在jquery中用到this。查看代码时发现用到了,就调试出this的值,心想原来如此。还是挺有用的。这里总结一下this与$(this)的区别和使用。 $(this)生成的是什么?
使用单例类和应用程序范围的托管 bean 来保存应用程序数据有区别吗? 我需要查找某些 JNDI 资源,例如远程 bean 接口(interface),因此我为自己编写了一个单例来缓存我的引用并且只允
如果您仔细查看包含的图片,您会注意到您可以使用 Eclipse IDE 重构 Groovy 代码并将方法转换为闭包,反之亦然。那么,闭包到底是什么,它与方法有什么不同呢?有人可以举一个使用闭包的好例子
vagrant box repackage有什么区别( docs ) 和 vagrant package ( docs )? 我意识到 vagrant package仅适用于 VirtualBox 提
我想看看是否有人可以解释为什么以下代码适用于 valueOf 但不适用于其他代码。 import java.math.BigDecimal; public class Change { publ
这个问题已经有答案了: 已关闭12 年前。 Possible Duplicates: What is Closures/Lambda in PHP or Javascript in layman te
This question already has answers here: Vagrant, Docker, Puppet, Chef (3个答案) 2年前关闭。 docker和chef有什么共同
以下代码在95%的机器上产生相同的输出,但是在几台机器上却有所不同。在 Debug模式下,输出: Changing from New to Fin OK 但在 Release模式下: Changing
////Creating Object var Obj; // init Object Obj= {}; 它们之间有什么区别两个? 有没有可能把它变成一个单行? 这样使用有什么好处吗?
我想找出定时器服务之间的区别。我应该使用哪个以及何时使用。我正在使用 Jboss 应用服务器。 1) java.ejb.Schedule。 @Schedule注解或配置自xml。 2) javax.e
我发现在 C++ 中可以通过三种不同的方式将对象传递给函数。假设我的类(class)是这样的: class Test { int i; public: Test(int x);
有什么区别。 public class Test { public static void main(String args[]) { String toBeCast = "c
如果我有一列,设置为主索引,设置为INT。 如果我不将其设置为自动递增,而只是将唯一的随机整数插入其中,与自动递增相比,这是否会减慢 future 的查询速度? 如果我在主索引和唯一索引为 INT 的
这两种日期格式有什么区别。第一个给出实际时间,第二个给出时间购买添加时区偏移值。 NSDateFormatter * dateFormatter = [[NSDateFormatter alloc]
如果有一个函数,请说foo: function foo() { console.log('bar'); } 那么在 JavaScript 中,从另一个函数调用一个函数有什么区别,如下所示: f
关闭。这个问题是opinion-based 。目前不接受答案。 想要改进这个问题吗?更新问题,以便 editing this post 可以用事实和引文来回答它。 . 已关闭 4 年前。 Improv
代码是什么: class Time { private: int hours; int minutes; int seconds; pu
我知道这是非常基本的,但有人介意解释一下这两个数组声明之间的区别吗: #include array myints; ...和: int myints[5]; ...以及为什么 myints.size
我学会了如何根据 http://reference.sitepoint.com/css/specificity 计算 css 特异性但是,基于this reference,我不明白伪类(来自c)和伪元
为什么在运行 2) 时会出现额外的空行?对我来说 1 就像 2。那么为什么 2) 中的额外行? 1) export p1=$(cd $(dirname $0) && pwd) #
我是一名优秀的程序员,十分优秀!