Question

我怎样才能做出像这样的工作：

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

编译器因以下错误而失败：

      --> src/lib.rs:15:57
   |
15 | impl<S, T> Factory<S> for SingletonFactory<T> where T : S + Singleton<T> {
   |                                                         ^ not a trait

Answer 1

我设法找到答案：std::marker::Unsize<T> trait，虽然在当前版本的Rust（1.14.0）中不是一个稳定的功能。

pub trait Unsize<T> where T: ?Sized { }
可以“取消”到动态大小类型的类型。

这比“implements”语义更广泛，但它是我应该从头开始搜索的，因为示例代码中的泛型参数可以是结构和特征或两个特征之外的其他东西（比如说）大小和非大小的数组）。

问题中的通用示例可以写成：

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>,
{
    // ...
}

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

1 个答案: