【Rust】泛型約束

環境

• Rust 1.56.1
• VSCode 1.61.2

概念

參考：https://doc.rust-lang.org/stable/rust-by-example/generics/bounds.html

示例

泛型約束，也叫有界泛型，可以限制泛型的類型。

約束類型

use std::fmt::Display;

// 定義一個泛型函數，要求泛型必須實現 Display
fn printer<T: Display>(t: T) {
    println!("{}", t);
}

fn main() {
    // 編譯錯誤，vector並沒有實現 Display
    // let s = printer(vec![1]);
}

使用約束的方法

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

struct Rectangle {
    length: f64,
    height: f64,
}

impl HasArea for Rectangle {
    fn area(&self) -> f64 {
        self.length * self.height
    }
}
// 泛型必須實現 HasArea
fn area<T: HasArea>(t: &T) -> f64 {
    // 調用泛型約束的方法
    t.area()
}

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

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

總結

了解了 Rust 中的泛型約束，也是有界泛型，和其它語言中的面向接口編程類似。

附錄