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

Posted 跨链技术践行者

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了generics - 如何在Rust中添加一个泛型类型实现另一泛型类型的约束?相关的知识,希望对你有一定的参考价值。

我该如何做这样的工作:

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,尽管在当前版本的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>,
{
    // ...
}

以上是关于generics - 如何在Rust中添加一个泛型类型实现另一泛型类型的约束?的主要内容,如果未能解决你的问题,请参考以下文章

如何使 Rust Generic Struct/Trait 需要 Box<other trait>?

实现IComparable 在泛型中:我如何访问Generic的值?

泛型(Generic)

Java泛型Generics

Rust入坑指南:海纳百川

为啥 Rust 编译器要求我限制泛型类型参数的生命周期(错误 E0309)?