C++20 Concepts 简明介绍：模板编程的“合约时代”

C++20 引入的 Concepts（概念） 是模板泛型编程自诞生以来最具革命性的进化。它将模板从"黑魔法"转变为一种类型安全、语义清晰、易于调试的现代化工程工具。

---

1. 核心痛点：为什么需要 Concepts？

在 C++20 之前，模板编程如同"无证驾驶"，存在以下三大难题：

• 编译错误信息灾难：一旦类型不匹配，编译器会甩出成百上千行涉及 STL 内部实现的报错，开发者往往难以定位问题根源。
• 约束表达无力 ：要限制模板参数，只能依赖晦涩的 std::enable_if (SFINAE) 或 static_assert，代码极其丑陋且难以维护。
• 接口不透明 ：仅看函数签名 template<typename T>，调用者无法得知 T 具体需要支持哪些操作（如是否可加、是否有 size() 方法）。

Concepts 的核心作用：为模板建立一套"契约"机制。在进入函数体之前，先核验参数是否合格，不合格则在调用点直接报错。

---

2. 核心语法

2.1 如何定义 Concept

使用 concept 关键字结合 requires 表达式，定义对类型的语义要求。

#include <concepts>
#include <iostream>

// 1. 基于逻辑组合定义
template<typename T>
concept Number = std::integral<T> || std::floating_point<T>;

// 2. 基于行为约束定义 (requires 表达式)
template<typename T>
concept Incrementable = requires(T x) {
    x++;        // 必须支持后置自增
    ++x;        // 必须支持前置自增
};

2.2 如何应用 Concept（三种方式）

• 方式一：缩写函数模板（最推荐，语法最简洁）

  void print_sum(Number auto a, Number auto b) {
      std::cout << a + b << std::endl;
  }

• 方式二：直接替换 typename

  template<std::integral T>
  T factorial(T n) {
      if (n <= 1) return 1;
      return n * factorial(n - 1);
  }

• 方式三：显式 requires 子句（适用于复杂逻辑）

  template<typename T>
  requires std::integral<T> && (sizeof(T) <= 4)
  void small_int_handler(T val) {
      // 仅处理 4 字节及以下的整数
  }

---

3. requires 表达式的强大用法

requires 不仅仅能检查成员函数，它有四种细分用法：

template<typename T>
concept Drawable = requires(T obj) {
    // 1. 简单要求 (Simple Requirement)：检查成员函数是否存在
    obj.draw();

    // 2. 类型要求 (Type Requirement)：检查内部是否存在某种嵌套类型
    typename T::value_type;

    // 3. 复合要求 (Compound Requirement)：检查返回值及其类型转化
    { obj.size() } -> std::convertible_to<std::size_t>;

    // 4. 嵌套要求 (Nested Requirement)：引入其他 Concept 的检查
    requires std::copyable<T>;
};

---

4. Concepts 的核心优势

1. 极佳的报错体验 ：编译器会明确提示 Type X does not satisfy concept Y，并指出具体哪条约束未达成，报错不再深入 STL 底层。

2. 支持谓词重载 (Subsumption) ：可以根据约束的精细程度重载函数。编译器会自动选择最严格 的匹配版本。

   void process(std::integral auto v) { /* 通用整数逻辑 */ }
   void process(std::signed_integral auto v) { /* 有符号整数特化逻辑 */ }

3. 替代 SFINAE ：告别 std::enable_if_t 带来的复杂代码，让逻辑回归到显式的声明上。

4. 代码即文档：Concept 本身就是对接口要求的精准描述。

---

5. 标准库预定义 Concepts

C++20 在 <concepts> 头文件中提供了大量常用 Concept，建议优先使用：

• 基础类型 ：std::integral, std::floating_point, std::same_as<T, U>, std::derived_from<D, B>
• 生命周期 ：std::copyable, std::movable, std::default_initializable, std::destructible
• 比较关系 ：std::equality_comparable, std::totally_ordered
• 迭代器 ：std::input_iterator, std::random_access_iterator

---

6. 最佳实践建议

• 公共接口契约化：为所有公共库的模板接口添加参数约束。
• 原子化定义：将复杂的约束拆分为多个小的 Concept，便于复用和组合。
• 结合 if constexpr ：在函数内部利用 Concept 配合 if constexpr 编写分支逻辑。

现代写法示范：

template<Number T>
T safe_divide(T a, T b) {
    if constexpr (std::integral<T>) {
        if (b == 0) throw std::runtime_error("Integer divide by zero");
    }
    return a / b;
}

---

总结

Concepts 是 C++ 模板编程的"成年礼"。 它让泛型代码告别了"盲目猜测"的时代，转而拥抱结构化、文档化和安全化的新纪元。如果你使用的是 C++20 或更高版本，全面拥抱 Concepts 将极大提升代码质量和开发幸福感。