0

0

c++中如何使用C++20的Concepts进行类型约束_c++20 Concepts类型约束用法

穿越時空

穿越時空

发布时间:2025-10-30 08:12:02

|

843人浏览过

|

来源于php中文网

原创

C++20的Concepts提供编译期类型约束,提升模板代码可读性与安全性。使用concept定义谓词如Integral限制模板参数,结合std::integral等标准库concept可精确控制类型要求,支持逻辑组合与requires表达式检查操作合法性及返回类型,适用于函数与类模板,使错误提示更清晰。

c++中如何使用c++20的concepts进行类型约束_c++20 concepts类型约束用法

C++20 引入了 Concepts,用来对模板参数进行约束,使编译器能在编译期检查类型是否满足特定要求。相比传统的 SFINAE 或 static_assert,Concepts 提供了更清晰、可读性更强的语法来限制模板类型。

定义和使用基本 Concept

Concept 是一个编译期谓词,用于描述类型必须满足的条件。使用 concept 关键字定义:

template
concept Integral = std::is_integral_v;

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

上面定义了一个名为 Integral 的 concept,它要求类型 T 必须是整型。函数 add 只接受满足该 constraint 的类型。如果传入 double,编译器会直接报错,并提示类型不满足 constraint。

使用标准库中的 Concepts

C++20 标准库在 头文件中提供了常用 concepts,例如:

立即学习C++免费学习笔记(深入)”;

  • std::integral:整型类型
  • std::floating_point:浮点类型
  • std::default_constructible:可默认构造
  • std::copyable:可复制
  • std::equality_comparable:支持 == 操作

可以直接在模板中使用:

#include 

template T multiply(T a, T b) { return a * b; }

组合多个约束

可以使用逻辑运算符组合多个 constraints:

玄鲸Timeline
玄鲸Timeline

一个AI驱动的历史时间线生成平台

下载
template
concept Numeric = std::integral || std::floating_point;

template T maximum(T a, T b) { return a > b ? a : b; }

这个 Numeric concept 接受整型或浮点类型。也可以用 && 表示“与”关系:

template
concept SignedIntegral = std::integral && std::is_signed_v;

在类模板中使用 Concepts

Concepts 同样适用于类模板:

template
concept Printable = requires(T t) {
    std::cout << t;
};

template struct Logger { void log(const T& value) { std::cout << "Value: " << value << '\n'; } };

这里使用了 requires 表达式 来检查类型是否支持被输出到 std::cout

requires 表达式的进阶用法

除了检查表达式合法性,还可以检查返回类型、异常等:

template
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as; // 要求 a+b 返回 T 类型
};

这个 constraint 确保加法操作返回的是相同类型。

基本上就这些。Concepts 让模板编程更安全、更易读,错误信息也更友好。合理使用能显著提升代码质量。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1502

2023.10.24

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

232

2024.02.23

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

87

2025.10.17

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

113

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

102

2025.10.23

java入门学习合集
java入门学习合集

本专题整合了java入门学习指南、初学者项目实战、入门到精通等等内容,阅读专题下面的文章了解更多详细学习方法。

1

2026.01.29

java配置环境变量教程合集
java配置环境变量教程合集

本专题整合了java配置环境变量设置、步骤、安装jdk、避免冲突等等相关内容,阅读专题下面的文章了解更多详细操作。

2

2026.01.29

java成品学习网站推荐大全
java成品学习网站推荐大全

本专题整合了java成品网站、在线成品网站源码、源码入口等等相关内容,阅读专题下面的文章了解更多详细推荐内容。

0

2026.01.29

Java字符串处理使用教程合集
Java字符串处理使用教程合集

本专题整合了Java字符串截取、处理、使用、实战等等教程内容,阅读专题下面的文章了解详细操作教程。

0

2026.01.29

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 0.9万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号