Узагальнені типи даних

Ви можете використовувати узагальнення для абстрагування від конкретного типу поля:

#[derive(Debug)]
struct Point<T> {
    x: T,
    y: T,
}

impl<T> Point<T> {
    fn coords(&self) -> (&T, &T) {
        (&self.x, &self.y)
    }

    fn set_x(&mut self, x: T) {
        self.x = x;
    }
}

fn main() {
    let integer = Point { x: 5, y: 10 };
    let float = Point { x: 1.0, y: 4.0 };
    println!("{integer:?} та {float:?}");
    println!("координати: {:?}", integer.coords());
}
This slide should take about 10 minutes.

  • З: Чому T вказаний двічі в impl<T> Point<T> {}? Хіба це не зайве?

    • Це пояснюється тим, що це частина узагальненої реалізації для узагальненого типу. Вони є узагальненими незалежно один від одного..
    • Це означає, що ці методи визначені для будь-якого T.
    • Можна написати impl Point<u32> { .. }.
      • Point все ще є узагальненим типом, і ви можете використовувати Point<f64>, але методи в цьому блоці будуть доступні лише для Point<u32>.

  • Спробуйте оголосити нову змінну let p = Point { x: 5, y: 10.0 };. Оновіть код, щоб дозволити створювати точки, які мають елементи різних типів, використовуючи дві змінні типу, наприклад, T і U.