constexpr数组必须编译期完全确定所有元素，禁用运行时变量、new等；std::array是最稳妥选择，c++17起构造函数constexpr化，c++20起operator[]也支持constexpr。
constexpr 数组必须在编译期完全确定所有元素
不能用运行时变量、new、未初始化的局部变量或非 constexpr 函数填充。哪怕一个元素“算不出来”，整个数组就无法声明为 constexpr。
常见错误现象：error: the value of 'x' is not usable in a constant expression，往往是因为某个下标计算依赖了非 constexpr 参数，或用了 std::vector、std::array::fill() 这类非 constexpr 接口。
- 推荐用
std::array：它支持constexpr构造，且长度是类型一部分，编译器能静态验证 - 原始数组（如
int arr[]）也能constexpr，但无法推导长度，且不带 size 接口，实用性低 - C++20 起支持
constexpr std::vector，但仅限于少数编译器（如 GCC 13+ 启用-std=c++20 -fconstexpr-vector），生产环境慎用
std::array 是最稳妥的 constexpr 数组定义方式
std::array 的构造函数在 C++17 起基本全部标记为 constexpr，只要初始化值满足常量表达式要求，就能直接定义为 constexpr 变量。
示例：
constexpr std::array<int> squares = {1*1, 2*2, 3*3, 4*4}; // ✅ OK
constexpr int N = 5;
constexpr std::array<int n> seq = {0,1,2,3,4}; // ✅ OK（N 是 constexpr int）
// ❌ 错误：不能用 for 循环生成（循环本身不是 constexpr 上下文）
// constexpr std::array<int> gen() { /*...*/ } // 需要手写展开或借助模板递归
</int></int></int>
- 初始化列表长度必须与模板参数严格匹配，否则编译失败
- 如果元素较多，可用辅助函数 + 模板展开（比如用
std::make_index_sequence），但函数体仍需全constexpr - 注意：
std::array的operator[]在 C++20 前不是constexpr，访问元素需用at()或结构化绑定
想动态生成 constexpr 数组？得靠模板元编程展开
没有运行时循环，就得把“循环”变成编译期展开。典型做法是用参数包 + 折叠表达式，或递归模板 + std::index_sequence。
例如生成 0~N-1 的 constexpr 数组：
template<:size_t... i>
constexpr auto make_seq_impl(std::index_sequence<i...>) {
return std::array<:size_t sizeof...>{I...};
}
constexpr auto indices = make_seq_impl(std::make_index_sequence{});
// indices 是 constexpr std::array<:size_t></:size_t></:size_t></i...></:size_t...>
- 这种写法本质是让编译器展开成字面量列表
{0,1,2,...,9}，所以仍是常量表达式 - 避免在函数内用
for或while——它们无法出现在constexpr函数中（C++20 前） - C++20 引入
consteval和更宽松的constexpr函数限制，但生成逻辑仍需确保每一步可求值
容易被忽略的兼容性细节
不同标准版本和编译器对 constexpr 数组的支持程度差异较大，尤其涉及初始化方式和成员函数。
- GCC 10 之前，
std::array::data()不是constexpr；Clang 12+、GCC 11+ 才普遍支持 - 使用
std::array::begin()/end()做范围 for 时，C++20 起才保证它们是constexpr - 若目标平台是嵌入式或旧编译器（如 GCC 8），优先用原始数组 +
constexpr尺寸宏，避开std::array成员函数 - 调试时可用
static_assert(std::is_constant_evaluated())检查是否真在编译期求值，避免“看似 constexpr 实则退化为运行时”
真正难的不是写出来，而是确保从定义、初始化到后续每次访问，全程没掉出 constexpr 上下文——漏掉一个点，整个链路就失效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
