（1）在 STL 库源码中这俩模板经常出现，用来给源码编译中的条件选择，模板的版本选择等提供依据。先给出其定义：

以及：

可以得出结论： conj 是为了查找逻辑布尔型模板参数中的第一个 false ；若模板参数全是 true 则返回 true 。
disJ 是为了查找模板参数中的第一个 true ；模板参数全为 false 才返回 false 。

（2） 测试一下：

谢谢阅读