型の上界
ある一種の型変数に関する制約を指す。
型変数がとりうる型を制限される。
型Tの上界
ある型変数Tが制約として「Tは型Sを継承する」を満たすとする。
このとき、型Sを型の上界と呼ぶ
例
このクラスの型変数Tの上界はSである。
code:Java
class SomeClass<T extends S>{
// ...
}
上界付きワイルドカードを使用した以下の変数<? extends S> xはSを上界とする型を持つ変数を代入可能である。