【Rust】泛型 where

環境

• Rust 1.56.1
• VSCode 1.61.2

概念

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

示例

泛型約束除了可以寫在泛型定義的后面，還可以使用 where 子句來表達，這樣更具表現力。

where

trait TraitB {}
trait TraitC {}
trait TraitE {}
trait TraitF {}

trait MyTrait1<A, D> {}

trait MyTrait2<A, D> {}

struct YourType;

impl<A: TraitB + TraitC, D: TraitE + TraitF> MyTrait1<A, D> for YourType {}

// where 使用起來更短，更具表現力
impl<A, D> MyTrait2<A, D> for YourType
where
    A: TraitB + TraitC,
    D: TraitE + TraitF,
{
}

fn main() {}

約束其它類型

use std::fmt::Debug;

trait PrintInOption {
    fn print_in_option(self);
}

// 直接限制的 Option<T> 的類型而不是 T
impl<T> PrintInOption for T
where
    Option<T>: Debug,
{
    fn print_in_option(self) {
        println!("{:?}", Some(self));
    }
}

fn main() {
    let vec = vec![1, 2, 3];
    vec.print_in_option();
}

總結

了解了 Rust 中 where 來限制泛型的類型，如果類型少，簡單可以直接定義，如果多和復雜，可以考慮使用 where。

附錄