c++中的std::conjunction和std::disjunction是什么_c++模板元编程逻辑运算【C++17】

冰火之心

发布时间：2026-01-01 17:32:02

254人浏览过

来源于php中文网

原创

std::conjunction和std::disjunction是C++17引入的编译期逻辑“与”“或”工具，接受类型参数（如std::true_type或类型特征），支持短路求值；配合std::negation可简洁表达复杂约束，提升SFINAE和concept-like条件的可读性与实用性。

c++中的std::conjunction和std::disjunction是什么_c++模板元编程逻辑运算【c++17】

std::conjunction 和 std::disjunction 是 C++17 引入的模板元编程工具，用于在编译期对多个类型特征（如 std::is_integral_v）或布尔常量进行逻辑“与”和逻辑“或”运算。

它们本质是编译期布尔值的折叠

这两个类模板不是函数，而是可变参数模板别名，内部利用模板偏特化实现短路语义（类似运行时 && / || 的行为）：

std::conjunction：当所有模板参数 Bi 都是 std::true_type（即其 ::value 为 true）时，整个表达式为 true；任意一个为 false，立即得 false（不实例化后续）。
std::disjunction：只要有一个 Bi 是 std::true_type，结果就是 true；全为 false 才得 false；遇到第一个 true 就停止（短路）。

使用场景：简化 SFINAE 和约束条件

以前写多个 std::enable_if_t 嵌套很麻烦，现在可以直接组合判断：

比如要求类型 T 同时是整型、有默认构造、且可复制：

template
std::enable_if_t,
    std::is_default_constructible_v,
    std::is_copy_constructible_v
>> foo() { /* ... */ }

又如：允许传入任意一个支持 size() 或 length() 成员的类型：

template
std::enable_if_t,
    std::is_member_function_pointer_v
>> bar(const T& t) { /* ... */ }

注意：参数必须是类型，不是布尔值字面量

你不能直接写 std::conjunction —— 这会编译失败。必须传入满足 std::bool_constant<...> 接口的类型，比如：

MCP官网

Model Context Protocol（模型上下文协议）

下载

✅ 正确：std::conjunction<:true_type std::is_same int>>
✅ 更常用（C++17 起推荐）：std::conjunction_v<:is_integral>, std::is_signed>（_v 后缀是 value 的变量模板）
❌ 错误：std::conjunction>（true 不是类型）

还有 std::negation：逻辑非

虽然没在标题里提，但它常和前两者搭配使用：

std::negation<:is_void>>::value 等价于 !std::is_void_v
std::negation_v<:is_reference>> 更简洁

它也支持短路（单参数，意义不大），但语义清晰、可读性好。

基本上就这些。它们不复杂，但让模板约束更接近自然语言逻辑，避免深层嵌套和手写特化，是现代 C++ 元编程的实用基础工具。

c++如何进行模板特化与偏特化_c++ 泛型编程特殊类型处理【详解】

c++的if constexpr是什么编译期分支判断的利器【详解】

c++ STL是什么 c++标准模板库入门【教程】

c++的decltype关键字是什么类型推导的另一种方式【详解】

c++中的模板特化与偏特化_c++泛型编程进阶技巧

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

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

下载

相关标签:

工具 c++ 常量整型可变参数 int 布尔常量接口类模板 Length

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

上一篇：c++ unordered_map怎么用 c++哈希表用法【教程】下一篇：c++协程和线程的区别 c++异步编程模型对比【核心】

作者最新文章

如何解决Windows Defender误报并隔离文件？（恢复与排除）

2025-12-30 13:27

tofai官网最新入口地址 tofai网页版免下载

2025-12-30 13:44

如何使用 Composer 管理 PHP 项目的版本号？

2025-12-30 13:48

Mac键盘上的F1-F12如何直接使用？（功能键设置）

2025-12-30 13:51

久久小说网如何收藏喜欢的小说？久久小说网一键收藏书籍至书架【教程】

2025-12-30 13:53

保密观头像怎么修改保密观个人头像设置教程【详解】

2025-12-30 13:54

长期不用的手机如何存放？直接关机丢一边就错了【保养】

2025-12-30 13:58

wps怎么在方框里打钩 wps输入对勾教程【方法】

2025-12-30 14:00

composer安装指定Git哈希值的包_锁定特定提交版本代码【实操】

2025-12-30 14:03

瓜子二手车app如何修改绑定的手机号？瓜子二手车app账户安全设置【教程】

2025-12-30 14:09

热门AI工具

DeepSeek

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

AI大模型

开放平台

豆包大模型

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

AI大模型

通义千问

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

AI大模型

腾讯元宝

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

文档处理

Excel 表格

文心一言

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

AI大模型

中文写作

讯飞写作

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

中文写作

写作工具

即梦AI

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

图片拼接

图画生成

ChatGPT

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

AI大模型

中文写作

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

AI大模型

PDF 文档

相关专题

java基础知识汇总

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

1435

2023.10.24

string转int

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

312

2023.08.02

int占多少字节

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

522

2024.08.29