能否实现包含Sized约束trait的Vec？Rust技术问询

你的核心矛盾在于：Vec<T>要求元素类型T必须是固定大小（Sized），但直接写Vec<A>时，A作为trait是动态大小类型（DST），Rust会提示你用trait object（dyn A），但你的trait A: Sized约束又禁止了创建trait object——因为trait object本质是?Sized的，和Sized约束冲突。

下面是几种可行的解决思路：

1. 用泛型返回单一类型的Vec #

如果你的场景只需要存储同一种实现了A的类型，可以用泛型函数，让返回的Vec绑定具体的类型：

trait A: Sized {}

struct B {
    c: u64,
}

impl A for B {}

struct D {
    x: i32,
}

impl A for D {}

// 泛型函数，返回实现了A的具体类型的Vec
fn lol<T: A>() -> Vec<T> {
    Vec::new()
}

fn main() {
    // 调用时指定具体类型，得到Vec<B>
    let mut vec_b: Vec<B> = lol();
    vec_b.push(B { c: 2 });
    
    // 另一个调用得到Vec<D>
    let mut vec_d: Vec<D> = lol();
    vec_d.push(D { x: 3 });
}

这种方式完全保留trait A: Sized的约束，且没有动态分派开销，但缺点是同一个Vec只能存同一种类型的元素。

2. 移除Sized约束，使用trait object存储混合类型 #

如果需要在同一个Vec里存储不同类型的A实现，必须移除trait A的Sized约束，改用Box<dyn A>来存储trait对象：

// 移除Sized约束，允许创建trait object
trait A {}

struct B {
    c: u64,
}

impl A for B {}

struct D {
    x: i32,
}

impl A for D {}

fn lol() -> Vec<Box<dyn A>> {
    let mut a = Vec::new();
    a.push(Box::new(B { c: 2 }));
    a.push(Box::new(D { x: 3 }));
    a
}

fn main() {
    let vec = lol();
    // 可以处理混合类型的A实现
}

注意：trait object会带来动态分派的开销，且你只能调用trait A中定义的方法（无法直接访问具体类型的字段，除非通过trait方法暴露）。

3. 用枚举封装所有可能的A实现 #

如果你能提前知道所有实现A的类型，可以用枚举把它们包装起来，这样既保留trait A: Sized的约束，又能在同一个Vec里存储不同类型：

trait A: Sized {}

struct B {
    c: u64,
}

impl A for B {}

struct D {
    x: i32,
}

impl A for D {}

// 枚举封装所有A的实现类型
enum AWrapper {
    BInstance(B),
    DInstance(D),
}

// 可选：让枚举也实现A
impl A for AWrapper {}

fn lol() -> Vec<AWrapper> {
    let mut a = Vec::new();
    a.push(AWrapper::BInstance(B { c: 2 }));
    a.push(AWrapper::DInstance(D { x: 3 }));
    a
}

fn main() {
    let vec = lol();
    // 通过match处理不同变体
    for item in vec {
        match item {
            AWrapper::BInstance(b) => println!("B的c值：{}", b.c),
            AWrapper::DInstance(d) => println!("D的x值：{}", d.x),
        }
    }
}

这种方式类型安全，没有动态分派开销，但缺点是新增A的实现时必须修改枚举定义。

总结 #

• 若不需要混合类型：用泛型Vec<T: A>，保留Sized约束。
• 若需要混合类型：要么移除Sized约束用trait object，要么用枚举封装所有可能的实现。
• 无法同时满足「保留trait A: Sized约束」和「在同一个Vec中存储不同类型的A实现」——因为这两个需求本质冲突：Sized约束要求类型固定大小，而混合不同类型必然涉及动态大小的trait对象。

内容的提问来源于stack exchange，提问作者sadtroll