在沒有通知的情況下確保衛生

Question

使用reify和eval很容易在Scala中編寫衛生宏。但it's not always possible使用reify和eval。

因此，如果一個人不能使用它們，那麼確保宏觀衛生的規則是什麼？有沒有什麼方法可以測試一個宏，以確保沒有不良的衛生通過裂縫溜走？

upd。在後來的2.10.0里程碑中，Expr.eval被重命名爲Expr.splice。

Answer 1

Reify是衛生的，因爲它將符號與Ident和This樹一起保存。

如果您的宏擴展結果沒有附加到idents的符號（例如，您只有Ident（「x」）來指定對某個名爲x）的引用），則隨後的宏擴展的類型檢查將綁定x到任意在調用網站的範圍內（或者如果該範圍沒有x，則會收到編譯錯誤）。

相比之下，當您的宏擴展具有它的idents的符號時，typechecker不會嘗試重新解析它們，並且只是使用它的內容。這意味着，當您通過表達式並在宏展開中使用結果時，它會將其符號帶入呼叫站點。好吧，不是所有的符號，例如不可能引用局部變量或私有/受保護的東西，但是對全局可訪問的聲明的引用是持久的。

底線是檢查你的宏是否衛生，檢查你​​的idents和thises是否有附加符號。您可以通過編制或手動將符號分配給手工製作的樹木來實現此目的。

Answer 2

由於reify是一個宏，我只是看它的實現來找出它的作用。