为什么 Scala 类型推断在这里失败？

Question

我在 Scala 中有 this class：

object Util {
  class Tapper[A](tapMe: A) {
    def tap(f: A => Unit): A = {
      f(tapMe)
      tapMe
    }

    def tap(fs: (A => Unit)*): A = {
      fs.foreach(_(tapMe))
      tapMe
    }
  }

  implicit def tapper[A](toTap: A): Tapper[A] = new Tapper(toTap)
}

现在，

"aaa".tap(_.trim)

无法编译，报错

错误：缺少扩展函数的参数类型 ((x$1) => x$1.trim)

为什么类型不是推断为String？从错误看来，隐式转换确实会触发（否则错误将类似于“tap 不是String 类的成员”）。而且看来转换必须是Tapper[String]，也就是说参数的类型是String => Unit（或(String => Unit)*）。

有趣的是，如果我注释掉tap 定义中的任何一个，它就会编译。

Answer 1

6.26.3 重载分辨率

首先确定一组 潜在的功能 根据形状适用 论据

...

如果只有一种选择 在 B 中，选择了该替代方案。

否则，让 S1, . . . , Sm 是 通过键入获得的类型向量 每个参数都有一个未定义的 预期类型。

tap 的两个重载都可能适用（基于参数的“形状”，它解释了 arity 和类型构造函数 FunctionN）。

所以打字机照常进行：

val x = _.trim

失败了。

更智能的算法可以采用每个备选方案的相应参数类型的最小上限，并将其用作预期类型。但这种复杂性并不值得，IMO。重载有很多极端情况，这只是另一种。

但是在这种情况下你可以使用一个技巧，如果你真的需要一个接受单个参数的重载：

object Util {
  class Tapper[A](tapMe: A) {
    def tap(f: A => Unit): A = {
      f(tapMe)
      tapMe
    }

    def tap(f0: A => Unit, f1: A => Unit, fs: (A => Unit)*): A = {
      (Seq(f0, f1) ++ fs).foreach(_(tapMe))
      tapMe
    }
  }

  implicit def tapper[A](toTap: A): Tapper[A] = new Tapper(toTap)

  "".tap(_.toString)
  "".tap(_.toString, _.toString)
  "".tap(_.toString, _.toString, _.toString)
}