類型的表達式不符合期望的類型B

Question

我有以下代碼來理解協變和下限，我故意讓代碼有編譯錯誤。

該getOrElse工程，這是從選項[+ T]的getOrElse方法類似。

我會問爲什麼getOrElse2和getOrElse3不工作，以更好地理解協變和下限。

所述的編譯錯誤被粘貼爲代碼中的註釋：

class MyOption[+A](val x: A) { 
    def get():A = x 

    //similar to Option.getOrElse,which works 
    def getOrElse[B>:A ](default: => B): B = { 
    if (x != null) x else default 
    } 

    //Compiling Error: Expression of type A doesn't conform to Expected type B 
    def getOrElse2[B, A<:B ](default: => B): B = { 
    if (x != null) x else default 
    } 

    //Covariant type A occurs in controvariant position in type A of value B 
    def getOrElse3[B <: A](default:=>B): A = { 
    if (x != null) x else default 
    } 
} 

Answer 1

1. getOrElse3[B <: A]：指型BcontrovariantA這B是/的A的亞型下界，這是不允許的對於協變類型A，自協變類型只能使用超類型類型爲A。而且這等於：

//Error:covariant type A occurs in contravariant position in type A of value default 
def getOrElse3(default: A): A = { 
    if (x != null) x else default 
} 

爲什麼協方差爲選項類型？這是用於綁定A到超類型A，如Some(1)可以通過接受參數的方法使用：Option[AnyVal]。

2. def getOrElse2[B, A<:B ]：A<:B它意味着限定亞型B的新型A（未類級別類型A）。並且由於您將x類泛型類型A返回到類型B，因此編譯器應拋出類型不匹配錯誤。

Answer 2

通過對方法getOrElse2指定[A <: B]，你定義一個新的本地類型A無關的原始類型A這x屬，如@ chengpohi的答案解釋。

至於方法getOrElse3，[B <: A]被逆着trait Function1的定義，要求它的參數是逆變：

trait Function1[-T1, +R] extends AnyRef { 
    abstract def apply(v1: T1): R 
    // ... 
} 

隨着協變[+ A]，對於亞型A MyOption的實例S [S]（x：S）可以代替MyOption [A]（x：A）的一個實例;但由於Function1參數的逆變要求，getOrElse3 [S]無法替代getOrElse3 [A]。出於同樣的原因，下面的方法將失敗的編譯器，以及：

// Compiling Error: covariant type A occurs in contravariant position in type A of value default 
def printDefault(default: A): Unit = { 
    println(default) 
} 

要保留協[+ A]，使得A下部在你第一次getOrElse方法勢必像避免衝突的Function1參數的逆變。