C++ STL必备八股文

STL 不只是“会用容器”，而是一整套关于数据结构、算法抽象、泛型编程与性能权衡的体系。面试中，STL往往用来区分两个层次：

初级：记住API，会写基本代码
中高级：理解实现原理，能分析复杂度，能做工程选型

真正拉开差距的，是你是否理解“为什么这样设计”，而不是“怎么调用”。

下面这份清单只给问题，不给答案，适合作为反复打磨的核心题库。

容器与整体设计

STL六大组件分别是什么？它们之间如何协作？序列容器与关联容器的本质区别是什么？为什么STL将算法与容器分离？STL容器为什么采用值语义而不是引用语义？allocator存在的意义是什么？解决了哪些问题？STL容器在多线程环境下的安全性如何？

vector

vector的底层数据结构是什么？vector为什么能够支持随机访问？vector的capacity和size有什么区别？vector的扩容机制是怎样的？增长因子通常是多少？vector扩容时具体发生了哪些操作？push_back和emplace_back的本质区别是什么？reserve和resize分别改变了什么？vector在什么情况下会触发内存重新分配？vector迭代器失效的所有情况有哪些？为什么vector在中间插入元素效率低？shrink_to_fit是否一定释放内存？vector<bool>为什么是特化版本？它的问题在哪里？

deque / list

deque的底层结构是连续的吗？它是如何实现随机访问的？deque的分段存储结构是如何组织的？deque相比vector在哪些场景更有优势？list的底层结构是什么？list为什么插入删除复杂度是常数？list为什么不支持随机访问？list的内存开销为什么较大？list的迭代器什么时候会失效？

C++面试常考题目类型都放入了专栏了：https://www.nowcoder.com/creation/manager/columnDetail/Mq7XWW

关联容器（map / set）

map和set的底层数据结构是什么？红黑树需要满足哪些性质？为什么STL选择红黑树而不是AVL树？map的key为什么被设计为const？map的查找、插入、删除复杂度为什么是O(log n)？lower_bound、upper_bound和find的区别是什么？multimap与map在实现上有什么差异？如何为set/map自定义排序规则？

unordered 容器

unordered_map的底层结构是什么？哈希冲突有哪些解决方法？STL采用的是哪一种？什么是负载因子（load factor）？rehash在什么情况下发生？为什么unordered_map平均O(1)，最坏O(n)？如何设计一个高质量的哈希函数？unordered_map为什么不保证遍历顺序？

迭代器

迭代器有哪些分类？各自支持哪些操作？不同容器分别支持哪种类型的迭代器？iterator_traits的作用是什么？迭代器与指针的本质区别是什么？begin和cbegin的区别是什么？迭代器失效的根本原因是什么？为什么list插入不会导致迭代器失效？

算法

STL算法为什么不依赖具体容器？sort的底层实现是什么？stable_sort与sort的区别是什么？nth_element的核心思想是什么？binary_search使用的前提条件是什么？lower_bound的实现依赖什么算法思想？remove和erase的区别是什么？for_each与范围for循环的本质区别是什么？