12.6 Where clauses

바인드 대상은 또한 where절로 {을 열기 전에 타입이 처음 선언되기도 전에 즉시 표시될 수 있다. 추가로 where절은 단순 타입 매개변수보다 임의의 타입에 바인드 하는데 적합하다.

where절은 유용하게 사용할 수 있는 경우:

• 제네릭 타입의 선언과 바인드 대상의 분리를 분명히 하고자 할 때:
• When specifying generic types and bounds separately is clearer:

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절 없이 직접적으로 표현될 수 없다.
• When using a where clause is more expressive than using normal syntax. The impl in this example cannot be directly expressed without a where clause:

use std::fmt::Debug;

trait PrintInOption {
    fn print_in_option(self);
}

// 우리가 이는 `T:Debug`로 다른 방법으로 표현했고 간접적 방식의 
// 다른 메소드를 사용했기에, 이는 `where`절을 필요로 한다:
impl<T> PrintInOption for T where
    Option<T>: Debug {
    // 우리는 `Option:Debug`를 출력하기 위한 우리의 바인드 대상으로 원하기에
    // 그렇지 않으면 잘못된 바인드 대상을 사용하게 될지도 모른다.
    fn print_in_option(self) {
        println!("{:?}", Some(self));
    }
}

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

    vec.print_in_option();
}

See also:

RFC, struct, and trait