深入理解 C++20 Concepts：让模板更安全、更易读

作者

C++20 的 Concepts 为模板编程带来了一次革命性的改进，它们可以在编译期对模板参数进行约束，避免传统模板错误信息的“晦涩无比”。本文从 Concepts 的基本语法、使用场景、优势以及与旧版 SFINAE 的对比等角度，帮助你快速掌握 Concepts 的核心思想，并通过实战代码示例展示其在实际项目中的应用。

1. 什么是 Concepts？

Concepts 是一组可组合的语义约束，用来限定模板参数必须满足的条件。它们在编译期被检查，如果不满足约束，编译器会给出明确的错误提示，而不是隐晦的 SFINAE 失效信息。

概念可以视为模板函数或类的“契约”，让调用者和实现者对类型必须满足的行为达成共识。

2. 基本语法

template<typename T>
concept Integral = std::is_integral_v <T>;   // 简单概念

// 多约束概念
template<typename T>
concept Arithmetic = std::is_arithmetic_v <T> && requires(T a, T b) {
    { a + b } -> std::convertible_to <T>;
    { a - b } -> std::convertible_to <T>;
};

在模板参数列表中使用 requires 关键字或直接写 T 前缀：

template<Arithmetic T>
T add(T a, T b) { return a + b; }

3. Concepts 的优势

  1. 更友好的错误信息：编译器会指出哪个约束未满足，而不是“无法实例化模板”之类的错误。
  2. 更易维护：约束集中在一处，代码可读性提高。
  3. 可组合：使用 &&、||、! 组合复杂约束，形成层层封装的概念。
  4. 性能：概念检查在编译期完成，不会影响运行时。

4. 与 SFINAE 的对比

方面 Concepts SFINAE
语法 直观、可读 难以维护
错误信息 直接 隐晦
组合 简单 复杂
兼容性 C++20 起 C++11 及以上

5. 实战示例

5.1. 定义一个通用的 clamp 函数

#include <concepts>
#include <iostream>

template<std::totally_ordered T>
T clamp(const T& v, const T& lo, const T& hi) {
    if (v < lo) return lo;
    if (v > hi) return hi;
    return v;
}

int main() {
    std::cout << clamp(5, 1, 10) << '\n';   // 5
    std::cout << clamp(0, 1, 10) << '\n';   // 1
    std::cout << clamp(15, 1, 10) << '\n';  // 10
}

如果尝试使用不满足 <、> 比较的类型，编译器会报错：

struct NoOrder{};
int main() {
    NoOrder a, b, c;
    clamp(a, b, c); // error: NoOrder does not satisfy std::totally_ordered
}

5.2. 使用 requires 子句自定义约束

template<typename T>
requires std::is_integral_v <T> && requires(T a) {
    { a % 2 } -> std::convertible_to <T>;
}
void print_odd(T n) {
    if (n % 2 != 0) std::cout << n << " is odd.\n";
}

5.3. 组合概念构建更高级的约束

template<typename T>
concept FloatingPoint = std::is_floating_point_v <T>;

template<typename T>
concept ApproxEqual = FloatingPoint <T> && requires(T a, T b) {
    { std::abs(a - b) } -> std::convertible_to <T>;
};

template<ApproxEqual T>
bool nearly_equal(T a, T b, T eps = static_cast <T>(1e-6)) {
    return std::abs(a - b) <= eps;
}

6. 在类模板中使用 Concepts

template<typename Container>
concept SequenceContainer = requires(Container c, typename Container::value_type val) {
    { c.size() } -> std::convertible_to<std::size_t>;
    { c.begin() } -> std::convertible_to<typename Container::iterator>;
    { c.end() }   -> std::convertible_to<typename Container::iterator>;
    c.push_back(val);
};

template<SequenceContainer C>
void reverse(C& c) {
    std::reverse(c.begin(), c.end());
}

7. 小结

Concepts 的出现大大提升了 C++ 模板编程的安全性与可读性。它们让模板约束显而易见，减少了调试时间，并使代码更易维护。建议在新项目中尽量使用 Concepts，并逐步迁移旧的 SFINAE 代码。随着标准库对 Concepts 的支持愈发完善，未来的 C++ 开发者将拥有更强大的类型安全工具。

通过本文的示例代码，你已经掌握了 Concepts 的基本用法。下一个挑战是尝试在自己的项目中替换一部分 SFINAE 逻辑，体验 Concepts 带来的便利。祝编码愉快！

发表评论