循环中实例化模板结构体foo因参数非常量报错，如何解决？

嘿，这个问题其实戳中了C++模板最核心的一个规则——模板非类型参数必须是编译期就能确定的常量表达式。

你循环里的i是个运行时变量啊！它的值只有程序跑起来的时候才会从0慢慢变到99，编译器在编译阶段根本不知道i具体是多少，自然没法为foo<i>生成对应的模板实例。你强转(const int)i只是把变量改成只读，但它本质还是运行时才会确定值的变量，不是编译期常量，所以完全没用。

解决办法分两种情况看： #

情况1：你的逻辑可以在编译期完成（推荐，符合模板设计初衷） #

如果处理foo<i>::value的逻辑不需要依赖运行时数据，那直接用编译期循环来处理就好：

C++20 版本（最简洁）

C++20引入的constexpr for直接支持编译期遍历，变量i会被当作编译期常量处理：

// 先给foo一个示例实现
template<int P> struct foo { static const int value = P * 2; };

constexpr void process_all_foo() {
    constexpr int total = 100;
    // 这里的i是编译期常量，完全符合模板参数要求
    for (int i = 0; i < total; ++i) {
        constexpr auto bar = foo<i>::value;
        // 这里可以做编译期能处理的操作，比如存入编译期数组
        // 如果要运行时用，直接把结果存到constexpr数组里就行
    }
}

int main() {
    process_all_foo();
    return 0;
}

C11/C17 版本（模板递归模拟循环）

如果没法用C++20，就用模板元编程的递归方式模拟编译期循环：

template<int P> struct foo { static const int value = P * 2; };

// 递归模板：处理第i个元素，然后递归处理下一个
template<int Total, int Current = 0>
struct CompileTimeLoop {
    static void run() {
        auto bar = foo<Current>::value;
        // 处理当前Current对应的value
        CompileTimeLoop<Total, Current + 1>::run(); // 递归到下一个
    }
};

// 终止条件：当Current等于Total时，停止递归
template<int Total>
struct CompileTimeLoop<Total, Total> {
    static void run() {}
};

int main() {
    CompileTimeLoop<100>::run(); // 遍历0到99
    return 0;
}

情况2：必须在运行时循环中处理 #

如果你的逻辑依赖运行时数据，没法全在编译期完成，那可以提前把所有foo<0>到foo<99>的value预生成到一个数组里，然后运行时通过索引访问：

template<int P> struct foo { static const int value = P * 2; };

// 用模板生成编译期数组
template<int... Indices>
constexpr auto make_foo_value_array(std::integer_sequence<int, Indices...>) {
    return std::array<int, sizeof...(Indices)>{foo<Indices>::value...};
}

// 编译期生成好所有值的数组
constexpr auto foo_values = make_foo_value_array(std::make_integer_sequence<int, 100>());

int main() {
    // 现在运行时循环直接访问数组就行，完全没问题
    for (int i = 0; i < 100; ++i) {
        auto bar = foo_values[i];
        // 这里做运行时的处理逻辑
    }
    return 0;
}

这个方法里，foo_values是编译期就生成好的数组，运行时访问效率拉满，还完美避开了模板参数必须是常量的限制。

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