多态函数中的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) 
    } 
} 

我不知道如何界定“撰写”功能，能够接收一些具体的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将抛出一个空函数的例外。