C++26 std::inplace_vector 详解：零堆分配的定容向量

C++26 std::inplace_vector 详解：零堆分配的定容向量

本文是「C++26 新特性单篇精讲」系列第 6 篇。阅读约需 6 分钟，文末可跳转完整合订本。

---

一、是什么

std::inplace_vector<T, N> 是一个容量固定为 N 的连续容器，所有元素存储在对象内部，绝不进行堆分配。

---

二、为什么需要它

在实时系统、游戏引擎、高频交易、嵌入式开发中，堆分配带来的不确定延迟不可接受。std::inplace_vector 提供 std::vector 的接口子集，同时保证：

• 无堆分配；
• 缓存友好；
• 分支可控（try_emplace_back、unchecked_emplace_back）。

---

三、完整代码示例

#include <inplace_vector>
#include <iostream>

int main() {
    std::inplace_vector<int, 8> v;

    v.push_back(10);
    v.emplace_back(20);
    v.emplace_back(30);

    // 安全插入：失败返回 nullptr，不抛异常
    if (auto* p = v.try_emplace_back(40)) {
        std::cout << "inserted: " << *p << '\n';
    }

    // 无检查插入：调用者必须保证 size() < capacity()
    v.unchecked_emplace_back(50);

    for (int x : v) {
        std::cout << x << ' ';
    }
    std::cout << '\n';
}

输出：

inserted: 40
10 20 30 40 50

与 std::vector 对比

能力	std::vector	std::inplace_vector
容量	动态增长	固定为 N
堆分配	有	无
越界插入	自动扩容	UB 或异常
适用场景	通用	实时/嵌入式/高频

---

四、编译器支持与特性测试宏

编译器	版本
GCC	16+
Clang	---
MSVC	19.50+

#if __cpp_lib_inplace_vector >= 202406L
#include <inplace_vector>
#endif

---

五、常见陷阱

1. 不会自动扩容 ：push_back 时若 size() == capacity()，行为是实现定义的（通常抛异常或断言）；
2. unchecked_emplace_back 直接 UB：仅在你能外部保证容量时使用；
3. 大 N 会占用栈空间 ：inplace_vector 对象内部存储所有元素，N 太大会导致栈溢出。

---

六、小结

std::inplace_vector 是性能敏感场景的利器。凡是你现在用 std::array 或定长数组手动维护 size 的地方，都可以考虑替换。

---

• 返回 C++26 新特性全景合订本 ： C++26 新特性全景解析
• C/C++ 后台架构学习社区，欢迎关注： https://github.com/0voice

本文基于 C++26 已批准特性撰写，具体实现以编译器文档为准。