環境

• Rust 1.56.1
• VSCode 1.61.2

概念

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

示例

在使用泛型的過程中，有時候可能會覺得不方便，以下是一個例子。

main.rs

struct Container(i32, i32);

trait Contains<A, B> {
    fn contains(&self, _: &A, _: &B) -> bool;
    fn first(&self) -> i32;
    fn last(&self) -> i32;
}

impl Contains<i32, i32> for Container {
    fn contains(&self, n1: &i32, n2: &i32) -> bool {
        (&self.0 == n1) && (&self.1 == n2)
    }

    fn first(&self) -> i32 {
        self.0
    }

    fn last(&self) -> i32 {
        self.1
    }
}

// 問題在這裡，需要重新申明 A 和 B，雖然並沒有使用到
fn difference<A, B, C>(container: &C) -> i32
where
    C: Contains<A, B>,
{
    container.last() - container.first()
}

fn main() {
    let number_1 = 3;
    let number_2 = 10;

    let container = Container(number_1, number_2);

    println!(
        "Does container contain {} and {}: {}",
        &number_1,
        &number_2,
        container.contains(&number_1, &number_2)
    );

    println!("The difference is: {}", difference(&container));
}
 

總結

瞭解了 Rust 中沒有關聯型別時，直接使用泛型有可能產生的一點小問題。

附錄