2010-05-03から1日間の記事一覧

型パラメータの境界とは

パラメータ境界 型パラメータには以下の3つの境界が設定できる。 上限境界(upper bound) 例 hoge[A <: T] A が T のサブタイプでなければならない 下限境界(lower bound) 例 hoge[A >: T] A は T のスーパータイプでなければならない 可視境界(view bound) 例 hoge[A A が T として扱える(暗黙の型変換により変換可能または A が T のサブタ</:>…