folly::small_vector比std::vector更快因其栈上预留缓冲区(默认23字节),小规模元素免堆分配;而std::vector无论多小均触发堆分配。

folly::small_vector 为什么比 std::vector 更快?
因为 folly::small_vector 在栈上预留了一块固定大小的缓冲区(默认 23 字节,可配置),小规模元素直接存栈上,完全避开堆分配。而 std::vector 无论多小都走 malloc 或 operator new,哪怕只存 1 个 int 也触发一次堆分配 + 释放开销。
适用场景很明确:频繁构造/销毁、元素数量稳定在 0–15 之间的短序列,比如函数参数临时收集、AST 节点子节点列表、哈希桶内链表节点索引等。
注意:它不是万能替代品——如果元素类型很大(比如含 std::string 成员)、或实际长度经常超过内嵌容量,反而因拷贝栈缓冲区内容而变慢。
怎么声明和控制内嵌容量?
folly::small_vector 是模板类,第二个模板参数决定栈上能放几个元素:
folly::small_vector<int> v1; // 栈空间存最多 8 个 int folly::small_vector<:string> v2; // 最多 4 个 string(注意:string 自身可能堆分配)</:string></int>
这个数字不是随便选的:编译器需在编译期确定栈帧大小,所以必须是编译期常量。常见取值有 4、8、16 —— 太小没收益,太大浪费栈空间且可能触发栈溢出(尤其递归深的场景)。
容易踩的坑:
- 误以为
folly::small_vector的sizeof是N * sizeof(T)—— 实际还包含 size、capacity、是否已堆分配等元数据,通常多 8–16 字节 - 把大对象(如
std::vector)塞进 small_vector —— 即使 N=1,拷贝代价也远超收益
哪些操作会悄悄触发堆分配?
只要插入后总元素数 > 内嵌容量,folly::small_vector 就会 malloc 一块堆内存,并把原有数据搬过去。这个过程不抛异常(默认使用 nothrow 分配器),但会影响性能和内存局部性。
典型触发点:
-
v.push_back(x)导致 size 超过 N -
v.resize(n)中n > N -
v.assign(iter, iter+n)中n > N - 拷贝赋值给一个已堆分配的
small_vector(此时可能复用原堆内存)
验证是否发生堆分配?看 v.capacity() > N,或用 AddressSanitizer 检测 malloc 调用频次。生产环境别依赖 v.isHeapAllocated() —— 这是 folly 内部 API,不稳定。
和 std::array / std::vector 混用要注意什么?
folly::small_vector 兼容 STL 接口,能用范围 for、支持 begin()/end()、可传给接受 std::vector 的函数(通过 .data() + .size() 构造 span)。但它不是 std::vector 的派生类,不能隐式转换。
安全混用方式:
- 对外暴露只读视图时,用
gsl::span或(v) std::span(v)(C++20) - 需要传给旧接口?显式构造:
std::vector(注意:这会强制拷贝到堆)(v.begin(), v.end()) - 别直接 reinterpret_cast 或 memcpy ——
small_vector内存布局含 tag 字段,和std::array不兼容
最常被忽略的一点:它的迭代器失效规则和 std::vector 一致(插入导致重分配时全部失效),但“重分配”发生的阈值是内嵌容量,不是当前 capacity() —— 这点在写自定义算法时容易误判迭代器有效性。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!









