Macro的写法 `( , ,@ )

---

 

另外的注意点：

  1.  同名符号的 “变量捕捉” （varible capture) 

     解决方式：  with-gensym 生成几个unique name-s， 然后将它们各自绑定上参数值

 2. 多次求值 、 求值顺序

   ①多次求值： 比如参数传进来的某个 s-expression的计算是带有副作用的（求值次数不能多求）， 你必须控制它只会被计算一次，  而不能在 `( ) 内出现多次 ,s

   解决方式：   only-one  

   就如上图一样， 把 ,stop先求值一次 并把结果赋给 gstop ，则不会出现多个 ,stop了

   ②求值顺序 ：  比如上图中 start , stop 都是有副作用的计算，那就必须保证 start 在 stop 之前求值，不能改变求值顺序。   

3. modify-macro (修改宏）

   比如库中的 incf 这个宏，类似的 第一个参数为目标变量place的 修改， 都得靠 define-modify-macro 来实现。（特征：place是第一个参数、且返回值是修改后的对象）

 

---

 

转载于:https://www.cnblogs.com/nanlan2017/p/9671953.html