c++20中的概念（Concepts）是什么_Concepts约束模板参数的原理与用法介绍

冰火之心

发布时间：2025-11-24 19:33:05

707人浏览过

来源于php中文网

原创

Concepts是C++20引入的模板约束机制，通过定义类型需满足的条件（如Integral、Addable），提升模板代码可读性与错误提示清晰度，支持编译期静态检查与函数重载选择，使泛型编程更安全、直观。

c++20中的概念（concepts）是什么_concepts约束模板参数的原理与用法介绍

C++20 中的 Concepts 是一种用于约束模板参数的机制，它让开发者可以明确指定模板对类型的要求。在 Concepts 出现之前，模板只能通过 SFINAE（替换失败不是错误）或 requires 表达式等复杂手段进行条件判断，代码可读性差且出错信息不友好。Concepts 的引入极大提升了模板编程的表达力和编译时错误提示的清晰度。

什么是 Concepts？

Concepts 是一种对模板参数施加约束的语法工具。它定义了一组要求（如支持某些操作、具有特定属性），只有满足这些要求的类型才能被用作模板实参。

例如，我们可以定义一个名为 Integral 的 concept，表示“必须是整数类型”：

template
concept Integral = std::is_integral_v;

然后将其用于函数模板：

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

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

此时如果尝试调用 add(3.5, 4.2)，编译器会直接报错指出 double 不满足 Integral 约束，而不是在实例化过程中产生晦涩的错误信息。

Concepts 如何约束模板参数？

Concepts 的核心原理是在模板声明时加入语义化的静态检查。编译器会在模板实例化前评估 concept 的布尔表达式，若为 false，则拒绝该类型。

一个 concept 定义本质上是一个编译期谓词（返回值为 true 或 false 的常量表达式）。它可以基于以下方式构建：

类型特征：使用 std::is_* 类型 trait 判断类型属性
操作可用性：检查是否能执行某操作，如 t1 + t2
嵌套 requirement：通过 requires 关键字编写更复杂的约束块

看一个更完整的例子：

template
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as;
};

这个 Addable concept 要求：

Magician

Figma插件，AI生成图标、图片和UX文案

下载

类型 T 支持 + 操作
运算结果类型与 T 相同

当某个类型不满足这些条件时，模板不会参与重载决议，避免后续错误。

常用标准 Concepts 与实际应用

C++20 在头文件中提供了大量预定义 concept，例如：

std::integral：整型类型
std::floating_point：浮点类型
std::default_constructible：可默认构造
std::equality_comparable：支持 == 和 !=
std::copyable：可复制

这些可以直接用于模板约束：

template
void process_integer(T value);

template
void container_push_back(std::vector& vec, const T& item);

还可以组合多个 constraints：

template
  requires std::integral && (sizeof(T) >= 4)
T safe_increment(T x) { return x + 1; }

这表示只接受大小至少为 4 字节的整型类型。

Concepts 对模板编程的影响

Concepts 最大的优势在于提升代码的可维护性和可读性：

清晰接口契约：模板使用者一眼就能看出需要满足什么条件
更好的错误信息：编译器能指出哪个 constraint 失败，而非深入实例化栈
支持函数重载选择：可以根据不同 concept 匹配最优函数版本

比如两个同名函数模板：

template
void print(T x) { std::cout << "Integer: " << x << '\n'; }

template
void print(T x) { std::cout << "Float: " << x << '\n'; }

调用 print(42) 会选择第一个，print(3.14) 会选择第二个，完全由 concept 匹配决定。

基本上就这些。Concepts 让模板从“写出来能跑就行”走向“设计即规范”的阶段，是现代 C++ 类型安全的重要支柱。用好它，能让泛型代码更健壮、易懂、易用。

c++的using关键字有哪些用法类型别名和成员引入【教程】

如何在c++中正确地实现比较操作符？ (C++20三路比较)

c++中std::forward_list和std::list该如何选择？ (单向链表)

c++中static关键字在不同上下文中的含义是什么？ (链接与生命周期)

c++的co_await和co_yield关键字如何使用？ (协程核心)

c++速学教程(入门到精通)

c++怎么学习？c++怎么入门？c++在哪学？c++怎么学才快？不用担心，这里为大家提供了c++速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载

相关标签:

字节工具栈 ai c++ 代码可读性 print 常量整型 double 接口栈函数模板整数类型函数重载泛型实参

本站声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn

上一篇：C++如何实现策略设计模式_C++面向对象编程中封装算法族的模式下一篇：C++中的三向比较运算符(<=>)怎么用_C++20 "Spaceship Operator" 简化比较操作

作者最新文章

Win11桌面右键新建没有Word或Excel怎么办_Win11Office模板注册修复【教程】

2026-01-14 17:23

如何查看一个包依赖了哪些其他的Composer包？ (depends命令)

2026-01-14 17:36

如何使用Satis或Packagist搭建私有Composer仓库？ (内网部署)

2026-01-14 17:57

Win11怎么关闭自动播放视频_Win11浏览器与系统媒体自动播放禁用【教程】

2026-01-14 18:00

在PHP 8环境下使用Composer有哪些注意事项？ (新语法与依赖兼容性)

2026-01-14 18:05

Windows家庭版如何开启组策略编辑器（gpedit.msc）？

2026-01-14 18:12

Win11怎么设置文件夹始终以详细信息视图打开_Win11视图模板应用教程【教程】

2026-01-14 18:17

猎豹浏览器如何固定标签页猎豹浏览器标签页固定与取消方法【技巧】

2026-01-14 18:29

Win11无法识别加密U盘怎么办_Win11BitLocker驱动器解锁与权限修复【实用】

2026-01-14 18:38

Win11怎么关闭自动同步锁屏壁纸到其他设备_Win11个性化跨设备同步禁用方法【教程】

2026-01-14 18:43

热门AI工具

DeepSeek

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

AI大模型

开放平台

豆包大模型

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

AI大模型

通义千问

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

AI大模型

腾讯元宝

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

文档处理

Excel 表格

文心一言

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

AI大模型

中文写作

讯飞写作

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

中文写作

写作工具

即梦AI

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

图片拼接

图画生成

ChatGPT

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

AI大模型

中文写作

智谱清言 - 免费全能的AI助手

AI大模型

PDF 文档

相关专题

python中print函数的用法

python中print函数的语法是“print(value1, value2, ..., sep=' ', end=' ', file=sys.stdout, flush=False)”。本专题为大家提供print相关的文章、下载、课程内容，供大家免费下载体验。

184

2023.09.27

java基础知识汇总

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

1463

2023.10.24

c++怎么把double转成int

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

2025.08.29

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

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

2025.10.23

硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍：1、IDE接口是一种并行接口，主要用于连接硬盘和光驱等设备，它主要有两种类型：ATA和ATAPI，IDE接口已经逐渐被SATA接口；2、SATA接口是一种串行接口，相较于IDE接口，它具有更高的传输速度、更低的功耗和更小的体积；3、SCSI接口等等。

1017

2023.10.19