Rust における演算子のオーバーロード

RustRustBeginner
今すぐ練習

This tutorial is from open-source community. Access the source code

💡 このチュートリアルは英語版からAIによって翻訳されています。原文を確認するには、 ここをクリックしてください

はじめに

この実験では、Rustにおける演算子のオーバーロードと、トレイトを通じてそれを実現する方法を探ります。Rustの演算子は、トレイトを使用してオーバーロードできます。これにより、演算子は入力引数に基づいて異なるタスクを実行できます。たとえば、+演算子はaddメソッドのシンタックス・シュガーであり、Addトレイトの実装者によって使用できます。演算子をオーバーロードするトレイト、Addを含めて、core::opsにあります。提供されたRustコードは、カスタム型FooBarに対して+演算子をオーバーロードする方法を示しており、それぞれ異なる出力型FooBarBarFooを生成します。

注: 実験でファイル名が指定されていない場合、好きなファイル名を使用できます。たとえば、main.rsを使用して、rustc main.rs &&./mainでコンパイルして実行できます。


Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/string_type -.-> lab-99216{{"Rust における演算子のオーバーロード"}} rust/function_syntax -.-> lab-99216{{"Rust における演算子のオーバーロード"}} rust/expressions_statements -.-> lab-99216{{"Rust における演算子のオーバーロード"}} rust/method_syntax -.-> lab-99216{{"Rust における演算子のオーバーロード"}} rust/traits -.-> lab-99216{{"Rust における演算子のオーバーロード"}} rust/operator_overloading -.-> lab-99216{{"Rust における演算子のオーバーロード"}} end

演算子のオーバーロード

Rustでは、多くの演算子をトレイトを通じてオーバーロードできます。つまり、一部の演算子は入力引数に基づいて異なるタスクを実行するために使用できます。これは、演算子がメソッド呼び出しのシンタックス・シュガーであるため可能です。たとえば、a + b+演算子はaddメソッドを呼び出します(a.add(b)のように)。このaddメソッドはAddトレイトの一部です。したがって、+演算子はAddトレイトの実装者によって使用できます。

演算子をオーバーロードするトレイト(Addなど)の一覧は、core::opsにあります。

use std::ops;

struct Foo;
struct Bar;

#[derive(Debug)]
struct FooBar;

#[derive(Debug)]
struct BarFoo;

// `std::ops::Add`トレイトは、`+`の機能を指定するために使用されます。
// ここでは、`Add<Bar>`を作成します。これは、右辺の型が`Bar`の加算用のトレイトです。
// 次のブロックでは、演算子の操作を実装します。Foo + Bar = FooBar
impl ops::Add<Bar> for Foo {
    type Output = FooBar;

    fn add(self, _rhs: Bar) -> FooBar {
        println!("> Foo.add(Bar) was called");

        FooBar
    }
}

// 型を逆にすることで、非可換な加算を実装します。
// ここでは、`Add<Foo>`を作成します。これは、右辺の型が`Foo`の加算用のトレイトです。
// このブロックでは、演算子の操作を実装します。Bar + Foo = BarFoo
impl ops::Add<Foo> for Bar {
    type Output = BarFoo;

    fn add(self, _rhs: Foo) -> BarFoo {
        println!("> Bar.add(Foo) was called");

        BarFoo
    }
}

fn main() {
    println!("Foo + Bar = {:?}", Foo + Bar);
    println!("Bar + Foo = {:?}", Bar + Foo);
}

まとめ

おめでとうございます!演算子のオーバーロードの実験を完了しました。技術力を向上させるために、LabExでさらに多くの実験を行って練習してください。