第六章：集合类型与泛型

在掌握了 Rust 的基础语法、所有权系统和模块组织之后，本章将深入探讨两个关键主题：标准集合类型与泛型编程。它们共同构成了编写灵活、高效且类型安全代码的核心能力。

Rust 标准库提供了多种动态集合类型，其中最常用的是 Vec<T>（可变长数组）、String（UTF-8 编码的堆分配字符串）和 HashMap<K, V>（哈希映射）。这些类型都建立在所有权和借用规则之上，既能高效管理内存，又能防止数据竞争和越界访问。理解它们的创建、修改、遍历和内部机制，是处理实际数据操作的基础。

为了使代码更具通用性，Rust 引入了泛型（generics）——允许函数、结构体或枚举在不指定具体类型的情况下编写逻辑，从而适用于多种类型。泛型不仅提升代码复用性，而且在编译期完成类型检查，零运行时开销。

泛型的强大之处进一步通过特征（trait）得以释放。特征定义了类型必须实现的行为契约，类似于其他语言中的接口。通过 trait，Rust 支持抽象、多态和约束泛型（即“trait bounds”），使得泛型代码既能通用又不失安全性。

本章还将介绍如何将 trait 用作参数或返回值（如 impl Trait 和 dyn Trait），以及如何在复杂场景中正确标注生命周期，确保引用的有效性。这些机制共同构成了 Rust 类型系统的高级支柱。

通过本章的学习，你将能够熟练使用集合处理数据，设计泛型组件，并利用 trait 实现灵活而安全的抽象，为构建大型、可维护的 Rust 应用打下坚实基础。