上型界限和下型界限的混淆

Question

 */
class Parent 

class Child extends Parent

class GrandChild extends Child

object main{

  def test[B >: Child](x : B) = x; // B should be of type Child or Parent

  def main(args: Array[String]): Unit = {
    test(new Parent); //works. B == Parent
    test(new Child); //works. B == Child
    test (new GrandChild) // works!!! Surprise!!! B == GrandParent. This should not work, right?

  }
}

我期望測試（新的GrandChild）會出現編譯錯誤。 如何運作？ 我是否理解類型綁定錯誤？

Answer 1

由於GrandChild擴展了Child因此編譯器在調用中選擇了B類型參數作為Child 。

test(new GrandChild)

如果您明確指定類型，則會收到您期望的錯誤：

test[GrandChild](new GrandChild)

Answer 2

B>：Child表示B應該是Child的超類型，所有這些類都是Parent（Child和GrandChild），因為所有這些類都從Parent擴展而來。