where 句

境界は、型が最初に現れる箇所ではなく、開き { の直前にある where 句を使って表現することもできます。 さらに、where 句は型パラメーターだけでなく、 任意の型に境界を適用できます。

where 句が役立ついくつかのケース:

• ジェネリック型と境界を別々に指定する方が明確な場合:

impl <A: TraitB + TraitC, D: TraitE + TraitF> MyTrait<A, D> for YourType {}

// `where` 句で境界を表現する
impl <A, D> MyTrait<A, D> for YourType where
    A: TraitB + TraitC,
    D: TraitE + TraitF {}

• where 句を使う方が通常の構文を使うよりも表現力が高い場合。 この例の impl は、where 句なしでは直接表現できません:

use std::fmt::Debug;

trait PrintInOption {
    fn print_in_option(self);
}

// そうしない場合、これを `T: Debug` として表現するか、
// 別の間接的な方法を使う必要があるため、ここでは `where` 句が必要です:
impl<T> PrintInOption for T where
    Option<T>: Debug {
    // 出力されるのはこれなので、境界として `Option<T>: Debug` が必要です。
    // それ以外にすると、誤った境界を使うことになります。
    fn print_in_option(self) {
        println!("{:?}", Some(self));
    }
}

fn main() {
    let vec = vec![1, 2, 3];

    vec.print_in_option();
}

関連項目:

RFC、struct、および trait