std::conjunction 和 std::disjunction 提供模板元编程中的逻辑“与”和“或”，支持短路求值，常用于sfinae和约束条件，结合 std::conjunction_v 与 std::disjunction_v 可简洁地启用函数模板或类特化，提升泛型代码的可读性与安全性。

在C++17中，std::conjunction 和 std::disjunction 是两个用于模板元编程的类型特征工具，它们提供了对多个布尔常量表达式的逻辑“与”和逻辑“或”操作。这些工具定义在头文件 中，极大简化了SFINAE（替换失败不是错误）和约束条件的编写。

std::conjunction：逻辑“与”

std::conjunction 接受一个或多个布尔类型 trait（如 std::is_integral_v），并执行逻辑“与”操作。只有当所有模板参数都为 true 时，其成员常量 value 才为 true。

它从左到右短路求值：一旦遇到 value 为 false 的 trait，后续类型不会被实例化，这对避免编译错误很有帮助。

示例：

ApiPost接口调试与文档生成工具

ApiPost是一个支持团队协作，支持模拟POST、GET、PUT等常见请求，并可直接生成文档的API调试、管理工具，ApiPost是后台接口开发者或前端、接口测试人员的工作必备工具。快速生成、一键导出API文档。感兴趣的朋友快来下载吧。软件说明ApiPost官方版是一款十分出色的接口调试与文档生成工具，ApiPost官方版界面美观大方，功能强劲实用，支持团队协作，支持模拟POST、GET、PUT等常见请求，是后台接口开发者或前端、接口测试人员的工作必备工具。软件特色更方便支持接口调试的同时快速生成、一键

下载

template
struct all_integral : std::conjunction<:is_integral>...> {};

static_assert(all_integral::value); // 成功
static_assert(!all_integral::value); // 失败

std::disjunction：逻辑“或”

std::disjunction 对多个布尔 trait 执行逻辑“或”操作。只要有一个模板参数的 value 为 true，结果就是 true。

同样支持短路求值：一旦某个 trait 的 value 为 true，后续类型不再实例化，提升编译效率并避免不必要的错误。

示例：

template
using is_numeric = std::disjunction   std::is_integral,
  std::is_floating_point
>;

static_assert(is_numeric::value); // true
static_assert(is_numeric::value); // true
static_assert(!is_numeric::value); // false

实际应用场景

这两个工具常用于条件启用函数模板或类特化。

例如，使用 std::enable_if_t 结合 conjunction 实现仅当所有类型为整型时才启用函数：

template
std::enable_if_t<:conjunction_v>...>,
void> process(Ts... args) {
  // 处理整型参数
}

而 disjunction 可用于实现“任一满足即成立”的约束，比如判断是否是某种集合中的类型。

std::conjunction\_v 和 std::disjunction\_v

C++17 同时提供了便捷的变量模板：std::conjunction_v<...> 等价于 std::conjunction<...>::value，减少书写冗余。

上述例子中的 std::conjunction_v<:is_integral>...> 就是更简洁的写法。

基本上就这些。std::conjunction 和 std::disjunction 让模板逻辑判断更清晰、安全、高效，是现代C++元编程的重要组成部分。不复杂但容易忽略细节，掌握它们能显著提升泛型代码质量。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！