私はネストされたマクロ呼び出しをいくつかテストしてきましたが、それらは期待どおりに機能しました (...私が期待したとおりです!)たとえば、架空のaddマクロと次の式を想定します。
add(1, add(2, 3))
最初に内側の add が展開され (2 + 3)、次に外側の add がその役割を果たします (1 + (2 + 3))。外側のマクロは内部呼び出し (入力式) からノイズを受け取らないことがわかったので、内部展開は完全に透過的に見えます。この事実は、(より複雑なマクロや型であっても) 常に成り立ちますか? そうしても安全ですか？