바운드

제네릭을 사용할 때, 타입 파라미터는 종종 타입이 구현해야 하는 기능을 규정하기 위해 트레이트를 _바운드(bounds)_로 사용해야 합니다. 예를 들어, 다음 예제는 Display 트레이트를 사용하여 출력하므로 T가 Display에 바운드되어야 합니다. 즉, T는 반드시 Display를 구현해야 합니다.

// 제네릭 타입 `T`를 받는 함수 `printer`를 정의합니다.
// `T`는 반드시 `Display` 트레이트를 구현해야 합니다.
fn printer<T: Display>(t: T) {
    println!("{}", t);
}

바운딩은 제네릭을 해당 바운드를 준수하는 타입들로 제한합니다. 즉:

struct S<T: Display>(T);

// 에러! `Vec<T>`는 `Display`를 구현하지 않습니다.
// 이 특수화는 실패할 것입니다.
let s = S(vec![1]);

바운딩의 또 다른 효과는 제네릭 인스턴스가 바운드에 지정된 트레이트의 메서드에 접근할 수 있게 된다는 것입니다. 예를 들어:

// 출력 마커 `{:?}`를 구현하는 트레이트입니다.
use std::fmt::Debug;

trait HasArea {
    fn area(&self) -> f64;
}

impl HasArea for Rectangle {
    fn area(&self) -> f64 { self.length * self.height }
}

#[derive(Debug)]
struct Rectangle { length: f64, height: f64 }
#[allow(dead_code)]
struct Triangle  { length: f64, height: f64 }

// 제네릭 `T`는 반드시 `Debug`를 구현해야 합니다.
// 타입에 상관없이 이는 제대로 작동할 것입니다.
fn print_debug<T: Debug>(t: &T) {
    println!("{:?}", t);
}

// `T`는 반드시 `HasArea`를 구현해야 합니다. 바운드를 충족하는
// 모든 타입은 `HasArea`의 `area` 함수에 접근할 수 있습니다.
fn area<T: HasArea>(t: &T) -> f64 { t.area() }

fn main() {
    let rectangle = Rectangle { length: 3.0, height: 4.0 };
    let _triangle = Triangle  { length: 3.0, height: 4.0 };

    print_debug(&rectangle);
    println!("면적: {}", area(&rectangle));

    //print_debug(&_triangle);
//println!("면적: {}", area(&_triangle));
// ^ TODO: 이 줄들의 주석을 해제해 보세요.
// | 에러: `Debug`나 `HasArea` 중 어느 것도 구현하지 않았습니다.
}

추가적으로, 어떤 경우에는 where 절을 사용하여 바운드를 더 표현력 있게 적용할 수도 있습니다.

참고:

std::fmt, struct, 그리고 trait