能否通过std::iota遍历带非类型模板参数的模板函数/类实例？

核心问题分析 #

常规for循环里的变量i是运行期值，无法作为非类型模板参数传递——因为非类型模板参数要求实参是编译期常量表达式，而循环变量i的值只有运行时才能确定，所以直接写foo<i>()会编译报错。

关于std::iota和std::vector的可行性结论 #

用std::iota填充std::vector的方式无法实现需求，原因如下：

• 即使std::iota在C20起支持constexpr，std::vector本身在C20中虽有constexpr构造，但它的元素存储本质仍依赖运行时内存分配（极小栈内分配情况不具普遍性），无法在编译期生成所有foo<n>()的调用实例。
• 遍历vector的过程是运行时操作，此时遍历到的索引值依然是运行时变量，无法作为模板参数传递给foo。

正确的实现方式 #

要实现编译期遍历连续整数模板参数，需借助编译期序列展开，以下是几种可行方案：

方案1：使用C++11的std::integer_sequence #

#include <utility>

template <int n>
void foo() {/*...*/}

template <int... Is>
void call_foo(std::integer_sequence<int, Is...>) {
    (foo<Is>(), ...); // C++17折叠表达式
}

int main() {
    call_foo(std::make_integer_sequence<int, 4>()); // 调用foo<0>到foo<3>
    return 0;
}

方案2：C++20的constexpr lambda与编译期循环 #

template <int n>
void foo() {/*...*/}

int main() {
    []<int... Is>(std::integer_sequence<int, Is...>) {
        (foo<Is>(), ...);
    }(std::make_integer_sequence<int, 4>());
    
    // 或者用C++20的constexpr if配合递归（适合更复杂逻辑）
    constexpr auto call_foo = []<int N>(std::integral_constant<int, N>) {
        if constexpr (N > 0) {
            call_foo(std::integral_constant<int, N-1>());
        }
        foo<N-1>();
    };
    call_foo(std::integral_constant<int, 4>());
    return 0;
}

方案3：C++23的std::views::iota与编译期范围（需编译器支持） #

部分最新编译器支持C++23的编译期范围展开，可结合std::views::iota实现更直观的写法：

#include <ranges>

template <int n>
void foo() {/*...*/}

int main() {
    []<int... Is>(std::integer_sequence<int, Is...>) {
        (foo<Is>(), ...);
    }(std::views::iota(0, 4) | std::views::transform([]<int x>(){return std::integral_constant<int, x>{};}) | std::ranges::to<std::integer_sequence>());
    return 0;
}

补充说明 #

C++标准中规定非类型模板参数的实参必须是转换常量表达式，核心要求是该值能在编译期完全确定，而运行时变量（哪怕是const修饰的）都不满足这个条件。std::iota的constexpr能力只是允许在编译期生成常量序列，但一旦存入std::vector，序列就变成了运行时数据，无法再用于模板参数。

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