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 _)
}

编译器将更容易简单地推断A，而不是试图找出T和X的内容，而X是类型的一部分T。

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将为空的函数列表抛出异常。

Scala自动类型推断多态函数

1 个答案: