c++20中的概念（Concepts）有什么用_c++20 Concepts语法与泛型约束应用

Concepts 提供编译期类型约束，解决模板错误信息晦涩问题。通过定义 Addable 等约束条件，可明确要求类型支持特定操作；结合 std::integral、std::equality_comparable 等标准概念，能编写安全且易读的泛型代码，提升开发效率与代码可靠性。

C++20 的 Concepts 解决了模板编程中长期存在的问题：类型约束不明确、错误信息晦涩难懂。在 Concepts 出现之前，泛型代码依赖 SFINAE 或 requires 表达式（C++20 前）来限制模板参数，但这些方法复杂且报错信息对用户极不友好。Concepts 提供了一种清晰、可读性强的方式来定义对模板参数的约束，让编译器能在早期发现问题，并给出更直观的提示。

什么是 Concepts？

Concepts 是一种用于约束模板参数的机制，它允许你为类型指定“必须满足什么条件”。比如，你可以要求一个类型支持加法操作、必须是整数，或具备迭代器行为。这种约束不是运行时检查，而是在编译期进行验证。

下面定义一个 Concept，要求类型支持加法操作：

template
concept Addable = requires(T a, T b) {
    a + b;
};

立即学习“C++免费学习笔记（深入）”；

现在可以用这个 Concept 来约束函数模板：

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

如果你传入一个不支持 + 操作的类，编译器会直接提示：“类型不满足 Addable 约束”，而不是展开一长串模板实例化失败的信息。

常用标准 Concept 与泛型约束实践

C++20 在 头文件中提供了许多预定义的 Concept，可以直接使用：

• std::integral：类型必须是整型（如 int, char, bool）
• std::floating_point：浮点类型（float, double）
• std::default_constructible：可默认构造
• std::copyable：可复制
• std::equality_comparable：支持 == 和 !=

你想写一个函数，只接受能比较相等的类型：

海螺视频

海螺AI推出的AI视频生成工具，可以生成高质量的视频内容。

下载

#include 

template
bool isEqual(const T& a, const T& b) {
    return a == b;
}

如果传入两个不可比较的自定义类型，编译器立刻报错并指出哪个 Concept 未满足，极大提升开发效率。

结合 requires 表达式编写复杂约束

除了组合已有 Concept，还可以用 requires 编写更复杂的逻辑判断。

template
concept HasSize = requires(const T& t) {
    t.size();
    { t.size() } -> std::convertible_to;
};

这里不仅检查是否存在 size()，还通过返回类型约束确保其结果能转为 size_t，增强了安全性。

在类模板中使用 Concepts

Concepts 不仅可用于函数模板，也能用于类模板特化或约束构造函数。

template
class MyVector {
    // ...
};

这样，尝试用不可复制的类型实例化 MyVector 会立即被阻止。

基本上就这些。Concepts 让泛型编程从“靠运气编译”变成了“有规可循”，显著提升了代码可读性与维护性。合理使用 Concepts，可以写出既高效又安全的模板代码。不复杂但容易忽略。