在 C++20 之前，模板编程常常依赖于 SFINAE（Substitution Failure Is Not An Error）和类型萃取（type traits）来约束模板参数。虽然这两种技术功能强大，但代码往往难以阅读、调试，并且错误信息不够直观。C++20 引入了 Concepts，为模板参数提供了更简洁、可读性更高的约束机制。下面我们通过一个完整的例子来演示如何使用 Concepts 进行类型约束，以及它们相比传统技术的优势。
1. 背景：传统的 SFINAE 约束
template <typename T>
auto is_incrementable_impl(int) -> decltype(++std::declval<T&>(), std::true_type{});
template <typename T>
std::false_type is_incrementable_impl(...);
template <typename T>
using is_incrementable = decltype(is_incrementable_impl <T>(0));使用该 trait 需要在模板参数前进行 enable_if：
template <typename T,
typename = std::enable_if_t<is_incrementable<T>::value>>
void inc(T& v) { ++v; }这段代码读起来相当冗长，且错误信息往往只有 “no matching function for call to inc” 等模糊提示。
2. Concepts 的基本语法
Concepts 定义为一种“布尔类型”表达式，语法上类似于函数声明：
template <typename T>
concept Incrementable = requires(T& a) {
{ ++a } -> std::same_as<T&>;
};requires 关键字后面跟的是一个 表达式约束，表示给定类型 T 能否满足表达式 { ++a }，并返回值类型应与 T& 相同。
3. 使用 Concepts 对模板参数进行约束
template <Incrementable T>
void inc(T& v) { ++v; }编译器会在调用 inc 时检查 T 是否满足 Incrementable Concept，如果不满足，编译错误信息会直接指出缺失的 ++ 操作，而不是“no matching function”。这使得错误定位更容易。
4. 组合多个 Concepts
我们可以将多个概念组合成一个更高层次的概念，进一步提升代码可读性。
template <typename T>
concept Arithmetic = std::is_arithmetic_v <T>;
template <Arithmetic T>
T add(T a, T b) { return a + b; }如果想要支持可比较类型，可以再加一个：
template <typename T>
concept Comparable = requires(T a, T b) {
{ a < b } -> std::convertible_to<bool>;
};
template <Comparable T>
bool less_or_equal(T a, T b) { return a <= b; }5. 运行时效果对比
| 传统 SFINAE | Concepts |
|---|---|
约束写在 enable_if 里 |
约束写在模板参数前 |
| 难以阅读，错误信息模糊 | 可读性高，错误信息清晰 |
| 需要手动组合多重约束 | 通过 requires 语句一次性声明 |
6. 进阶：自定义概念库
C++20 标准库已经提供了一些基础概念，例如 std::ranges::input_range、std::invocable 等。我们也可以自己创建一个概念库，用于项目通用约束：
// my_concepts.hpp
#pragma once
#include <concepts>
namespace my {
template <typename T>
concept Container = requires(T c) {
typename T::value_type;
{ c.size() } -> std::convertible_to<std::size_t>;
{ c.begin() } -> std::input_iterator;
};
}然后在项目中使用：
#include "my_concepts.hpp"
template <my::Container C>
void print_all(const C& container) {
for (const auto& elem : container) {
std::cout << elem << ' ';
}
}7. 结语
Concepts 让模板编程更加安全、可读、易维护。它们与 SFINAE 并非完全互斥，仍可在需要细粒度控制的场景中结合使用。但在大多数日常模板设计中，Concepts 已经足够强大，且可以显著提升代码质量。建议从项目的公共概念库开始，逐步迁移现有模板到使用 Concepts 的实现，借助编译器的即时反馈来发现潜在错误。祝你在 C++20 的模板世界里玩得开心！