什么是C++20概念（Concepts）？如何在模板中使用它们？

2026-01-29 作者 stdcpp

概念是C++20引入的一项强大特性，旨在让模板编程更安全、易读并且提供更好的错误信息。它们可以视为对模板参数类型的“契约”，描述了类型必须满足的语义与操作。相比传统的SFINAE，概念提供了更直观、可组合、可维护的方式。

1. 概念的核心思想

语义化：概念用自然语言描述了类型应该具备的特征，如 Incrementable, Copyable 等。
可组合：通过逻辑运算符 &&, ||, ! 等，可以组合出更复杂的约束。
编译期检查：编译器在模板实例化时会验证概念约束，若不满足则给出清晰的错误信息。
可选与必需：在模板参数列表中用 requires 子句显式声明，或者在参数类型前直接使用概念。

2. 如何定义概念

template<typename T>
concept Incrementable = requires(T a) {
    { ++a } -> std::same_as<T&>;      // 前置递增返回引用
    { a++ } -> std::same_as <T>;      // 后置递增返回原值
    { a += 1 } -> std::same_as<T&>;   // 递增运算
};

requires 关键字后面是一个布尔表达式或表达式集合。
-> 用来指定返回类型（如 std::same_as<T&>）或使用其他约束。

3. 在模板中使用概念

3.1 在参数类型前

template<Incrementable T>
T add_one(T value) {
    return ++value;
}

此写法类似于旧的 typename T，但增加了约束。

3.2 使用 `requires` 子句

template<typename T>
requires Incrementable <T>
T add_one(T value) {
    return ++value;
}

requires 可以放在模板头或在函数体前。

3.3 复合约束

template<typename T>
concept IncrementableAndComparable = Incrementable <T> && std::totally_ordered<T>;

template<IncrementableAndComparable T>
T min(T a, T b) {
    return a < b ? a : b;
}

4. 示例：使用概念实现一个泛型 `max` 函数

#include <concepts>
#include <iostream>

template<typename T>
concept Comparable = requires(T a, T b) {
    { a < b } -> std::convertible_to<bool>;
};

template<Comparable T>
T max(T a, T b) {
    return (a < b) ? b : a;
}

int main() {
    std::cout << max(3, 7) << '\n';          // 输出 7
    std::cout << max(3.14, 2.71) << '\n';     // 输出 3.14
    // max("foo", "bar"); // 编译错误：const char* 不满足 Comparable
}

5. 好处总结

更友好的错误信息：若调用 add_one("hello")，编译器会提示“’hello’ does not satisfy Incrementable”。
提前发现错误：编译器在模板实例化前检查约束，减少运行时错误。
可读性提升：概念名即为语义，阅读代码时即可理解意图。
灵活组合：可以在不同的模板中复用已有概念，构建层层递进的约束体系。

6. 未来展望

C++23 将进一步完善概念相关特性，例如在 requires 子句中使用函数参数、改进可见性以及与编译器的错误信息集成。概念已成为现代 C++ 模板编程的标准工具，建议从 C++20 开始就积极使用。

实践建议：在自己的项目中，将常用约束抽象为概念，逐步替换掉传统的 enable_if 方案。这样既能提升代码质量，又能让团队成员更易于维护。

发表评论取消回复