前言「C 标准库」这五个字经常被窄化成 STLStandard Template Library好像它就是vector、map、sort三件套。实际上 STL 只是标准库的一部分标准库还包括语言支持设施、诊断、字符串、输入输出、本地化、正则、数值计算、并发、文件系统、时间库等大量组件。把范围搞错会在选型时漏掉合适的工具。另一个常见误解是「标准库的所有实现都一样」。标准规定的是接口和复杂度要求具体实现容器扩容因子、哈希函数、std::sort的算法、流缓冲策略由各标准库实现决定。写可移植代码时要依赖标准保证而不是某个实现的偶然行为。本文按「语言支持 → 容器与迭代器 → 算法 → 字符串与 I/O → 现代设施」的顺序梳理标准库的主要板块给出选型表格和版本对照最后用一个 C17 小程序把常用组件串起来。文中涉及的版本以 ISO 标准为准编译器支持程度请查各自工具链的支持表。一、标准库的层次与头文件可以粗略分成六层层次代表头文件内容语言支持type_traits、limits、new、exception、initializer_list类型特征、数值极限、分配与异常基类通用工具utility、tuple、optional、variant、any、memorypair、tuple、智能指针、可选值容器与迭代器vector、map、unordered_map、array、iterator序列/关联/无序容器、迭代器分类算法与数值algorithm、numeric、cmath、complex、random查找、排序、变换、累加、随机数字符串与 I/Ostring、string_view、iostream、fstream、sstream文本处理、流式输入输出并发与其他thread、mutex、atomic、chrono、filesystem、regex线程、同步、时间、文件系统、正则这些头文件里memory、utility这类名字很容易和 C 库头混淆C 对 C 库头提供了两种形式stdio.h把名字放在全局命名空间cstdio通常也放在std并可能保留全局版本新代码优先cstdio。标准库实现通常随编译器提供GCC 用 libstdcClang 常配 libc 或 libstdcMSVC 用 MSVC STL。它们都遵循标准但扩展、ABI 和 bug 修复节奏不同。二、容器按访问模式选而不是按名字选标准容器可以按「内存布局 访问复杂度」分类容器结构随机访问插入/删除迭代器失效要点std::vector连续数组O(1)尾部均摊 O(1)中间 O(n)扩容后全部失效std::deque分段连续O(1)头尾 O(1)中间插入可能使全部失效std::list双向链表不支持已知位置 O(1)仅被删元素失效std::forward_list单向链表不支持已知前驱 O(1)仅被删元素失效std::array固定数组O(1)不支持长度固定std::map/set平衡树不支持有序遍历O(log n)仅被删元素失效std::unordered_map/set哈希表不支持平均 O(1)最坏 O(n)rehash 后全部失效选择顺序通常是默认vector需要两端插入用deque需要稳定迭代器和中间插入用list需要有序键用map/set只需要平均 O(1) 查找且不关心顺序用unordered_*长度编译期固定用array。容器适配器stack、queue、priority_queue不是独立容器而是对底层容器的包装stack默认用dequequeue默认用dequepriority_queue默认用vector 堆算法。它们的接口刻意收窄只暴露栈/队列语义。容量与复杂度要分清vector::push_back的「均摊 O(1)」依赖于扩容策略标准不规定扩容因子unordered_*的「平均 O(1)」不排除哈希冲突导致的 O(n)。不要把这些复杂度当成任何输入下的硬保证。三、迭代器与算法算法通过迭代器工作迭代器按能力分为五类C20 起还有 contiguous iterator 等更细的分类类别支持操作典型来源输入迭代器单遍读、istream_iterator输出迭代器单遍写、ostream_iterator前向迭代器多遍读、forward_list双向迭代器再支持--list、map随机访问迭代器再支持、-、下标vector、deque、array算法对迭代器类别有要求std::sort要求随机访问迭代器所以不能直接对std::list调用应使用list::sortstd::find只要求输入迭代器几乎所有容器都能用。C20 的 ranges 提供了std::ranges::sort等范围版本可以直接传容器并支持投影projection和 views但需要 C20 及完整实现。常见算法分组非修改find、count、all_of、any_of、none_of、for_each。修改copy、transform、replace、remove、unique、reverse、rotate。排序与查找sort、stable_sort、partial_sort、nth_element、lower_bound、upper_bound、binary_search。数值accumulate、inner_product、partial_sum、iotanumeric。std::sort的比较器必须满足严格弱序strict weak ordering。用作为比较器是 UB因为相等元素会同时满足comp(a,b)和comp(b,a)。正确写法是需要稳定排序时用std::stable_sort。四、字符串、I/O 与现代设施std::string是动态字节序列std::string_viewC17是只读视图不拥有内存。string_view适合做函数参数以避免拷贝但它不保证以\0结尾且所指向的字符串销毁后视图悬垂。不要把string_view存进长期对象除非能保证底层缓冲区活得更久。I/O 分三套iostream控制台/通用流、fstream文件、sstream字符串流。它们共享/运算符和格式化状态。格式化状态宽度、精度、进制是持久的修改后要恢复否则会影响后续输出这也是很多日志库改用std::formatC20或第三方格式化库的原因之一。现代设施按版本归纳标准标准库新增举例C11智能指针、thread/mutex/atomic、chrono、无序容器、array、tuple、regex、std::functionC14std::make_unique、std::integer_sequence、std::shared_timed_mutexC17std::optional、std::variant、std::any、std::string_view、std::filesystem、并行算法、std::byteC20std::span、ranges、std::format、std::jthread、std::latch/barrier/semaphore、bit、compareC23std::expected、std::print、std::flat_map/flat_set、std::mdspan、std::generator需要强调C20/23 的库特性在各标准库上的实现进度不一致std::format、ranges、协程相关设施尤其如此。使用前查编译器支持表不要假设「标准发布了就一定能用」。五、一个 C17 小例子// 适用于 C17#include algorithm#include iostream#include numeric#include optional#include string#include string_view#include unordered_map#include vectorstd::optionalint find_score(const std::unordered_mapstd::string, int m,std::string_view key) {// C17 的无序容器没有保证的异构查找这里显式构造 stringauto it m.find(std::string(key));if (it m.end()) {return std::nullopt;}return it-second;}int main() {std::vectorint v{5, 1, 4, 2, 3};std::sort(v.begin(), v.end());int sum std::accumulate(v.begin(), v.end(), 0);std::cout sum sum \n;std::unordered_mapstd::string, int scores{{alice, 90}, {bob, 85}};if (auto s find_score(scores, alice)) {std::cout alice: *s \n;} else {std::cout not found\n;}return 0;}这个例子覆盖了容器、算法、数值、字符串视图、可选值和哈希表。注意std::accumulate的初值0决定了累加类型是int如果元素是double应传0.0否则会按int累加后再转换结果不符合预期。常见坑点❌ 把 STL 等同于 C 标准库忽略chrono、filesystem、thread等。✅ 记住标准库包含语言支持、I/O、并发、时间、文件系统等多个板块。❌ 对std::list调用std::sort编译报迭代器类别错误。✅ 用list::sort()通用std::sort要求随机访问迭代器。❌ 给std::sort传比较器。✅ 传严格弱序的需要稳定用std::stable_sort。❌ 把std::string_view指向临时std::string并保存下来。✅ 确保底层字符数组活得更久长期存储用std::string。❌ 依赖vector的扩容倍数或unordered_map的遍历顺序。✅ 这些标准不保证需要顺序就排序需要容量就reserve。❌ 修改std::cout的格式状态进制、精度后不恢复。✅ 保存flags()/precision()并在结束时恢复或使用局部流对象。❌ 在 C17 项目里直接使用std::format或 ranges。✅ 确认工具链支持 C20 及对应库实现否则用替代方案。❌ 认为std::shared_ptr的引用计数线程安全就等于对象访问安全。✅ 控制块线程安全但被指向对象的读写仍需同步。总结板块核心组件选型要点容器vector、map、unordered_map、array按访问模式和失效规则选迭代器/算法五类迭代器、sort、find、transform注意迭代器类别与严格弱序字符串string、string_view视图不拥有内存I/Oiostream、fstream、sstream格式状态是持久的现代设施智能指针、optional、filesystem、ranges注意标准版本与实现进度C 标准库是一个分层的大型工具箱不是单一的 STL。学习时先建立「语言支持、容器、算法、I/O、并发、时间、文件系统」这张地图再按需求深入具体组件使用时坚持「依赖标准保证、不依赖实现细节、注意版本支持」三条原则就能少踩大多数坑。具体接口与复杂度以 cppreference 和标准草案为准。