template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as<T>;
};

template<Addable T>
T add(T a, T b) {
    return a + b;
}
</font>

如果传入的类型不支持加法或返回类型不符，编译器会直接报错，并指出违反了 Addable 约束，而不是输出一长串模板实例化失败的嵌套信息。

模板约束带来的好处

在没有 Concepts 时，模板是“宽进严出”的——编译器只在实际使用时才检测类型是否合法，错误往往出现在模板内部深处，难以定位。而 Concepts 提供了“前置检查”能力：

• 更清晰的错误信息：编译器能明确指出哪个类型不满足哪个 concept，而不是展开整个模板实例化过程。
• 提高代码可读性：模板参数的约束一目了然，不需要阅读模板体就能知道对类型的要求。
• 支持函数重载基于 concept：可以根据不同的 concept 重载函数模板，实现更精细的泛型逻辑分支。

比如，你可以为整数类型和浮点类型分别提供优化的处理逻辑：

生物医学领域的专业绘图解决方案，告别复杂绘图，专注科研创新

template<std::integral T>
void process(T x) {
    // 整型专用逻辑
}

template<std::floating_point T>
void process(T x) {
    // 浮点型专用逻辑
}

标准库中的常用 Concepts

C++20 在 <concepts></concepts> 头文件中提供了许多预定义的 concept，常见的包括：

• std::integral：类型是整型（如 int, char, bool）
• std::floating_point：浮点类型（float, double）
• std::default_constructible：可默认构造
• std::copyable：可复制
• std::equality_comparable：支持 == 和 !=
• std::regular：适合用作值类型（可复制、可比较、有默认构造等）

这些可以直接用于模板参数约束，减少手动定义重复 concept 的工作量。

编译期类型检查的实现原理

Concepts 基于 requires 表达式实现编译期检查。requires 可以测试类型是否具有某些操作、成员、嵌套类型等。它不会真正执行代码，而是检查表达式是否合法。

例如：

template<typename T>
concept HasSize = requires(T t) {
    t.size();           // 能调用 size()
    { t.size() } -> std::convertible_to<size_t>; // 返回值可转换为 size_t
};

这个 concept 检查类型是否拥有 size() 成员函数且返回值兼容 size_t。所有判断都在编译期完成，不产生运行时代价。

基本上就这些。Concepts 让 C++ 模板从“靠碰运气使用”走向“有契约的泛型编程”，显著提升了大型项目中模板代码的健壮性和开发效率。它不复杂但容易忽略细节，建议结合标准库 concept 和自定义 require 结合使用，逐步替代 SFINAE 风格的复杂元编程。