动态字符串插值

Question

我想漂亮地打印一个 Product，例如 case class，所以我创建了以下特征：

  trait X extends Product {
    def fmtStrs =
      productIterator map {
        case _ : Double => "%8.2f"
        case _ => "%4s"
      } map (_ + separator) toSeq
    override def toString = {
      new StringContext("" +: fmtStrs : _*) f (productIterator.toSeq : _*)
    }
  }

这使用 StringContext 的 ScalaDoc 中描述的字符串插值。

但是这不会编译，出现这个神秘的错误：

Error:(69, 70) too many arguments for interpolated string
      new StringContext("" +: fmtStrs : _*) f (productIterator.toSeq : _*)

这是错误还是宏的限制？请注意，执行以下操作很好，所以我怀疑这可能与变量参数列表有关：

scala> val str2 = StringContext("","%4s,","%8.2f").f(1,23.4)
str2: String = "   1,   23.40"

Answer 1

f 是一个宏的原因是当格式说明符和参数的类型不匹配时它会给出错误，而这无法通过查看 [=12 来检查=] 和 (productIterator.toSeq : _*)，所以这不起作用并不奇怪。错误信息可能更清楚，所以让我们看看到底发生了什么。

如果您查看 the implementation of f（我花了一些时间才真正找到它，我最终通过搜索错误消息找到了它），您会看到

c.macroApplication match {
  //case q"$_(..$parts).f(..$args)" => 
  case Applied(Select(Apply(_, parts), _), _, argss) => 
    val args = argss.flatten
    def badlyInvoked = (parts.length != args.length + 1) && truly {
      def because(s: String) = s"too $s arguments for interpolated string"
      val (p, msg) =
        if (parts.length == 0) (c.prefix.tree.pos, "there are no parts")
        else if (args.length + 1 < parts.length)
          (if (args.isEmpty) c.enclosingPosition else args.last.pos, because("few"))
        else (args(parts.length-1).pos, because("many"))
      c.abort(p, msg)
    }
    if (badlyInvoked) c.macroApplication else interpolated(parts, args)

通过您的调用，您在 parts 和 argss 中都有一棵树，并且 parts.length != args.length + 1 为真，因此 badlyInvoked 为真。

s 不关心它的参数是什么样的，所以它只是一种方法，你的场景有效。

动态字符串插值

dynamic string interpolation

scala

string-interpolation