Подобно функциям, реализации требуют выполнения некоторых условий, чтобы оставаться обобщенными.
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 } } // Реалицация GenVal для обобщённого типа `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()); }