バウンドは、次のコードを考えると共分散

Question

で作業していないようです。

ThirdParty.getAnimalのタイプはMyption [猫]で、コールはそれがgetOrElseの定義に準拠していない Myption[Cat].getOrElse(new BlackCat),に相当し、Aは、猫とBはBを破った、ここBlackCatです>：

Answer 1

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

BはBlackCatではありません。 Bのタイプは、必要な仕様に適合する最も特定のタイプになります。引数はnew BlackCatなので、我々はB >: BlackCatを知っています。 getOrElseの要件によって、我々はB >: Catを知っている。これらの要件の両方を満たす最も具体的なタイプは、当然、Catです。