Where句
トレイト境界は、{
の直前にwhere
句を導入することでも設けることができます。where
はさらに、型パラメータだけでなく任意の型に対してのみ適用できます。
where
句のほうが有効なケースには例えば
- ジェネリック型とジェネリック境界に別々に制限を加えたほうが明瞭になる場合 つまり、
impl <A: TraitB + TraitC, D: TraitE + TraitF> MyTrait<A, D> for YourType {}
// Expressing bounds with a `where` clause
// `where`を用いてジェネリック境界を設ける。
impl <A, D> MyTrait<A, D> for YourType where
A: TraitB + TraitC,
D: TraitE + TraitF {}
where
句の方が通常の構文より表現力が高い場合
があります。