在 C++20 之后，模板编程已经迎来了一个重要的里程碑——概念（Concepts）。C++23 对概念进一步完善，并引入了范围扩展，让我们可以在更灵活的上下文中使用它们。本文将从概念的基本语法开始，深入讨论如何结合标准库范围（ranges）来编写更安全、更易读的模板代码。
1. 什么是概念？
概念是对模板参数类型的约束。它们像是模板的“接口”，可以指定参数必须满足的语义要求，例如可迭代、可比较、可移动等。使用概念可以：
- 编译时错误信息更清晰：错误提示会直接说明缺失的约束，而不是一堆隐晦的 SFINAE 失配信息。
- 代码更易维护：约束被显式写在模板签名中，读者可以快速理解函数或类所需的前置条件。
- 编译器更好优化：约束可以帮助编译器做更精准的类型推导和代码生成。
2. 基本语法
#include <concepts>
#include <vector>
#include <list>
#include <algorithm>
template <typename T>
concept Iterable = requires(T t, std::size_t i) {
{ t.begin() } -> std::input_iterator;
{ t.end() } -> std::input_iterator;
{ *t.begin() } -> std::input_or_output_iterator;
};
template <Iterable Container>
void print_all(const Container& c) {
for (auto it = c.begin(); it != c.end(); ++it) {
std::cout << *it << ' ';
}
std::cout << '\n';
}上述示例中，Iterable 定义了容器需要具备 begin()、end() 以及迭代器可解引用的属性。print_all 函数则只接受满足 Iterable 的容器。
3. 与标准库范围（ranges）的融合
C++23 的范围库（`
`）允许我们使用视图（views）链式组合，而概念可以直接约束视图。下面是一个示例：对任意可迭代容器的偶数元素求和。 “`cpp #include #include template auto sum_even(const R& r) { return std::ranges::fold_left( r | std::views::filter([](auto&& x){ return x % 2 == 0; }), 0, std::plus{} ); } int main() { std::vector vec = {1,2,3,4,5,6}; std::cout concept Arithmetic = std::is_arithmetic_v ; template concept VectorLike = requires(T a, T b) { a + b; // 加法 a * b; // 乘法 std::size(a); // 尺寸 }; “` 使用 `requires` 语句，我们可以组合多个概念，甚至根据模板参数条件生成不同的约束。 #### 4.2 约束可变参数模板 “`cpp template requires (VectorLike && …) // 所有 Args 必须满足 VectorLike void process_vectors(const Args&… vecs) { // … } “` 这里的 `&& …` 表示所有参数都必须满足 `VectorLike`。 ### 5. 约束与 `requires` 子句的区别 – **概念** 是预先声明好的约束名称。 – **`requires` 子句** 允许你在模板签名中直接写约束表达式，适合一次性、复杂的约束。 “`cpp template requires requires(T a) { { a.size() } -> std::convertible_to; } void print_size(const T& t) { std::cout