【Scala十九】关于function入参类型逆变，返回结果协变

axxbc123

于 2016-08-20 16:49:16 发布

阅读量446

点赞数

分类专栏： Scala 文章标签： scala

本文链接：https://blog.csdn.net/axxbc123/article/details/84814146

版权

Scala 专栏收录该内容

19 篇文章

订阅专栏

本文探讨了Scala中的泛型与协变逆变概念，通过具体的代码示例解释了如何定义和使用泛型方法及类，并展示了不同类型的转换与传递规则。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

class CSuper {

}

class C extends CSuper {

}

class C2 extends  CSuper {

}

class CSub  extends  C {

}

object Scala8 {

  /***
    * 
    * @return
    */
    val func1 : C=>C = (c : CSuper) => new CSub
    val func2 : C=>C = (c : C) => new C
    //val func3: C=>C = (c: CSub) => new C
    //val fun4:C=>C = (c:C2)=>new C
     def main(args : Array[String]): Unit = {
     }
}

因为func1的返回值是C=>C,那么func1()(XXX),那么XXX必须是C或者C的子类型， C或者C的子类型必然可以转换为CSuper，就是说，XXX对象可以作为(c:CSuper)=>new CStub的入参。

但是XXX对象不能转型为为CSub或者C2，所以func3，func4是有编译错误的

fun1，func2都是函数字面量，该函数字面量的类型签名是Function2[-C,+C]，即函数的(唯一)参数是逆变，而返回值是协变。

val func1 : C=>C = (c : CSuper) => new CSub

如上定义，func1的声明类型是C=>C,实际定义的类型是 (c : CSuper) => new CSub