generics - 如何在Rust中添加一个泛型类型实现另一泛型类型的约束？

左手的ㄟ右手 2023-01-20 13:59 16阅读 0赞

我该如何做这样的工作:

struct FooStruct<A, B> where A : B, B : ?Sized {...}

我搜索了一些类型标记以告诉编译器`S`必须是一个特征，在Rust文档中搜索了此模式的一些示例，但找不到其他人遇到相同的问题。这是我的代码:

trait Factory<S> where S : ?Sized { fn create(&mut self) -> Rc<S>; } trait Singleton<T> { fn create() -> T; } struct SingletonFactory<T> { instance: Option<Rc<T>> } impl<S, T> Factory<S> for SingletonFactory<T> where S : ?Sized, T : S + Singleton<T> { fn create(&mut self) -> Rc<S> { if let Some(ref instance_rc) = self.instance { return instance_rc.clone(); } let new_instance = Rc::new(T::create()); self.instance = Some(new_instance.clone()); new_instance } }

编译器失败，并出现以下错误:

<span style="color:#212529"><code style="margin-left:2px">      --> src/lib.rs:15:57
       |
    15 | impl<S, T> Factory<S> for SingletonFactory<T> where T : S + Singleton<T> {
       |                                                         ^ not a trait
    </code></span>

**最佳答案**

我设法找到一个答案:[ `std::marker::Unsize<T>` trait][std_marker_Unsize_T_trait]，尽管在当前版本的Rust(1.14.0)中不是一个稳定的功能。

>     pub trait Unsize<T> where T: ?Sized { }
> 
> Types that can be "unsized" to a dynamically-sized type.

它比“实现”语义更广泛，但这是我从一开始就应该寻找的内容，因为示例代码中的泛型参数可以是除结构和特征或两个特征(例如，大小和未大小)之外的其他内容。数组)。  
问题中的通用示例可以写成:

struct FooStruct<A, B> where A: Unsize<B>, B: ?Sized, { // ... }

和我的代码:

impl<S, T> Factory<S> for SingletonFactory<T> where S: ?Sized, T: Unsize<S> + Singleton<T>, { // ... }

[std_marker_Unsize_T_trait]: https://doc.rust-lang.org/std/marker/trait.Unsize.html