12.2 Implementation

함수와 유사하게, 구현도 제네릭으로 한다면 숙고가 요구된다. Similar to functions, implementations require care to remain generic.

struct S; // 구체적 타입 `S`
struct GenericVal<T>(T,); // 제네릭 타입 `GenericVal`

// 명시적으로 타입 매개변수를 지정한 GenericVal의 impl들:
impl GenericVal<f32> {} // Specify `f32`
impl GenericVal<S> {} // Specify `S` as defined above

// `<T>`는 반드시 타입 전에 와야 제네릭으로 유지된다.
impl <T> GenericVal<T> {}

struct Val {
    val: f64
}

struct GenVal<T>{
    gen_val: T
}

// impl of Val
impl Val {
    fn value(&self) -> &f64 { &self.val }
}

// impl of GenVal for a generic type `T`
impl <T> GenVal<T> {
    fn value(&self) -> &T { &self.gen_val }
}

fn main() {
    let x = Val { val: 3.0 };
    let y = GenVal { gen_val: 3i32 };

    println!("{}, {}", x.value(), y.value());
}

See also:

functions returning references, impl, and struct