C++中已存在bool类型的true和false，为何还需要std::boolean，其作用是什么？

首先需要先澄清一个常见误解：std::boolean不是用来替代原生bool类型的类，它是C++20标准新增在<concepts>头文件中的概念（concept），和原生bool的定位完全不同，二者是互补而非竞争的关系。

它的核心作用可以归纳为以下几点：

• 解决泛型编程中的布尔语义约束问题
  原生bool是具体的基础数据类型，只能用来存储运行期布尔值。但C++中支持布尔语义的类型远不止bool：所有整数类型、指针类型、自定义了operator bool()隐式转换的类类型，都可以直接用在if判断、三元表达式、逻辑运算中。如果我们写泛型代码时需要约束模板参数“必须能当做布尔值使用”，只要求参数能隐式转为bool是不够的，还需要保证它支持&&、||、!等逻辑运算符，且运算结果符合布尔语义，std::boolean就是专门用来做这个约束的。
• 避免泛型代码的异常行为
  如果没有std::boolean做约束，泛型代码很可能遇到一些不符合预期的类型：比如某类只实现了operator bool()但没有重载逻辑运算符，或者逻辑运算符返回的是自定义类型而非布尔值，这些都会导致泛型逻辑运行出错。std::boolean会在编译期就把这些不符合标准布尔语义的类型排除掉，提前暴露问题。
• 简化泛型约束的写法
  在C++20之前，要实现和std::boolean等价的约束，需要手写一大段std::enable_if结合类型萃取的代码，可读性非常差，std::boolean把这个约束标准化，直接用一行就能写清楚要求，大幅提升泛型代码的可读性。

给一个简单的使用示例：

// 要求传入的cond参数必须符合布尔语义
template<std::boolean B>
void process_condition(B cond) {
    // 以下操作都是合法的，符合std::boolean约束的类型都支持
    if (cond) {
        // 条件成立分支
    }
    auto combined = cond && B{};
    auto reversed = !cond;
}

另外注意不要和std::bool_constant混淆：后者是类型元编程的工具，用来在编译期传递布尔常量值，和std::boolean的使用场景完全不同。普通业务代码几乎不需要主动使用std::boolean，它主要是泛型库开发者会用到的工具。

内容的提问来源于stack exchange，提问作者user16321046