文章内容
在 C++20 之前，模板编程常常依赖于 SFINAE（Substitution Failure Is Not An Error）来实现类型约束。虽然 SFINAE 功能强大，但语法冗长、错误信息不友好，导致模板代码难以维护。C++20 引入了 Concepts（概念）来替代 SFINAE，提供了更直观、可读性更高的方式进行类型检查。
1. SFINAE 的局限
template<typename T>
auto foo(T t) -> decltype(t.begin(), t.end(), void()) {
// 仅当 T 具备 begin() 与 end() 成员时编译通过
}上述代码通过 decltype 与逗号运算符来触发 SFINAE，但如果 T 不满足约束，编译器给出的错误信息通常会指向模板实例化点，而非具体的约束位置。更糟糕的是，如果你想在多个地方复用同一 SFINAE 条件，需要复制粘贴或创建辅助结构，导致代码重复。
2. Concepts 的语法简洁
#include <concepts>
#include <iterator>
template<typename T>
concept InputRange = requires(T t) {
{ std::begin(t) } -> std::input_iterator;
{ std::end(t) } -> std::input_iterator;
};
template<InputRange R>
void process(const R& r) {
for (auto it = std::begin(r); it != std::end(r); ++it) {
// 处理元素
}
}- 概念声明：使用
concept关键字定义InputRange，内部使用requires表达式描述类型T必须满足的要求。 - 概念约束：在模板参数列表中直接使用
InputRange，编译器会自动检查R是否满足约束，并在不满足时给出清晰的错误信息。
3. 与 SFINAE 的对比
| 特性 | SFINAE | Concepts |
|---|---|---|
| 语法 | 复杂且易出错 | 简洁、直观 |
| 可读性 | 较差 | 高 |
| 错误信息 | 模糊 | 详细、定位准确 |
| 重用性 | 需要辅助模板 | 直接复用概念 |
| 与模板的交互 | 通过 enable_if 或 decltype |
通过约束表达式 |
4. 结合使用：SFINAE + Concepts
在某些情况下，仍然需要使用 SFINAE，例如与旧代码兼容或实现更细粒度的约束。可以先用 Concepts 定义基本约束，再用 SFINAE 进一步筛选：
template<typename T>
concept HasSize = requires(T t) {
{ t.size() } -> std::convertible_to<std::size_t>;
};
template<typename T>
requires HasSize <T> && requires(T t) { { t[0] } -> std::same_as<typename T::value_type>; }
void specializedFunc(const T& t) {
// 只有具备 size() 并支持下标访问的容器才会进入
}5. 迁移建议
- 逐步引入：先为最常用的模板函数添加概念约束，保证编译器报错友好。
- 保持兼容：在旧项目中使用
std::enable_if与新项目结合，避免一次性大改。 - 文档化：为每个概念编写清晰的注释，方便团队成员理解约束条件。
6. 小结
C++20 的 Concepts 为模板编程带来了革命性的改进。它们使代码更易读、错误更易定位，同时保持与现有 C++ 标准的兼容性。相比 SFINAE，Concepts 不仅提高了代码质量，还能显著减少维护成本。建议在新项目中优先使用 Concepts，在现有代码中逐步迁移，以获得最佳的长期收益。