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