Scala匿名函数Genic方差问题

Question

我正在学习Scala的路上，我很难理解逆变量、协变量、不变性等等。为什么这个例子不能编译，也就是(co-、contra-、in-)方差是如何工作的？我已经了解了函数如何可以被认为是另一个函数的子类型。（知道真有用！）

下面的代码是我认为解决我的难题的重要部分。我摘录了一些我认为会给问题增加不必要的复杂性的部分。根据这个示例，我有一个Studenthtml" target="_blank">对象，它将充当生成函数的工厂。

函数将接受AnyVal(Int、Double、Long等）的类型或子类型，并且返回的输出将是相同的输入类型。为了实现这一点，student类接受一个泛型(a)（它是anyval的子类型）。这里有抽象类，这样我就可以通过执行list[master[AnyVal]](student.func1)这样的操作来引用这些学生的列表。

问题是我不能有行“val function:list[A]=>A”，因为我得到错误“covariant type A发生在value function的type=>list[A]=>A中的逆变位置”。我不知道为什么返回类型必须是A的逆变量。对于基于Function1特性的name来说，我多少可以接受这个事实。

那么我如何在抽象主类中定义函数，使返回类型是类型a的逆变量呢？我找到了一个如何用函数定义的例子（例如def function[B>:A](v:B):list[B])，但是我如何用匿名函数来实现它呢？记住，主抽象类中的“a”必须是协变的，因为将有一个包含所有AnyVal类型(Int、Double等）的函数列表

真的很感谢你的帮助！如果我的术语出了问题，请告诉我。-Scala学习者

abstract class Master[+A] {
    val function: List[A] => A
}

class Student[A <: AnyVal](val function: List[A] => A) extends Master[A]

object Student {
def func1 =
    new Student((params: List[Int])=>params(0) + params(1))
}

val myFunc = Student.func1
val someList = List[Master[AnyVal]](myFunc)

Answer 1

创建带有协变类型参数化的泛型类或特征是非常困难的。添加variance注释后，就不能将该类型用作任何类方法的参数。这是因为函数的参数是反变的，返回类型是协变的。在这个公认的答案中有一个很好的解释。

如果你真的希望类型是协变的，你就得编写所有的方法来取[B>:A]类型的参数--也就是说，取A的超类型作为它们的参数类型。这可能是相当具有挑战性的；在线Scala文档中有一个可能需要的技巧示例。