實現具有關聯特征類型的特征

Question

我在學習關聯類型時遇到了麻煩。 我的問題代碼：

trait Fooer {
    fn foo(&self);
}

trait FooStore {
    type T: Fooer;
    fn store_foo(&self, fooer: Self::T);
}

#[allow(dead_code)]
struct DB {}

impl FooStore for DB {
    type T = Fooer;

    fn store_foo(&self, _fooer: Self::T) {}
}

fn main() {}

播放連結

這里的目的是使用關聯的類型來使FooStore特性不要求impl<F:Fooer, T: FooStore<F>> FooStore<F> for DB的笨拙和有問題的語法，因為它常常抱怨未使用F

但是，有關此功能的官方文檔顯示了實現底層關聯類型的對象-但沒有特征。 在此示例中， DB不知道哪些結構可能傳遞給store_foo(..) ，因此它需要使用特征來解決此問題。

話雖如此，如何在impl期間獲取關聯類型以使用trait？ 也就是說，我該如何寫type T = Fooer; ？ 還是我以某種方式使用了這個錯誤？

注意 ：我在構造此示例時遇到了一些麻煩，現在嘗試糾正此問題。 我遇到的錯誤是：

cargo: the trait `Fooer` cannot be made into an object [E0038]

Answer 1

這里的目的是使用關聯的類型來使FooStore特性不要求impl<F:Fooer, T: FooStore<F>> FooStore<F> for DB的笨拙和有問題的語法，因為它常常抱怨未使用F

您的結構DB需要為FooStore::T分配實現Fooer的具體類型。 Fooer是一個特征，但也可以用作未定型類型。 但是，您不能在此處使用未調整大小的類型，因為您無法通過值傳遞未調整大小類型的參數（ FooStore::store_foo要求）。

如果您不希望DB為FooStore::T分配特定類型，則可以使DB通用。

use std::marker::PhantomData;

#[allow(dead_code)]
struct DB<F: Fooer> {
    _phantom: PhantomData<F>,
}

impl<F: Fooer> FooStore for DB<F> {
    type T = F;

    fn store_foo(&self, _fooer: Self::T) {}
}

注意PhantomData的使用：我們使用它來強制使用參數T ，它還指示DB<T>從概念上講擁有T類型的對象。