如何在特征本身上写一个特征绑定来引用关联类型？

Question

我有以下代码：

extern crate serde;

use serde::de::DeserializeOwned;
use serde::Serialize;

trait Bar<'a, T: 'a>
where
    T: Serialize,
    &'a T: DeserializeOwned,
{
}

我想使用关联类型来编写此代码，因为类型T对于该类型的用户并不重要。 我到这为止了：

trait Bar {
    type T: Serialize;
}

我不知道如何指定另一个界限。

最终，我想使用如下函数：

extern crate serde_json;

fn test<I: Bar>(t: I::T) -> String {
    serde_json::to_string(&t).unwrap()
}

Answer 1

“正确”的解决方案是将边界放在特征上，但要引用关联的类型。 在这种情况下，您还可以使用排名较高的特征范围来处理引用：

trait Bar
where
    Self::T: Serialize,
//  ^^^^^^^ Bounds on an associated type  
    for<'a> &'a Self::T: DeserializeOwned,
//  ^^^^^^^^^^^ Higher-ranked trait bounds       
{
    type T;
}

但是，这还行不通。

我相信您将需要：

• 等待发行20671和/或发行50346加以固定。
• 等待通用的关联类型功能，该功能引入了关联类型的where子句 。

同时，解决方法是在需要的地方复制绑定：

fn test<I: Bar>(t: I::T) -> String
where
    for<'a> &'a I::T: DeserializeOwned,
{
    serde_json::to_string(&t).unwrap()
}