Scala函数子类型

发布时间：2020-12-16 10:05:46 所属栏目：安全来源：网络整理

导读：类型Fun1 = {val a：A} = {val b：B} 类型Fun2 = {val b：B} = {val a：A} 我想知道的是上述类型的超级类型. Fun1：Common Fun2：Common 解决方法由于函数的输入类型是逆变的,并且返回类型是协变的,因此公共输入类型是A和B的“最接近”公共子类型(例如A与B)

类型Fun1 = {val a：A} => {val b：B}

类型Fun2 = {val b：B} => {val a：A}

我想知道的是上述类型的超级类型.

Fun1<：Common Fun2<：Common

解决方法

由于函数的输入类型是逆变的,并且返回类型是协变的,因此公共输入类型是A和B的“最接近”公共子类型(例如A与B),而公共返回类型是A的“最接近”超类型和B(例如Any),所以如果我们对A和B一无所知,答案是：

A with B => Any

例如：

scala> class A
defined class A

scala> class B
defined class B

scala> type Fun1 = A => B
defined type alias Fun1

scala> type Fun2 = B => A
defined type alias Fun2

scala> val f1: Fun1 = (x: A) => new B()
f1: A => B = <function1>

scala> val f2: Fun2 = (x: B) => new A()
f2: B => A = <function1>

// both f1 and f2 can be assigned into a value of type A with B => Any
scala> val f3: A with B => Any = f1
f3: A with B => Any = <function1>

scala> val f4: A with B => Any = f2
f4: A with B => Any = <function1>

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!