scala – 如何在设计业务应用程序时使用协同和对比差异？

trait Function1[-T1,+R]

对于参数而言是反变量( – )，对于返回类型是共变量()。

为什么？

想象你有这些课程：

class Timelord { ... }
class Doctor extends Timelord { ... }

class Enemy { ... }
class Dalek extends Enemy { ... }

如果你有一个方法，作为一个参数，Doctor =>敌方功能;那么可以提供TimeLord =>的实例敌人。它仍然会接受医生的实例。

所以TimeLord =>敌人是Doctor =>的子类敌人因为TimeLord是Doctor的超类，它在该参数中是相反的。

同样，当你需要返回一些敌人的功能时，返回Dalek的函数是有效的，因为Dalek是一个敌人

所以医生=> Dalek是Doctor =>的子类敌人因为Dalek是敌人的一个子类，它在该参数中是协变的。