Boost small_vector空实例assign/swap不释放内存是设计如此还是bug？

结论 #

该行为是boost::small_vector的有意设计，不属于Bug。

设计原因 #

boost::small_vector的核心设计目标是优化小容量场景的性能，默认内置固定大小的栈内缓冲区，元素数量不超过内置容量时不会触发堆分配，以此减少常规堆容器的分配释放开销。
对于已经扩容到堆内存的small_vector，设计方选择保留已分配的堆内存作为性能优化手段：与空容器swap、赋值空容器操作只会销毁容器内的现有元素，不会主动释放已经申请的堆内存，以此避免后续再插入元素时重复触发堆分配操作，降低高频扩容缩容场景的性能损耗。
这一设计和标准库容器的默认行为有差异，本质是性能和内存占用之间的取舍：标准库std::vector没有内置栈缓冲区，所有内存都来自堆分配，和空容器swap时自然会将原堆内存转移到临时对象中销毁，而small_vector优先选择保留堆内存复用。

通用代码适配方案 #

如果你需要在通用代码中兼容small_vector的内存释放逻辑，可以针对small_vector做特化处理，不需要大幅修改原有业务逻辑：

#include <boost/container/small_vector.hpp>

// 针对boost::small_vector的特化释放逻辑
template<typename T, size_t N>
void release_container_memory(boost::container::small_vector<T, N>& vec) {
    vec.clear();
    vec.shrink_to_fit();
}

// 通用版本，适配所有标准库容器
template<typename Container>
void release_container_memory(Container& c) {
    Container().swap(c);
}

内容的提问来源于stack exchange，提问作者Nemo