Scalaの下限境界について

Question

下限境界についての質問です。
まずコードをご覧ください。

class Creature
class Animal extends Creature
class Cat extends Animal
class Container[+T] {
def foo[T1 >: T](x: T1): T1 = x
}

val c: Container[Animal] = new Container[Cat]
c.foo("hello") // これがなぜ可能なのか？

引用元：共変・反変・上限境界・下限境界の関係性まとめ

T1はTもしくはTのスーパークラスということで、
Cat,Animal,Creature,AnyRef,Anyが可能なことはわかります。
しかしなぜAnyRefのサブクラスであるStringまで可能なのでしょうか？

それに加え、これでは範囲が広すぎるため必要性が無い気がします。
どうしたら範囲を絞れるのでしょう？

Answer 1

StringはAnyRefなので、
AnyRefが可能ならば、Stringも可能です。

継承関係を集合っぽくペン図で表したときに、
T1を下限とするというのは、ちょうどT1か、T1より外側ということです。

範囲を狭めたかったら上限を決めましょう。

Comments

[namaza]

ベン図の例えが非常にしっくりきました。
Catのサブクラス以外ならば何でもよいということですね。
範囲を狭める場合には上限境界を設定するとのことですが、この場合はCreatureあたりが妥当でしょうか。
非常にわかりやすかったです。ありがとうございました。