4. 标准容器概览
在嵌入式 C++ 开发中，标准模板库（STL）容器是组织数据的基础设施。理解容器的分类、底层结构与访问特性，直接决定了代码的运行效率与内存占用。本节从五个维度建立容器全景认知：序列容器、关联容器、无序容器、容器适配器，以及贯穿所有容器的迭代器与算法。
一、容器的五大分类与核心原理
序列容器按插入位置维护元素顺序，包括 std::array、std::vector、std::deque、std::list、std::forward_list。其中 array 是编译期固定大小的栈上数组封装，零动态分配；vector 是连续内存的动态数组，尾部插入均摊 O(1)，但扩容会触发整体搬移；deque 采用分段连续块，支持两端高效插入；list 与 forward_list 是双向/单向链表，任意位置插入删除 O(1)，但缓存局部性差。
关联容器基于平衡二叉搜索树（通常为红黑树）实现，包括 set、multiset、map、multimap。元素始终有序，查找、插入、删除均为 O(log n)。无序容器基于哈希表实现，包括 unordered_set、unordered_map 及其 multi 版本，平均查找 O(1)，但最坏情况退化为 O(n)，且需要额外的桶数组开销。
容器适配器不是独立容器，而是对底层容器的接口封装：stack 默认基于 deque，queue 默认基于 deque，priority_queue 默认基于 vector 并维护堆序。它们刻意隐藏迭代器，只暴露受限操作。
二、迭代器与算法的协作机制
迭代器是容器与算法之间的桥梁。它提供统一的访问接口，使 std::sort、std::find、std::accumulate 等算法无需知道底层容器的具体类型。迭代器分为五类：输入、输出、前向、双向、随机访问。容器提供的迭代器类别决定了它能使用哪些算法——例如 std::sort 要求随机访问迭代器，因此 list 无法直接使用，只能调用成员函数 list::sort。
算法通过迭代器区间 [first, last) 操作元素，这种设计实现了数据与操作的彻底解耦。在嵌入式场景中，这意味着同一套算法可以作用于栈数组、堆数组或链表，只需替换迭代器类型。
三、嵌入式场景下的选型案例
假设一个工业采集节点需要缓存最近 64 条传感器读数，并支持按时间戳快速检索。方案对比如下：
| 需求 | 推荐容器 | 理由 | 内存开销 |
|---|---|---|---|
| 固定 64 条缓存 | std::array<Reading, 64> |
零动态分配，编译期确定大小 | 64 × sizeof(Reading) |
| 按时间戳检索 | std::map<uint32_t, Reading> |
有序，支持范围查询 | 每节点约 3 指针 + 颜色位 |
| 仅按 ID 去重 | std::unordered_set<uint16_t> |
平均 O(1) 查找 | 桶数组 + 节点指针 |
| LIFO 命令栈 | std::stack<Cmd> |
适配器，接口受限更安全 | 底层 deque 开销 |
四、常见误区与复盘
误区一：认为 vector 插入总是很慢。实际上尾部插入均摊 O(1)，只有在扩容搬移时才有较大开销。若提前 reserve() 预留容量，可完全避免搬移。
误区二：在嵌入式上盲目使用 unordered_map。哈希表需要桶数组和节点分配，内存碎片和峰值占用往往高于 map。对确定性要求高的实时系统，map 或排序 vector 更可控。
误区三：忽略迭代器失效。vector 扩容后所有迭代器、指针、引用失效；deque 在两端插入时中间迭代器失效；map 插入不影响其他节点迭代器。误用会导致难以排查的野指针问题。
复盘建议：在嵌入式项目中建立容器选型检查清单——是否需要动态大小？是否要求有序？查找频率如何？内存预算多少？是否允许碎片？回答完这五个问题，容器选择基本明确。优先考虑 array 和 vector，它们连续内存、缓存友好、行为可预测，是嵌入式场景的首选。
// 嵌入式常用组合示例
std::array<float, 32> adcBuf; // 固定缓冲，零分配
std::vector<Event> events;
events.reserve(128); // 预留，避免运行期扩容
std::map<uint32_t, DeviceState> devMap; // 有序设备表
std::stack<Command> cmdStack; // 命令栈
// 算法与迭代器协作
auto it = std::find_if(events.begin(), events.end(),
[](const Event& e){ return e.level > 3; });
if (it != events.end()) {
handleCritical(*it);
}掌握容器分类与迭代器机制，是后续深入内存优化、自定义分配器与实时性分析的前提。选型时始终把内存布局、分配次数和确定性放在首位，才能让 STL 在资源受限的嵌入式环境中真正发挥价值。