C++ 怎么实现一个编译期的质数筛查器-C++-PHP中文网

constexpr函数筛编译期质数需满足：所有分支为常量表达式，禁用动态内存，辅助函数is_prime也须constexpr，循环上限用i*i≤n代替非constexpr的std::sqrt。

c++ 怎么实现一个编译期的质数筛查器

必须用 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 承载结果。生成逻辑要一次性算完，不能“边查边 push”。

示例思路（筛 100 以内质数）：

template<int n>
constexpr auto generate_primes() {
    std::array<int n> buf{};
    int count = 0;
    for (int i = 2; count </int></int>

注意：N 是预期质数个数，不是上界；实际要用时得先知道 100 内有 25 个质数，否则 buf 可能未填满或越界。

常见错误是把运行时变量塞进 static_assert，比如 static_assert(is_prime(x), "...") 中 x 来自函数参数但未标记 constexpr。编译器会报 “expression did not evaluate to a constant”。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

真正能用的场景：

字面量直接调用：static_assert(is_prime(97));
模板非类型参数：template struct check { static_assert(is_prime(N)); };
变量声明加 constexpr 且初始化为常量表达式：constexpr int p = 101; static_assert(is_prime(p));

一旦中间用了 auto 推导或未显式标注 constexpr，链就断了。