C++ C++20的concepts怎么用_C++20概念与模板约束使用方法

下次还敢

发布时间：2025-11-20 19:05:02

488人浏览过

来源于php中文网

原创

C++20的concepts允许为模板参数定义约束，提升代码可读性和错误提示；通过concept关键字定义谓词，如Integral或Addable，并结合requires表达式检查操作合法性；标准库提供std::integral等常用concept，可应用于函数、类模板及简写函数语法，增强类型安全与编译时检查。

c++ c++20的concepts怎么用_c++20概念与模板约束使用方法

在C++20中，concepts 是一个重要的新特性，它允许我们为模板参数指定清晰的约束条件，从而提升代码的可读性、可维护性和编译错误信息的友好程度。相比以前只能靠SFINAE或requires表达式“隐式”限制模板，现在可以显式声明哪些类型是合法的。

什么是Concepts？

Concept是一个编译时谓词（即返回true或false），用于约束模板参数。它可以看作是对类型的一组要求，比如“这个类型必须支持加法操作”或者“必须是整数类型”。

定义一个concept使用 concept 关键字，后接名称和一个布尔表达式：

template
concept Integral = std::is_integral_v;

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

上面的例子中，Integral 是一个concept，只有整型类型（如int、long等）才能实例化add函数。

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

如何定义和使用自定义Concept

除了基于类型特征（type traits）定义concept，还可以通过requires表达式来检查操作是否合法。

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

这段代码表示：类型T必须支持+操作，并且结果能转换为T本身。这样就能确保加法行为符合预期。

然后你可以用它来约束函数模板：

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

若传入不支持+操作的类或结果类型不匹配，编译器会直接报错指出违反了Addable约束，而不是抛出一长串模板实例化失败的信息。

DeepL

DeepL是一款强大的在线AI翻译工具，可以翻译31种不同语言的文本，并可以处理PDF、Word、PowerPoint等文档文件

下载

标准库中的常用Concepts

C++20标准库在头文件中提供了许多预定义的concept，例如：

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

可以直接使用它们来简化约束：

#include 

template
void process_integer(T value) {
    // 只接受整型
}

在类模板中使用Concepts

concepts同样适用于类模板。你可以在类模板参数列表中加入约束：

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

template
struct 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;
}

这等价于：

template
void scale(T& x, int factor);

这种写法适合简单场景，让代码看起来更接近普通函数，但功能仍是模板。

基本上就这些。合理使用concepts能让模板编程更安全、易懂，也能大幅改善错误提示。刚开始可能觉得requires表达式有点复杂，但一旦掌握常见模式，写起来就很自然了。

c++如何实现一个简单的神经网络推理框架_c++ ONNX Runtime集成【AI】

c++如何使用TensorRT进行模型部署优化_c++ NVIDIA推理引擎入门【AI】

如何用C++实现一个ECS（实体组件系统）？C++游戏引擎架构模式【游戏开发】

C++如何实现一个简单的A*寻路算法_C++游戏AI开发中的路径规划实战

C++如何实现一个简单的行为树_C++游戏AI中决策逻辑的行为树实现

相关标签:

ai c++ 编译错误代码可读性标准库整型 int 函数模板类模板整数类型 function

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

上一篇：c++如何获取map中所有的值_C++遍历映射容器获取value列表方法下一篇：c++怎么理解和应用SFINAE_c++模板选择与编译期分支技巧

作者最新文章

c++23的Deducing this是什么，如何改变类成员函数的设计？ (显式对象参数)

2026-01-14 10:31

如何用c++实现一个高效的稀疏集(Sparse Set)？ (ECS架构核心)

2026-01-14 10:33

c++26的std::function_ref是什么？ (零开销函数视图)

2026-01-14 10:34

Linux如何配置多路径路由_Linux策略路由与多出口设置【网络】

2026-01-14 10:34

Linux如何配置环境变量PATH_Linux系统profile与bashrc永久生效【步骤】

2026-01-14 10:38

保密观怎么退出登录保密观账号切换方法【步骤】

2026-01-14 10:40

5000以上扣税标准表 5000以上扣税标准税率表2026

2026-01-14 10:40

Windows如何查看端口占用情况？（netstat命令详解）

2026-01-14 10:42

容积率是什么意思容积率高好还是低好

2026-01-14 10:50

c++的[[nodiscard]]属性有什么用？ (防止返回值被忽略)

2026-01-14 10:52

热门AI工具

DeepSeek

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

AI大模型

开放平台

豆包大模型

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

AI大模型

通义千问

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

AI大模型

腾讯元宝

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

文档处理

Excel 表格

文心一言

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

AI大模型

中文写作

讯飞写作

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

中文写作

写作工具

即梦AI

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

图片拼接

图画生成

ChatGPT

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

AI大模型

中文写作

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

AI大模型

PDF 文档

相关专题

string转int

在编程中，我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算，或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章，欢迎大家前来学习阅读。

315

2023.08.02

int占多少字节

int占4个字节，意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值，在某些情况下也可能是2个字节或8个字节，int是一种常用的数据类型，用于表示整数，需要根据具体情况选择合适的数据类型，以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容，供大家免费下载体验。

537

2024.08.29