如何将可变参数模板函数foo的编译时整数参数调用改为普通传参？

嘿，这个需求很常见！咱们先把问题摆清楚：我们有一个依赖编译时整数序列的模板函数foo，现在只能通过模板参数调用它（比如foo<1,2,3,4>()），但想改成更直观的普通函数传参形式foo(1,2,3,4)，要求不能用宏或C风格可变参数，还必须保证整数序列是编译时确定的。

下面分不同C++版本给你靠谱的解决方案：

C++20及以上：用consteval立即函数一步到位 #

C++20引入的consteval关键字是真的香，它定义的立即函数必须在编译时求值，完美契合我们的需求。直接写一个重载的foo函数，把传入的整数直接转成模板参数转发给原函数：

// 原模板函数保持不变，负责实际逻辑
template <int... Ints> void foo() {
    Foo<Ints...> f;
    // 这里写处理f的代码
}

// 新增的立即函数，接受编译时常量整数
consteval void foo(int... args) {
    // 转发给原模板函数，args会被当作编译时常量处理
    foo<args...>();
}

// 现在就能像你想要的那样调用了！
foo(1, 2, 3, 4);

这里的consteval会强制要求传入的1,2,3,4必须是编译时常量（比如不能传运行时才确定的变量），否则编译直接报错，完全符合“编译时整数序列”的要求。

C++17：借助constexpr数组和索引曲线救国 #

如果只能用C++17，咱们可以用constexpr数组和索引序列来间接传递编译时整数。思路是先把传入的整数打包成constexpr数组，再通过索引序列把数组元素提取出来作为模板参数：

#include <utility> // 用于std::index_sequence

// 原模板函数不变
template <int... Ints> void foo() {
    Foo<Ints...> f;
    // 处理逻辑
}

// 辅助模板函数：用索引序列提取数组元素作为模板参数
template <std::size_t... Idx>
constexpr void foo_helper(std::index_sequence<Idx...>, const int (&args)[sizeof...(Idx)]) {
    foo<args[Idx]...>();
}

// 包装函数：接受整数参数，打包成constexpr数组后调用辅助函数
constexpr void foo(int... args) {
    constexpr int arg_arr[] = {args...};
    foo_helper(std::make_index_sequence<sizeof...(args)>{}, arg_arr);
}

// 调用方式一样清爽：
foo(1, 2, 3, 4);

这个方案里，arg_arr是编译时常量数组，args[Idx]自然也是编译时确定的，所以能安全地传给原模板函数。如果传入的不是编译时常量，arg_arr就没法被标记为constexpr，编译会直接报错，刚好帮我们守住了“编译时序列”的底线。

额外提示：如何确保参数是int类型 #

如果担心传入非int类型的整数（比如long），可以加个静态断言来做检查：
比如在C++20的版本里，给立即函数加个静态断言：

consteval void foo(int... args) {
    // 确保所有参数都是int类型
    static_assert((std::is_same_v<decltype(args), int> && ...), "All arguments must be int!");
    foo<args...>();
}

C++17的版本也可以在包装函数里加类似的断言，防止错误类型的参数混入。

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