scala - 嵌套宏调用是否安全？

Question

我一直在测试一些嵌套的宏调用，它们按预期工作(...正如我所期望的!)例如，假设一个虚构的 add 宏和以下表达式:

add(1, add(2, 3))

首先内部添加扩展(2 + 3)，其次外部添加完成其部分(1 +(2 + 3))。我已经看到外部宏没有从内部调用中接收到任何噪音 - 在输入表达式中 - 所以内部扩展对它来说似乎是完全透明的。这个事实是否总是成立(即使有更复杂的宏和类型)？这样做安全吗？

Answer 1

最里面的宏总是首先展开(即使它们作为按名称参数提供)。