在 C++17 及之后的标准里，constexpr 已经从单纯的常量表达式扩展为能够执行完整逻辑的编译期函数。利用这一点，我们可以在编译期间生成各种数据结构，例如整数序列、字符串表，甚至是递归的类型列表。本文将通过一个完整的例子，展示如何用 constexpr 搭建一个可在编译时评估的整数序列，并用它来实现模板元编程中常见的“整数序列索引”问题。
1. 背景：为什么需要编译期序列？
在模板元编程中，常见的需求是给函数或类模板提供一组整数索引，例如在 std::tuple 的 std::apply 实现里，需要知道所有参数的索引。以前我们用 std::index_sequence 和 std::make_index_sequence，但这些都是标准库提供的实现。若要自定义更灵活的序列（比如支持非连续索引或带权重的索引），我们需要自己实现。
constexpr 的强大之处在于它让我们可以在编译时执行循环、递归等操作，完全摆脱了运行时的开销。结合 C++20 的 consteval 或 C++23 的 constinit，我们可以进一步保证函数在编译期执行。
2. 设计思路
我们想要实现的类型是：
template <typename T, T... Values>
struct constexpr_sequence {};
类似 std::integer_sequence，但我们把它命名为 constexpr_sequence，并提供一个辅助模板 `make_constexpr_sequence
`，在编译期生成 `[0, 1, 2, …, N-1]`。
核心技术点：
1. **递归模板**：使用尾递归的 `make_seq_impl`，在 `constexpr` 上下文中生成序列。
2. **`if constexpr`**：在 C++17 之后可用，避免不必要的实例化。
3. **`consteval`**：保证函数只在编译期调用。
—
### 3. 代码实现
“`cpp
#include
#include
// ———- 1. 基础序列类型 ———-
template
struct constexpr_sequence {
using value_type = T;
static constexpr std::size_t size = sizeof…(Values);
static constexpr std::array values = { Values… };
};
// ———- 2. 递归生成序列 ———-
template
struct make_seq_impl {
using type = typename make_seq_impl::type;
};
template
struct make_seq_impl {
using type = constexpr_sequence;
};
template
using make_constexpr_sequence = typename make_seq_impl::type;
// ———- 3. 例子：生成 0-9 的整数序列 ———-
constexpr auto seq10 = make_constexpr_sequence{};
static_assert(seq10::size == 10, “序列大小应该是 10”);
// ———- 4. 使用例子：将元组元素与序列索引绑定 ———-
template
constexpr void apply_impl(const Tuple& t, const Seq&, std::index_sequence
) {
((std::cout << "tuple[" << I << "] = " << std::get(t) << '\n'), …);
}
template
constexpr void apply(const Tuple& t) {
constexpr auto seq = make_constexpr_sequence<std::size_t, std::tuple_size_v>;
apply_impl(t, seq{}, std::make_index_sequence<std::tuple_size_v>{});
}
// ———- 5. 测试 ———-
int main() {
auto t = std::make_tuple(42, “hello”, 3.14);
apply(t);
}
“`
**输出**
“`
tuple[0] = 42
tuple[1] = hello
tuple[2] = 3.14
“`
—
### 4. 进一步扩展
1. **非连续索引**：可以改写 `make_seq_impl`，让 `Values…` 不一定是 `0…N-1`，而是自定义列表，例如 `[2,4,6]`。
2. **编译期字符串**：将 `constexpr_sequence` 组合成 `constexpr_string`，实现编译期字符串拼接。
3. **类型序列**：类似于 `std::tuple` 的类型列表 `type_sequence`，结合 `make_constexpr_sequence` 生成对应索引序列。
—
### 5. 性能与限制
– **编译时间**：虽然 `constexpr` 在编译期执行，但递归深度大（如 `N > 1000`）会显著增加编译时间。可以用迭代方式或尾递归优化来缓解。
– **C++ 标准兼容性**：上述实现仅依赖 C++17 的 `if constexpr`，在 C++14 及以前需要改用模板特化技巧。
—
### 6. 小结
利用 `constexpr` 与递归模板，我们可以在编译期生成任意整数序列，彻底摆脱运行时的循环与分支。本文示例演示了从序列生成到元组处理的完整链路，展示了现代 C++ 在元编程方面的灵活与强大。掌握这类技巧后，你就能在自己的项目中实现更高效、更类型安全的模板库。祝编码愉快！</std::tuple_size_v
