如何使用 trait 制作泛型的泛型？

Question

pub struct Triangle<T: Float + std::clone::Clone, V: vector::Vector<T>> {
    point1: V,
    point2: V,
    point3: V,
}

這段代碼無法編譯，因為未使用 T（盡管如此，稍后在方法中使用了 T）

我試過這個語法

pub struct Triangle<V: vector::Vector<T: Float + std::clone::Clone>> {
    point1: V,
    point2: V,
    point3: V,
}

錯誤：

expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `:`

expected one of 7 possible tokens here

和這個語法

pub struct Triangle2<V> where V: vector::Vector<T> where T: Float {
    point1: V,
    point2: V,
    point3: V,
}

錯誤：

expected `where`, or `{` after struct name, found keyword `where`

expected `where`, or `{` after struct name

那行不通。

有沒有辦法解決這個問題？

Answer 1

我假設你的類型Vector看起來或多或少像這樣。

pub trait Vector<T> {
    // Some functions
}

---

解決方案是聲明多個泛型類型並分別列出它們的類型約束：類型V必須實現Vector<T>而類型T又必須實現Float和Clone 。

pub struct Triangle<V, T>
where
    V: vector::Vector<T>,
    T: Float + Clone,
{
    point1: V,
    point2: V,
    point3: V,
    phantom: PhantomData<T>,
}

我正在使用std::marker::PhantomData來保存其他未使用的類型信息。

鏈接到完整的工作代碼。