Scala 多态函数中的自动类型推断

Question

我怎样才能做到这一点？我手头的任务有点复杂，但归结为：

object Z {
  class B extends Function1[Int, Int] {
    def apply(i: Int): Int = i
  }

  def compose[T <: Function1[X, X], X](fcts: List[T]): Function1[X, X] = {
    fcts.reduce(_ andThen _)
  }

  def test() = {
    val fcts = List.empty[B]

    // Unspecified type parameter X
    val composed: Function1[Int, Int] = compose[B](fcts)
  }
}

我不知道如何定义“compose”函数以便能够接收一些具体的类 B 并自动推断依赖类型 X

Answer 1

Scala 编译器在尝试像您一样推断多级类型参数时表现不佳。相反，删除T <: Function1[X, X] 并只需要一个表示Function1 的参数和返回类型的类型参数会更简单。

def compose[A](fcts: List[Function1[A, A]]): Function1[A, A] = {
  fcts.reduce(_ andThen _)
}

当X 是T 类型的一部分时，编译器将更容易简单地推断A，而不是试图弄清楚T 和X 是什么。

val a: Int => Int = _ + 10
val b: Int => Int = _ * 2
val c: Int => Int = _ - 3

scala> val f = compose(List(a, b, c))
f: Int => Int = scala.Function1$$Lambda$1187/930987088@531ec2ca

scala> f(2)
res1: Int = 21

请注意，reduce 将为空函数列表引发异常。