구현

함수와 마찬가지로, 구현(implementation)도 제네릭을 유지하기 위해 주의가 필요합니다.

#![allow(unused)]
fn main() {
struct S; // 구체적인 타입 `S`
struct GenericVal<T>(T); // 제네릭 타입 `GenericVal`

// 타입 파라미터를 명시적으로 지정한 GenericVal의 구현:
impl GenericVal<f32> {} // `f32` 지정
impl GenericVal<S> {} // 위에서 정의한 `S` 지정

// 제네릭을 유지하려면 `<T>`가 타입 앞에 와야 합니다
impl<T> GenericVal<T> {}
}

struct Val {
    val: f64,
}

struct GenVal<T> {
    gen_val: T,
}

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

// 제네릭 타입 `T`에 대한 GenVal 구현
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());
}

참고:

참조를 반환하는 함수, impl, 그리고 struct