如何强制编译器对打印素数的C++循环执行常量折叠？

首先得明确：普通的for循环生成并打印素数，编译器默认不会帮你做常量折叠——因为素数生成的逻辑属于运行时迭代计算，哪怕结果是固定的，编译器也不会主动在编译期去推导完整的素数序列（除非是极小范围，比如10以内）。你试过的__builtin_expect是用来给分支预测做提示的，和常量折叠完全不相关，所以没用很正常。

要让编译器把这段代码优化成直接输出素数的形式，核心思路是把素数计算从运行期转移到编译期，下面是几种可行的方案：

1. 用C++14+的constexpr实现编译期素数生成 #

从C++14开始，constexpr函数允许包含循环语句，我们可以把素数判断、序列生成都放到编译期完成，让编译器直接生成一个包含所有素数的常量数组，运行时只需要打印这个数组即可。

示例代码如下（以生成100以内的素数为例）：

#include <iostream>
#include <array>
#include <utility>

constexpr int MAX_RANGE = 100;

// 编译期判断一个数是否为素数
constexpr bool is_constexpr_prime(int n) {
    if (n <= 1) return false;
    for (int i = 2; i * i <= n; ++i) {
        if (n % i == 0) return false;
    }
    return true;
}

// 编译期生成素数数组和素数数量
constexpr auto generate_constexpr_primes() {
    std::array<int, MAX_RANGE> primes{};
    int count = 0;
    for (int num = 2; num <= MAX_RANGE; ++num) {
        if (is_constexpr_prime(num)) {
            primes[count++] = num;
        }
    }
    return std::make_pair(primes, count);
}

// 编译期初始化素数数据
constexpr auto prime_list = generate_constexpr_primes();

int main() {
    for (int i = 0; i < prime_list.second; ++i) {
        std::cout << prime_list.first[i] << " ";
    }
    std::cout << "\n";
    return 0;
}

用-O2或-O3优化等级编译这段代码后，你查看汇编会发现：prime_list已经被编译器预计算成了包含所有素数的常量数组，main函数里只是直接遍历打印这些常量——完全实现了你想要的"常量折叠"效果。

2. 手动硬编码素数列表（最直接的方案） #

如果你的素数范围是固定的，不想折腾编译期计算，最简单的方式就是直接把素数列出来：

#include <iostream>

int main() {
    // 直接写死100以内的素数
    const int primes[] = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97};
    const int prime_count = sizeof(primes) / sizeof(primes[0]);
    
    for (int i = 0; i < prime_count; ++i) {
        std::cout << primes[i] << " ";
    }
    std::cout << "\n";
    return 0;
}

这种方式不需要依赖任何新特性，任何编译器都会直接优化成打印常量的代码，效果立竿见影。

为什么普通循环无法被自动优化？ #

编译器的常量折叠主要针对简单的算术、逻辑表达式（比如3+5、(10>5)?a:b），对于需要多轮迭代、依赖复杂条件判断的素数生成，编译器不会主动在编译期完成计算——一方面是因为编译期计算这类逻辑的成本较高，另一方面C++标准对编译期计算的能力是逐步放开的，早期版本甚至不允许constexpr里有循环。

所以只有当你明确告诉编译器"这段逻辑可以在编译期完成"时（比如用constexpr），它才会帮你把计算结果固化成常量。

内容的提问来源于stack exchange，提问作者ar2015