constexpr函数筛编译期质数需满足：所有分支为常量表达式，禁用动态内存，辅助函数is_prime也须constexpr，循环上限用i*i≤n代替非constexpr的std::sqrt。
constexpr 函数怎么写才能筛出编译期质数
必须用 constexpr 且所有分支都满足常量表达式约束，递归深度不能超编译器限制（GCC/Clang 默认约 512 层，MSVC 更低）。最稳妥是迭代式写法，避免递归展开爆炸。
关键点：
-
constexpr函数里不能用std::vector或动态内存，只能用数组、std::array或返回值承载结果 - 判断质数的辅助函数（如
is_prime）也得是constexpr，且循环上限得是n / 2或sqrt(n)—— 注意std::sqrt不是constexpr，得手写整数开方或用i * i - GCC 12+ 支持
constexpr std::sqrt，但为兼容性建议回避
怎么用 std::array 存编译期质数表
不能在函数内声明可变长度数组，所以得把上限作为模板参数传入，用 std::array<int n></int> 承载结果。生成逻辑要一次性算完，不能“边查边 push”。
示例思路（筛 100 以内质数）：
立即学习“C++免费学习笔记（深入）”；
template<int N>
constexpr auto generate_primes() {
std::array<int, N> buf{};
int count = 0;
for (int i = 2; count < N && i <= 100; ++i) {
if (is_prime(i)) {
buf[count++] = i;
}
}
return buf;
}
注意：N 是预期质数个数，不是上界；实际要用时得先知道 100 内有 25 个质数，否则 buf 可能未填满或越界。
为什么 static_assert + constexpr 函数组合容易失败
常见错误是把运行时变量塞进 static_assert，比如 static_assert(is_prime(x), "...") 中 x 来自函数参数但未标记 constexpr。编译器会报 “expression did not evaluate to a constant”。
真正能用的场景：
- 字面量直接调用：
static_assert(is_prime(97)); - 模板非类型参数：
template<int n> struct check { static_assert(is_prime(N)); };</int> - 变量声明加
constexpr且初始化为常量表达式：constexpr int p = 101; static_assert(is_prime(p));
一旦中间用了 auto 推导或未显式标注 constexpr，链就断了。
编译期筛质数的实际瓶颈在哪
不是算法复杂度，而是编译器对 constexpr 上下文的展开深度和内存占用限制。筛到 1000 以内通常没问题，但筛前 1000 个质数（最大约 7919）可能触发 Clang 的 “constexpr evaluation depth exceeded” 错误。
缓解方式：
- 用
-fconstexpr-depth=1024（Clang）或-fconstexpr-loop-limit=10000（GCC）放宽限制 - 改用
consteval（C++20）强制编译期求值，但不解决深度问题，只让错误更早暴露 - 真要大范围筛，建议生成头文件（用脚本预计算），而非全靠编译期实时算
最易被忽略的是：模板实例化次数随输入线性增长，但每个 is_prime(n) 调用都会独立展开一次循环，没有缓存 —— 这才是隐式性能杀手。
