std::conjunction比&&更适合编译期逻辑与，因其支持SFINAE友好的短路求值，仅当所有模板参数可实例化且为true_type时才继承true_type，避免强制实例化引发的编译错误。
std::conjunction 为什么比 && 更适合编译期逻辑与
因为 std::conjunction 是短路求值的类型特质，它只在所有模板参数都为 std::true_type 时才继承自 std::true_type，否则直接是 std::false_type；而裸写 T1::value && T2::value && T3::value 会强制实例化所有模板参数，可能触发未定义行为或编译错误（比如某个 T3 的 ::value 依赖于不满足的约束）。
典型踩坑场景：用 std::is_integral_v<t> && std::is_signed_v<t></t></t> 做 SFINAE 条件没问题，但换成 std::conjunction_v<:is_integral>, std::is_signed<t>></t></:is_integral> 才能安全用于 std::enable_if_t 或 requires 子句中——前者只要任一 trait 实例化失败就整个表达式崩掉，后者只检查“是否可实例化”，失败即为 false_type。
-
std::conjunction要求所有模板参数都是可默认构造的布尔型特质（即含::value的类型），空参数包时结果为true - 不能传入普通
bool值或变量，必须是类型，例如std::conjunction<:is_same t>, std::is_arithmetic<t>></t></:is_same>合法，std::conjunction<:is_same_v t>, std::is_arithmetic_v<t>></t></:is_same_v>编译失败 - 等价写法：
std::conjunction_v<a b c></a>展开为A::value && B::value && C::value，但语义上是惰性、SFINAE 友好的
std::disjunction 怎么避免编译期或运算的实例化爆炸
std::disjunction 在第一个模板参数为 std::true_type 时立即返回 std::true_type，后续参数根本不会被实例化。这在写“多条件 fallback”时非常关键——比如想判断类型 T 是否是某种容器、或可迭代、或支持 begin/end，用 std::disjunction_v 就能防止检查后面几个 traits 时因不满足前提而报错。
对比裸写 A::value || B::value || C::value：编译器仍需实例化全部 A、B、C，哪怕 A::value 已为 true；而 std::disjunction 真正实现编译期短路。
立即学习“C++免费学习笔记（深入）”；
- 空参数包时
std::disjunction结果为false（与||的单位元一致） - 常见误用：把
std::disjunction_v<:is_class>, std::is_union<t>, std::is_enum<t>></t></t></:is_class>当作“是否为复合类型”，其实漏了std::is_aggregate_v<t></t>和别名模板，且std::is_union在某些标准库中对不完整类型不安全——得靠std::disjunction的短路保底 - 和
std::conjunction一样，只接受类型，不接受值；若已有bool常量表达式，需包装成std::bool_constant<expr></expr>
在 requires 表达式里混用 conjunction/disjunction 的实际限制
C++20 requires 子句里可以直接写 std::conjunction_v 或 std::disjunction_v，但要注意：它们只是值计算，不参与约束的“原子性”判定。也就是说，requires { std::conjunction_v<a b>; }</a> 不等于 requires A::value && B::value ——前者是单个表达式约束，后者是两个独立约束的合取。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
真正影响 SFINAE 和重载解析的是约束的“分解粒度”。例如：
template<typename T> void foo(T) requires std::conjunction_v<std::is_integral<T>, std::is_signed<T>>;
这个约束整体成功或失败；但如果写成：
template<typename T> void foo(T) requires std::is_integral_v<T> && std::is_signed_v<T>;
编译器可能分别报告哪个子约束失败（尤其在概念诊断开启时）。两者语义等价，但调试体验不同。
-
std::conjunction_v和&&在requires中效果相同，但前者更显式表明“这是编译期逻辑组合”，可读性略高 - 不要在
requires里嵌套std::conjunction<...>::value，冗余且易错；直接用_v别名 - Clang 对
std::disjunction_v在 requires 中的短路优化更激进，GCC 12+ 才完全跟上；若需跨编译器稳定行为，优先用||或拆成多个 requires
std::negation 为什么常和 conjunction/disjunction 一起出现
单独用 !std::is_same_v<t int></t> 没问题，但一旦涉及 SFINAE 上下文（如 std::enable_if_t），就必须用 std::negation 包一层，否则 ! 运算符作用在值上，不构成“可延迟求值的类型特质”。
典型组合模式：std::conjunction_v<:is_arithmetic>, std::negation<:is_floating_point>>></:is_floating_point></:is_arithmetic> 表示“是算术类型但不是浮点类型”，即只接受整型。这里 std::negation 确保即使 std::is_floating_point<t></t> 因 T 不完整而无法实例化，整个 conjunction 也只会安静地变成 false，而不是报错。
-
std::negation<T>等价于std::bool_constant<!T::value>，但它本身是类型，可被std::conjunction等接受 - 别手写
std::bool_constant<!(some_trait<T>::value)>，既啰嗦又失去短路优势 - 注意：C++17 引入
std::negation，但它的基类是std::bool_constant<...>，所以std::negation<A>::value是合法的，而std::negation<A>本身是类型，可用于模板参数推导
std::conjunction 和 std::disjunction 的价值，恰恰藏在那些没被实例化的模板参数里。 
