Rust 特征与类型限制

Question

我想使用 Rust 特征编写数据库的基本抽象。

pub trait Keyable {
    type Key;
    fn key(&self) -> &Self::Key;
}

我

// type alias for result - DbError are defined elsewhere
pub type Result<T> = Result<T, DbError>;

pub trait Database {
    type Item;

    fn get(&self, id: Keyable) -> Result<Self::Item>;    
    fn upsert(&self, item: Self::Item) -> Result<Keyable>;
}

正在努力表达这一点：Database::Item 必须至少是 Keyable 的。

有两个用例：

1. 我可以使用一些任意类型，它知道如何在我的 Database::get(k: Keyable) 函数中返回 key() ，但返回一些 Item （这可能不仅仅是 在我的 fn Database::upsert( )
2. 函数中，我希望能够使用该项目至少是 Keyable 的事实，因此如果我只是简单地访问 key() 来查找数据库以做出决定插入或更新。

Answer 1

您可以在关联类型上放置特征绑定：

pub trait Database {
    type Item: Keyable;

然后，您可以在函数签名中使用该特征的关联类型：（

    fn get(&self, id: &<Self::Item as Keyable>::Key) -> Result<Self::Item>;    
    fn upsert(&self, item: Self::Item) -> Result<<Self::Item as Keyable>::Key>;

我还添加了 & 因为 get() 可能不需要使用关键数据。）

将它们全部放在一个可编译的示例中：

pub enum DbError { Something }
pub type Result<T> = std::result::Result<T, DbError>;

pub trait Keyable {
    type Key;
    fn key(&self) -> &Self::Key;
}

pub trait Database {
    type Item: Keyable;

    fn get(&self, id: &<Self::Item as Keyable>::Key) -> Result<Self::Item>;    
    fn upsert(&self, item: Self::Item) -> Result<<Self::Item as Keyable>::Key>;
}