Подобно функциям, реализации требуют выполнения некоторых условий, чтобы оставаться обобщёнными.
#![allow(unused)]
fn main() {
struct S; // Конкретный тип `S`
struct GenericVal(T); // Обобщенный тип `GenericVal`
// Реализация GenericVal, где мы явно указываем типы данных параметров:
impl GenericVal {} // Указываем тип `f32`
impl GenericVal {} // Указываем тип `S`, который мы определили выше
// `` должен указываться перед типом, чтобы оставаться обобщённым
impl GenericVal {}
}
struct Val {
val: f64,
}
struct GenVal {
gen_val: T,
}
// Реализация Val
impl Val {
fn value(&self) -> &f64 {
&self.val
}
}
// Реализация GenVal для обобщённого типа `T`
impl GenVal {
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());
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Функции, возвращающие ссылки, impl и struct