为何std::mem::size_of::<Vec<[i32]>>()编译失败？析Vec<T>的Sized约束

首先看这段可正常编译运行的Rust代码：

println!("{}", std::mem::size_of::<Vec<i32>>()); // 24
println!("{}", std::mem::size_of::<Vec<char>>()); // 24
println!("{}", std::mem::size_of::<Vec<&str>>()); // 24
println!("{}", std::mem::size_of::<Box<i32>>()); // 8
println!("{}", std::mem::size_of::<Box<char>>()); // 8
println!("{}", std::mem::size_of::<Box<[i32]>>()); // 16
println!("{}", std::mem::size_of::<&[i32]>()); // 16
println!("{}", std::mem::size_of::<*mut *const [i32]>()); // 8

而代码println!("{}", std::mem::size_of::<[i32]>());编译失败，报错E0277，提示[i32]的大小在编译期未知——这是因为[i32]是原始切片，并非切片指针（比如&[i32]这种胖指针，大小为2倍usize的长度）。

但令人困惑的是，代码println!("{}", std::mem::size_of::<Vec<[i32]>>());同样编译失败，报相同错误。我们知道Vec<T>的大小不依赖于T，始终是包含指针、长度、容量的结构体大小（24字节），为什么这段代码无法返回24反而编译失败？

虽然直接原因是Vec<T>要求T实现Sized trait，但背后的深层原因有这些：

1. Vec的核心语义是管理连续、固定大小元素的堆内存 #

Vec的设计目标是作为动态数组，它在堆上分配的内存是由一个个大小固定的T元素连续排列组成的。如果T是[i32]这种动态大小类型（DST），单个T的大小在编译期无法确定，Vec无法计算每个元素的偏移量，也无法正确管理堆内存的分配和释放——比如扩容时，不知道每个元素需要多少空间来拷贝。

2. 避免语义冲突和逻辑矛盾 #

如果允许Vec<[i32]>存在，它的语义会非常混乱：Vec本身已经记录了长度，而内部的[i32]也是动态长度的切片，这就出现了双重长度信息。同时，Vec的get、push等方法都是基于单个T元素的操作，对于[i32]这种DST，这些方法根本无法正常工作——你无法“推入”一个大小不确定的切片元素到Vec中。

3. 与Rust的类型系统设计一致 #

Rust的类型系统中，动态大小类型（DST）只能通过指针间接使用，比如&[i32]、Box<[i32]>都是指针类型，它们携带了额外的长度信息来描述DST的大小。而Vec<T>本身不是指针，它是一个拥有堆内存的结构体，必须要求T是大小固定的类型，才能保证自身操作的安全性和可预测性。如果打破这个限制，会给类型系统引入大量复杂的例外情况，违背Rust追求的安全和简洁设计原则。

内容的提问来源于stack exchange，提问作者yg-i