C++标准容器在C++20前不支持constexpr构造或修改，不存在编译期动态内存分配；C++20起仅std::array等无堆依赖类型获完整constexpr支持，std::vector等仍禁用堆分配。
constexpr 容器根本不存在“编译期动态内存分配”
C++ 标准库中所有标准容器（如 std::vector、std::string、std::map）在 C++20 及之前**都不支持 constexpr 构造或修改**，更不存在所谓“编译期动态内存分配”。new、malloc、堆分配器、指针算术等运行时内存管理机制在 constexpr 上下文中被明确禁止。试图在 constexpr 函数里调用 std::vector::push_back 或 resize 会直接触发编译错误，典型报错是：call to non-constexpr function 或 dynamic memory allocation is not allowed in a constant expression。
C++20 起部分容器的 limited constexpr 支持仅限于栈上固定大小 + 无堆分配
C++20 开始，std::array、std::span、std::string_view 等**无堆依赖、尺寸静态可知**的类型获得了完整 constexpr 支持；而 std::vector 和 std::string 的 constexpr 支持非常有限且高度受限：
-
std::vector在 C++23 才开始实验性支持constexpr构造（仅限空构造或从std::initializer_list构造），但其内部仍不能执行任何堆分配 —— 实际实现中，编译器会拒绝任何需要动态内存的操作，或在支持的少数场景下将数据布局“烘焙”进常量表达式上下文（例如把std::vector{1,2,3}当作字面量展开） - 所有标准容器的
operator[]、at()、data()等只读访问函数，在满足对象本身是 constexpr 构造的前提下，才可能成为 constexpr（前提是不触发未定义行为） - 任何涉及重分配（如
push_back超出初始容量）、销毁（析构函数含非 constexpr 逻辑）、或自定义分配器的路径，都会立即退出 constexpr 求值
真正可写的 constexpr “容器”只能是手写栈结构或 std::array
如果你需要在编译期构造并操作一组值，可行路径只有：
- 用
std::array：尺寸编译期已知，所有操作（索引、size()、begin()）天然 constexpr - 用 C++20
std::span包装 constexpr 数组，获得类似视图接口 - 手写一个基于模板参数尺寸、内部用
std::array或裸数组存储的constexpr_vector类型（常见于元编程库），它不调用new，所有“增长”必须通过模板参数推导新类型完成（例如append返回() constexpr_vector） - 借助
consteval函数生成初始化列表，再传给std::array构造 —— 这是目前最实用的“编译期计算+存储”组合
consteval auto make_fib_array(int n) {
if (n <= 0) return std::array{};
std::array a{}; // 假设上限为 10
if (n >= 1) a[0] = 0;
if (n >= 2) a[1] = 1;
for (int i = 2; i < n && i < 10; ++i)
a[i] = a[i-1] + a[i-2];
return a;
}
constexpr auto fibs = make_fib_array(6); // ✅ 编译期求值，fibs 类型为 std::array
别被“constexpr vector”博客标题误导
网上一些文章标题写“C++20 实现 constexpr vector”，实际代码要么：
立即学习“C++免费学习笔记（深入）”；
- 只支持固定最大容量（本质是带 size 计数的
std::array封装） - 用
std::integral_constant或参数包展开模拟“增长”，不涉及任何运行时内存 - 依赖 GCC/Clang 特定扩展（如
__builtin_constant_p）绕过标准限制，不可移植
真正的堆分配无法在 constexpr 中发生 —— 这不是编译器懒，而是语言标准刻意封死的边界：constexpr 表达式必须可静态判定、无副作用、无地址不确定性。一旦引入堆，就破坏了常量表达式的可移植性和确定性。
