ジェネリック境界(@Rust) – Blowing in the wind

ジェネリクスにおいてジェネリクスの型に制限を与えることですが、

https://doc.rust-jp.rs/rust-by-example-ja/generics/bounds.html

のコードから変更してtriangleの処理もできるように変更しています。あと三角形の面積の計算の仕方が変なのでそこも変更。

ここではジェネリクスにトレイトHasArea型を満たすことという条件で「境界」を決めています。

またprint_debugに引き渡す引数にはDebugが実装されていなければならないので、struct TriangleとRectangleにはDebug実装のための(#[derive(Debug)])が必須です。

// A trait which implements the print marker: `{:?}`.
use std::fmt::Debug;

trait HasArea {
    fn area(&self) -> f64;
}

impl HasArea for Rectangle {
    fn area(&self) -> f64 {
        self.length * self.height
    }
}

impl HasArea for Triangle {
    fn area(&self) -> f64 {
        (self.length * self.height) / 2.0
    }
}

#[derive(Debug)]
struct Rectangle {
    length: f64,
    height: f64,
}

#[derive(Debug)]
struct Triangle {
    length: f64,
    height: f64,
}

// The generic `T` must implement `Debug`. Regardless
// of the type, this will work properly.
fn print_debug(t: &T) {
    println!("{:?}", t);
}

// `T` must implement `HasArea`. Any type which meets
// the bound can access `HasArea`'s function `area`.
fn area<t>(t: &T) -> f64
where
    T: HasArea,
{
    t.area()
}

fn main() {
    let rectangle = Rectangle {
        length: 3.0,
        height: 4.0,
    };
    let triangle = Triangle {
        length: 3.0,
        height: 5.0,
    };

    print_debug(&rectangle);
    println!("Area: {}", area(&rectangle));

    print_debug(&triangle);
    println!("Area: {}", area(&triangle));
}

admin