generics - 如何为特征本身的关联类型的引用编写特征绑定？

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 bound来处理引用：

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()
}