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<typename T><br>concept Addable = requires(T a, T b) {<br>    a + b;<br>};

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

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

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

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

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

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

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

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

AppMall应用商店

AI应用商店，提供即时交付、按需付费的人工智能应用服务

56

查看详情

#include <concepts><br><br>template<std::equality_comparable T><br>bool isEqual(const T& a, const T& b) {<br>    return a == b;<br>}

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

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

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

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

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

在类模板中使用 Concepts

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

template<std::copyable T><br>class MyVector {<br>    // ...<br>};

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

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

以上就是c++++20中的概念（Concepts）有什么用_c++20 Concepts语法与泛型约束应用的详细内容，更多请关注php中文网其它相关文章！