Оператори

Перевантаження операторів реалізовано за допомогою трейтів у 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.

Трейт Not (оператор !) примітний тим, що він не “буліфікується”, як той самий оператор у мовах сімейства C; натомість, для цілих типів він заперечує кожен біт числа, що арифметично еквівалентно відніманню від -1: !5 == -6.

Comprehensive Rust 🦀

Оператори