Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Перегрузка операторов

Перегрузка операторов реализуется через трейты в std::ops:

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0

#[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 (оператор !) примечателен тем, что не приводит аргумент к bool, как одноимённый оператор в языках семейства C; вместо этого для целых чисел он инвертирует каждый бит, что арифметически эквивалентно вычитанию аргумента из -1: !5 == -6.