斯卡拉 – 在没有灵气的情况下确保卫生
发布时间：2020-12-16 18:59:12 所属栏目：安全 来源：网络整理
导读：使用reify和eval在 Scala中编写卫生宏很容易.但 it’s not always possible使用reify和eval. 那么,如果一个人不能使用它们,那么确保宏是卫生的规则是什么？有没有办法测试一个宏,以确保没有不良卫生已经滑过裂缝？ UPD.在后来的2.10.0里程碑中,Expr.eval被重
|
使用reify和eval在
Scala中编写卫生宏很容易.但
it’s not always possible使用reify和eval.
那么,如果一个人不能使用它们,那么确保宏是卫生的规则是什么？有没有办法测试一个宏,以确保没有不良卫生已经滑过裂缝？ UPD.在后来的2.10.0里程碑中,Expr.eval被重命名为Expr.splice. 解决方法
Reify是卫生的,因为它与Ident和This树一起保存符号.
如果您的宏扩展结果没有附加到idents的符号(例如,您只有Ident(“x”)来指定对名为x的引用的引用),那么宏扩展的后续类型检查将x绑定到范围内的任何内容调用站点(或者如果该范围没有x,则会出现编译错误). 相比之下,当您的宏扩展具有其标识的符号时,类型检查器不会尝试重新解析它们,而只是使用它具有的内容.这意味着当您重新表达一个表达式并在宏扩展中使用结果时,它会将其符号带入调用站点.好吧,不是所有符号,例如不可能引用局部变量或私有/受保护的东西,但是对全局可访问的声明的引用是持久的. 最重要的是检查你的宏是否卫生,检查你??的idents和thises是否附有符号.您可以通过重新生成或手动将符号分配给手工制作的树来实现此目的. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |