Bounded Quantification とは？

bounded quantification は、型パラメータを、あるクラスの subtype であることやインターフェースを実装していることなど、明示された境界を満たす型に制限する generics の機能です。ジェネリックなコード内では、その境界が約束するメンバーをそのパラメータの値で安全に使えます。generics の柔軟性と、保証された共通の能力とを組み合わせます。

なぜ重要か

境界により、ジェネリックなコードは多くの具象型を受け入れつつ、その型パラメータのメソッドを呼び出せます。「比較可能な任意の型」のような制約を安全に表現する手段です。

関連ガイド