C++是否有标准语法可将表达式展开为无循环的多段代码？

一、编译器自动优化：最省心的解决方案 #

你写的原循环代码其实不需要手动修改，只要开启编译优化（如-O2或-O3），现代GCC、Clang、MSVC这类编译器会自动把这个固定次数的小循环展开成你想要的无跳转代码。因为循环次数是编译期已知的（静态数组大小固定），属于完全可预测的简单循环，编译器会自动执行循环展开优化，最终生成的汇编代码里不会有jmp或jle这类跳转指令。

二、手动用模板元编程实现编译期展开（精确控制场景） #

如果需要完全手动控制编译期展开，C++11及以后的模板工具可以实现这个需求，比如用递归模板结合constexpr：

#include <array>
#include <vector>

// 定义编译期常量的位置数组
constexpr std::array<std::pair<int, int>, 5> positions = {{ {0,0}, {1,0}, {-1,0}, {0,1}, {0,-1} }};

// 递归模板实现编译期展开
template<std::size_t I = 0>
inline void add_to_sum(const std::vector<std::vector<int>>& matrix, int atX, int atY, int& sum) {
    if constexpr (I < positions.size()) {
        sum += matrix[atY + positions[I].first][atX + positions[I].second];
        add_to_sum<I+1>(matrix, atX, atY, sum);
    }
}

int sumPlus(const std::vector<std::vector<int>>& matrix, int atX, int atY) {
    int sum = 0;
    add_to_sum(matrix, atX, atY, sum);
    return sum;
}

这段代码利用C++17的if constexpr确保编译期只生成有效的求和语句，编译器会把递归调用展开成5个独立的sum +=操作，和你期望的展开结果完全一致。

三、C++20的简洁写法：编译期范围循环 #

C++20及以后，可以用std::views::iota生成编译期索引序列，配合范围循环实现更简洁的展开：

#include <array>
#include <vector>
#include <ranges>

constexpr std::array<std::pair<int, int>, 5> positions = {{ {0,0}, {1,0}, {-1,0}, {0,1}, {0,-1} }};

int sumPlus(const std::vector<std::vector<int>>& matrix, int atX, int atY) {
    int sum = 0;
    // 编译期可预测的范围循环，会被编译器展开为无循环代码
    for (std::size_t i : std::views::iota(0uz, positions.size())) {
        sum += matrix[atY + positions[i].first][atX + positions[i].second];
    }
    return sum;
}

这里的循环迭代范围是编译期常量，编译器会自动将其展开为独立的求和语句，无需手动递归。

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