Оператори

Перевантаження операторів реалізовано за допомогою трейтів у std::ops:

#[derive(Debug, Copy, Clone)]
struct Point {
    x: i32,
    y: i32,
}

impl std::ops::Add for Point {
    type Output = Self;

    fn add(self, other: Self) -> Self {
        Self { x: self.x + other.x, y: self.y + other.y }
    }
}

fn main() {
    let p1 = Point { x: 10, y: 20 };
    let p2 = Point { x: 100, y: 200 };
    println!("{:?} + {:?} = {:?}", p1, p2, p1 + p2);
}
This slide should take about 5 minutes.

Пункти обговорення:

  • Ви можете реалізувати Add для &Point. У яких ситуаціях це може бути корисно?
    • Відповідь: Add:add споживає self. Якщо тип T, для якого ви перевантажуєте оператор, не є Copy, ви також повинні розглянути можливість перевантаження оператора &T. Це дозволяє уникнути непотрібного клонування на сайті виклику.
  • Чому Output є асоційованим типом? Чи можна зробити це параметром типу методу?
    • Коротка відповідь: параметри типу функції контролюються тим, хто її викликає, а асоційовані типи (як Output) контролюються реалізатором трейту.
  • Ви можете реалізувати Add для двох різних типів, напр. impl Add<(i32, i32)> for Point додасть кортеж до Point.