constexpr容器是C++26起全面支持的编译期可构造、修改与析构的标准容器，依赖constexpr new/delete、constexpr成员函数及consteval_allocator，在编译期推导并固化数据至二进制；不同于std::array的固定大小，它支持动态容量但需语言与库协同升级。
constexpr容器（如 std::vector 和 std::string）是指能在编译期完成构造、修改与析构的标准容器。它们不是运行时分配内存的普通对象，而是在常量表达式上下文中，由编译器模拟堆行为、静态验证生命周期后生成的“编译期数据结构”。C++20 开始初步支持，C++26 实现全面工程化落地。
constexpr容器从C++20到C++26的关键演进
C++20 首次允许 new 和 delete 出现在 constexpr 函数中，为编译期动态内存分配打下基础。但此时 std::vector 还不能真正 push_back 或 resize —— 它的 allocator 未被标记为 constexpr 友好，且部分成员函数（如 capacity()、erase()）尚未 constexpr 化。
C++26 则完成质变：
- 标准库明确要求
std::vector、std::string等容器的构造、插入、遍历、析构等操作全部支持 constexpr - 引入
consteval_allocator概念，替代传统运行时 allocator，确保所有内存操作可静态追踪与自动释放 - 编译器可在编译期完整模拟堆分配行为，比如
push_back触发扩容时，也能在编译期完成两次 new + copy + delete
它真正在编译期“做了什么”
不是“把运行时代码提前跑一遍”，而是编译器基于语义规则，在常量求值阶段直接推导出结果，并将最终数据（如字符串内容、vector 的元素序列）固化进二进制镜像。
立即学习“C++免费学习笔记（深入）”；
例如这段代码在 C++26 中完全合法且零运行时开销：
std::vector<std::string> v;
v.push_back("Hello");
v.push_back("World");
return v;
}
static_assert(build_greetings().size() == 2); 会通过；生成的可执行文件里，这两个字符串字面量已作为只读数据段的一部分存在。
和 std::array 的本质区别
std::array 是字面类型（literal type），大小固定、无动态内存，天然 constexpr 友好。而 std::vector 是动态容器，它的 constexpr 支持依赖于：
- 编译器对
new/delete在 constexpr 上下文中的语义接纳 - 标准库实现对每个成员函数添加
constexpr说明符（如push_back、begin、data） - allocator 模板参数必须满足
constexpr_allocator要求（C++26 新增约束）
换句话说：std::array 是“编译期已知大小的盒子”，std::vector 是“编译期可算出大小并安全装填的盒子”——后者更灵活，也更依赖语言与库的协同升级。
实际使用要注意什么
目前（2025年底）主流编译器（GCC 14+、Clang 18+、MSVC 19.39+）已支持大部分 C++26 constexpr 容器特性，但仍有细节差异：
- 避免在 constexpr 容器中存储非字面类型对象（如含虚函数的类、std::mutex）
- 不要期望调试器能显示 constexpr vector 的运行时内容——它根本没运行时实例
- 大容量容器（如百万级元素）可能显著增加编译内存与时间，建议用
static_assert(v.size() < 10000)设上限 - 优先用
consteval函数包装关键逻辑，强制编译期执行，防止意外退化到运行时
基本上就这些。
