C++中的std::conjunction和std::disjunction是什么_C++模板逻辑与conjunction/disjunction应用

std::conjunction 和 std::disjunction 是 c++17 提供的编译期逻辑操作 工具，分别实现类型 trait 的“与”和“或”判断，支持短路求值，常用于条件启用模板、构建复合类型特征及简化参数包判断。

在 C ++17 中，std::conjunction 和 std::disjunction 是两个用于模板元编程的类型特征 工具 ，定义在头文件 <type_traits> 中。它们允许你在编译期对多个 布尔类型 的模板参数进行逻辑“与”和“或”操作，常用于 SFINAE、概念约束（虽然 C ++20 才正式支持 concept）以及条件启用 函数模板 或类模板 特化。

std::conjunction：逻辑“与”

std::conjunction<T…> 接受一个或多个布尔类型（如 std::true_type 或 std::false_type），如果所有参数都为 true，则结果为 std::true_type；只要有一个为 false，结果就是 std::false_type。

它类似于逻辑中的“与”操作（AND）。其行为是短路的：一旦遇到某个为 false 的类型，后续类型不再被实例化。

示例：

判断多个类型是否都是 整数类型：

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

#include <type_traits> #include <iostream>  int main() {     using T1 = int;     using T2 = long;     using T3 = double;      constexpr bool all_integral = std::conjunction_v<         std::is_integral<T1>,         std::is_integral<T2>,         std::is_integral<T3>     >;      std::cout << all_integral; // 输出 0，因为 double 不是整型}

这里使用了 std::conjunction_v，它是 C++17 提供的便捷别名，等价于 std::conjunction<…>::value。

std::disjunction：逻辑“或”

std::disjunction<T…> 对多个布尔类型执行逻辑“或”操作（OR）。只要有一个为 true，结果就是 std::true_type；仅当全部为 false 时才是 std::false_type。

它也支持短路求值：一旦遇到 true 类型，后续不再实例化。

示例：

判断是否存在某个类型是浮点类型：

AiPPT 模板广场

AiPPT 模板广场 -PPT 模板 -word 文档模板 -excel 表格模板

147

查看详情

#include <type_traits> #include <iostream>  int main() {     using T1 = int;     using T2 = long;     using T3 = float;      constexpr bool has_floating = std::disjunction_v<         std::is_floating_point<T1>,         std::is_floating_point<T2>,         std::is_floating_point<T3>     >;      std::cout << has_floating; // 输出 1，因为 float 是浮点类型}

实际应用场景

这两个工具在模板编程中非常有用，尤其是在需要组合多个条件来控制 函数重载 或类特化时。

1. 条件启用函数模板

结合 std::enable_if_t 使用，可以限制模板参数满足多个或任一条件：

template<typename T> std::enable_if_t<std::disjunction_v<     std::is_same<T, int>,     std::is_same<T, float>,     std::is_same<T, double> >, void> process(T value) {// 只允许 int、float、double 类型调用}

2. 自定义类型特征

你可以用 conjunction 构建复合类型特征：

template<typename T> struct is_valid_number : std::conjunction<     std::is_arithmetic<T>,     std::negation<std::is_same<T, bool>> > {};

这个特征表示“是算术类型但不是布尔类型”。

3. 避免 编译错误

在模板参数包展开时，可以用 disjunction 实现“是否存在某种类型”的判断，避免对每个类型做复杂 递归 处理。

基本上就这些。std::conjunction 和 std::disjunction 让你在编译期做逻辑判断更简洁、高效，是现代 C ++ 模板编程的重要组成部分。