実装

関数と同様に、実装をジェネリックなままにするには注意が必要です。

#![allow(unused)]
fn main() {
struct S; // 具体型 `S`
struct GenericVal<T>(T); // ジェネリック型 `GenericVal`

// 型パラメータを明示的に指定する GenericVal の impl:
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
impl Val {
    fn value(&self) -> &f64 {
        &self.val
    }
}

// ジェネリック型 `T` に対する GenVal の impl
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