Vec<T>
7 months ago
- #Rust
- #Memory Safety
- #Data Structures
- Rust中的Vec<T>通过多层抽象构建，兼顾安全性与效率。
- 其结构始于原始指针(*const u8)，被包裹在NonNull<u8>中以确保绝不会为空。
- Unique<u8>添加所有权语义，表明对所指数据的独占所有权。
- RawVec<T>负责内存分配、扩容和释放，将容量管理与元素追踪分离。
- Vec<T>整合RawVec（内存管理）和len（追踪已初始化元素）以提供安全的用户友好API。
- Vec的每一层结构都有特定用途，在零运行时开销的前提下强化Rust的内存安全保证。
- 这种设计支持标准库中的复用，如VecDeque<T>等类型也采用相同架构。
- 理解Vec的内部机制，可窥见Rust如何将底层控制与高级安全性完美结合。