使用reify和编写Scala中的卫生宏很容易eval.但是并不总是可以使用reify和eval.
那么,如果一个人不能使用它们,那么确保宏是卫生的规则是什么？有没有办法测试一个宏,以确保没有不良卫生已经滑过裂缝？
UPD.在后来的里程碑2.10.0中,Expr.eval重命名为Expr.splice.
Eug*_*ako 10
Reify是卫生的,因为它与Ident和This树一起保存符号.
如果您的宏扩展结果没有附加到idents的符号(例如,您只有Ident("x")来指定对名为x的引用的引用),那么宏扩展的后续类型检查将x绑定到范围内的任何内容调用站点(或者如果该范围没有x,则会出现编译错误).
相比之下,当您的宏扩展具有其标识的符号时,类型检查器不会尝试重新解析它们,而只是使用它具有的内容.这意味着当您重新表达一个表达式并在宏扩展中使用结果时,它会将其符号带入调用站点.好吧,并非所有符号,例如,不可能引用局部变量或私有/受保护的东西,但是对全局可访问的声明的引用是持久的.
最重要的是检查你的宏是否卫生,检查你的idents和thises是否附有符号.您可以通过重新生成或手动将符号分配给手工制作的树来实现此目的.
| 归档时间： |
|
| 查看次数： |
437 次 |
| 最近记录： |