C++20的concepts允许为模板参数定义约束，提升代码可读性和错误提示；通过concept关键字定义谓词，如Integral或Addable，并结合requires表达式检查操作合法性；标准库提供std::integral等常用concept，可应用于函数、类模板及简写函数语法，增强类型安全与编译时检查。
在C++20中，concepts 是一个重要的新特性，它允许我们为模板参数指定清晰的约束条件，从而提升代码的可读性、可维护性和编译错误信息的友好程度。相比以前只能靠SFINAE或requires表达式“隐式”限制模板，现在可以显式声明哪些类型是合法的。
什么是Concepts？
Concept是一个编译时谓词（即返回true或false），用于约束模板参数。它可以看作是对类型的一组要求，比如“这个类型必须支持加法操作”或者“必须是整数类型”。
定义一个concept使用 concept 关键字，后接名称和一个布尔表达式：
templateconcept Integral = std::is_integral_v;templateT add(T a, T b) { return a + b;}
上面的例子中，Integral 是一个concept，只有整型类型（如int、long等）才能实例化add函数。
立即学习“C++免费学习笔记（深入）”；
如何定义和使用自定义Concept
除了基于类型特征（type traits）定义concept，还可以通过requires表达式来检查操作是否合法。
templateconcept Addable = requires(T a, T b) { { a + b } -> std::convertible_to;};
这段代码表示：类型T必须支持+操作，并且结果能转换为T本身。这样就能确保加法行为符合预期。
然后你可以用它来约束函数模板：
templateT add(T a, T b) { return a + b; }
若传入不支持+操作的类或结果类型不匹配，编译器会直接报错指出违反了Addable约束，而不是抛出一长串模板实例化失败的信息。
标准库中的常用Concepts
C++20标准库在头文件中提供了许多预定义的concept，例如：
std::integral：整型类型 std::floating_point：浮点类型 std::default_constructible：可默认构造 std::copyable：可复制 std::equality_comparable：支持==操作
可以直接使用它们来简化约束：
#include templatevoid process_integer(T value) { // 只接受整型}
在类模板中使用Concepts
concepts同样适用于类模板。你可以在类模板参数列表中加入约束：
templateconcept Printable = requires(T t) { std::cout << t;};templatestruct Logger { void log(const T& value) { std::cout << "Value: " << value << 'n'; }};
如果T不支持输出到std::cout，编译就会在模板定义处报错，提示哪个要求没满足。
函数参数中的简写语法（abbreviated function template）
C++20还支持一种更简洁的写法，直接在函数参数中使用concept名称：
void scale(std::integral auto& x, int factor) { x *= factor;}
这等价于：
templatevoid scale(T& x, int factor);
这种写法适合简单场景，让代码看起来更接近普通函数，但功能仍是模板。
基本上就这些。合理使用concepts能让模板编程更安全、易懂，也能大幅改善错误提示。刚开始可能觉得requires表达式有点复杂，但一旦掌握常见模式，写起来就很自然了。
以上就是C++ C++20的concepts怎么用_C++20概念与模板约束使用方法的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1485159.html
微信扫一扫 
支付宝扫一扫 
