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

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