56. 演算子オーバーロード — Add トレイト

std::ops::Add トレイトを実装すると、自作の型に + 演算子が使えるようになります。fn add(self, other: Point) -> Point の中に「足す」の意味を定義し、type Output で結果の型を指定します(Output のような「関連型」は次のレッスンで詳しく見ます)。

座標、ベクトル、金額のように「足し算に自然な意味がある」型で使うと、a + b と数値のように書けてコードが読みやすくなります。+ 以外の演算子も、Sub や Mul など対応するトレイトが std::ops に揃っています。

直感から外れた意味を演算子に与えると読み手を混乱させるだけなので、「+ が足し算に見える」型のときだけ使うのが鉄則です。

▶ サンプルコードを実行してみよう(自由に書き換えてOK)

Rust

use std::ops::Add;

struct Point {
    x: i32,
    y: i32,
}

impl Add for Point {
    type Output = Point; // + の結果の型
    fn add(self, other: Point) -> Point {
        Point { x: self.x + other.x, y: self.y + other.y }
    }
}

fn main() {
    let a = Point { x: 1, y: 2 };
    let b = Point { x: 3, y: 4 };
    let sum = a + b; // Add の実装が呼ばれる
    println!("sum = ({}, {})", sum.x, sum.y);
}

サンプルコードで身につける(5本) →

学んだ概念を、素朴な例から実務寄りの例まで5つの具体例で確認します。

公式ドキュメントで詳しく ↗