Scala如何在f字符串插值上獲得類型安全性

Question

Scala如何在f方法上獲得類型安全性字符串插值。 StringContext.f方法採用Any的參數。那麼它是如何能夠告訴一個Int，雙人間等是否需要：

高清F（ARGS：任何*）：字符串

Answer 1

方法f作爲macro實施。

在編譯時調用宏實現。這裏是source或實現。

方法f定義爲def f(args: Any*): String，但是宏的實現可以得到實際的參數類型（如args: List[Tree]）和實際的字符串內容。