如何实现嵌套循环模板？简化重复嵌套for循环代码咨询

我经常需要编写结构高度相似的嵌套for循环，希望通过模板简化大量重复代码。现有编译期已知的block变量：

// 各block值可以不同，但数量在编译期确定
const int block_1 = 10,
          block_2 = 4,
          block_3 = 6,
          block_4 = 3;

所有循环结构一致，例如单层、双层、多层嵌套：

for (int i = 1; i < block_1 - 1; ++i) {

}

for (int i = 1; i < block_1 - 1; ++i) {
    for (int k = 1; k < block_2 - 1; ++k) {

    }
}

for (int i = 1; i < block_1 - 1; ++i) {
    for (int k = 1; k < block_2 - 1; ++k) {
        for (int j = 1; j < block_3 - 1; ++j) {

        }
    }
}

嵌套层数可能较多，但结构始终相似。想咨询：用模板替代这些重复循环是否更便捷？有没有不建议这么做的理由？期望实现如下形式的模板：

for_funk(block_1, block_2, block_3) {
   // 这里编写要放在三层循环内的代码
}

参考了C++提案P2374R4（结构化循环相关内容）。

用模板实现确实更便捷的场景 #

• 消除重复代码：不用手动编写多层嵌套的循环框架，只需要关注循环内部的业务逻辑，减少手写错误（比如循环条件写错、变量名冲突）。
• 编译期无额外开销：模板在编译期展开成与手写完全等价的循环代码，不会带来运行时性能损失。
• 统一维护逻辑：如果后续需要修改循环的起始值、结束条件（比如把i < block_n -1改成i <= block_n -2），只需要修改模板实现，不用逐个修改所有嵌套循环。

简单实现示例 #

可以通过变参模板+递归展开的方式实现：

#include <utility>

// 递归终止：无更多block，执行用户逻辑
template<typename Func>
void for_funk(Func&& func) {
    std::forward<Func>(func)();
}

// 递归展开：生成一层循环，然后处理剩余block
template<int Block, int... Blocks, typename Func>
void for_funk(Func&& func) {
    for (int idx = 1; idx < Block - 1; ++idx) {
        for_funk<Blocks...>([&, idx]() {
            std::forward<Func>(func)(idx);
        });
    }
}

// 适配多参数的lambda（传递所有循环变量）
template<int... Blocks, typename Func>
void nested_for(Func&& func) {
    auto wrap = [&](auto... args) {
        std::forward<Func>(func)(args...);
    };
    for_funk<Blocks...>(wrap);
}

// 使用示例
int main() {
    nested_for<block_1, block_2, block_3>([](int i, int k, int j) {
        // 这里写循环内的逻辑，比如访问数组：arr[i][k][j]
    });
}

不建议使用模板的场景 #

• 团队技术栈适配问题：如果团队成员对C++模板元编程不熟悉，模板实现会增加代码的维护成本，后续排查问题、扩展功能都会变得困难。
• 循环逻辑需要个性化调整：如果某几层循环需要特殊处理（比如某层循环变量步长不是1，或者需要在循环内额外操作变量），统一的模板会限制灵活性，反而不如手写循环方便。
• 极端嵌套层数：如果嵌套层数超过几十层，可能触发编译器的递归深度限制，或者显著增加编译时间（不过现代主流编译器一般支持足够深的递归展开）。

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