如何编写具有动态泛型的结构？

Question

假设我有以下结构，

trait T{}
struct A<X:T>{
    ...
}

我想知道这样的事情是否可能

Box<A<dyn T>>

当前我收到错误

the trait `Sized` is not implemented for `(dyn T + 'static)`

，但是当我添加时

trait T:Sized{}

我得到

the trait cannot be made into an object because it requires `Self: Sized`

Answer 1

这是可能的，但泛型默认具有 Sized 绑定，这会阻止它们被未调整大小的特征对象实例化。您需要指定 T: ?Sized：

trait T {}
struct A<X: ?Sized + T> {}

例如：

trait T {}
impl T for () {}

struct A<X: ?Sized + T> {
    value: X,
}

fn foo() {
    let _ = Box::<A<()>>::new(A { value: () }) as Box<A<dyn T>>;
}

游乐场。