下界似乎不是協方差

Question

考慮下面的代碼工作：

class Animal 
class Cat extends Animal 
class BlackCat extends Cat 
class MyOption[+A](val x: A) { 
     def get(): A = x 
     def getOrElse[B >: A](default: => B): B = { 
     if (x != null) x else default 
     } 
} 

object ThirdParty { 
    def getAnimal : MyOption[Animal]= new MyOption[Cat](null) 
} 

object MyOptionRunner { 
    def main(args: Array[String]) { 
    val opt3: Animal = ThirdParty.getAnimal.getOrElse(new BlackCat) 
    println(opt3) 
    } 
} 

我感到意外的是val opt3: Animal = ThirdParty.getAnimal.getOrElse(new BlackCat)可以通過編譯。

類型的ThirdParty.getAnimal是Myption [貓]，則該呼叫相當於 Myption[Cat].getOrElse(new BlackCat),它不符合getOrElse的定義，A是貓和B是黑貓這裏，打破B>：甲

Answer 1

val opt3: Animal = ThirdParty.getAnimal.getOrElse(new BlackCat) 

B不是BlackCat; B的類型將是符合所需規格的最具體類型。由於參數是new BlackCat，我們知道B >: BlackCat。根據getOrElse的要求，我們知道B >: Cat。滿足這兩個要求的最具體的類型當然是Cat。