Scala 如何获得 f 字符串插值的类型安全

Question

Scala 如何在 f 方法字符串插值上获得类型安全。StringContext.f 方法采用 Any 的参数。那么它如何判断是否需要 Int、Double 等：

def f(args: Any*): 字符串

Answer 1

方法以宏的形式f实现。

在编译时调用宏实现。这是来源或实现。

方法f定义为def f(args: Any*): String，但宏实现可以获取实际参数类型（as args: List[Tree]）和实际字符串内容。