Scala 类型参数通过在函数内部声明类型

Question

我刚开始学习 Scala，来自 Java 背景。我一直在尝试理解函数中的类型参数和类型的推断。这是 Scala 文档中的标准示例：

class Decorator(left: String, right: String) {
  def layout[A](x: A) = left + x.toString() + right
}

object FunTest extends Application {
  def apply(f: Int => String, v: Int) = f(v)
  val decorator = new Decorator("[", "]")
  println(apply(decorator.layout, 7))
}

如果我尝试将类型参数应用于 apply 函数并将 v 保持为强类型，则会发生类型不匹配。为什么这里没有推断出类型？

def apply[B](f: B => String, v: String) = f(v) //Type mismatch
def apply[B](f: B => String, v: B) = f(v)      //Works fine

谢谢

Answer 1

让我们看看apply没有它的身体：

 def apply[B](f: B => String, v: String)

上面写着“apply 是一个在类型 B 上参数化的函数（方法），它接受一个从 B 到 String 的函数，以及一个 String”。

将B 视为类型变量；它需要在某个时候实例化。这一点不是apply 的声明。就是当 apply 被应用到 ;-)

根据本合同，必须允许这样的使用：

 def g(i: Int): String = "i is " + i

 apply(g, "foo")  // Here the type variable `B` is "instantiated" to the type Int,

但是考虑到你有一个像f(v) 这样的身体，只是替换，我们看到了矛盾：

替换

 f(v)

有

 g("foo") // can't compile; g takes a B, which is an Int