为何std::predicate要求谓词调用结果隐式转换为bool？

问题描述 #

为什么std::predicate概念要求谓词调用的结果必须能隐式转换为bool？也就是说，带有explicit说明符的operator bool的对象无法满足这个概念，不能用作谓词？

比如下面的示例代码：

class TA
{
public:
    operator bool() const noexcept
    {
        return {};
    }
};

class TB
{
public:
    explicit operator bool() const noexcept
    {
        return {};
    }
};

void test_predicate()
{
    static_assert(std::predicate<std::identity, TA>); // 编译通过
    static_assert(std::predicate<std::identity, TB>); // 编译失败
}

实际使用中会发现一个矛盾：谓词本身只会被用在if、while这类选择/迭代语句里，而这些语句是允许带有explicit operator bool的对象的。但std::predicate的这个限制却显得多余，还会造成实际问题——比如统计std::vector<std::optional<int>>中含有效值的数量：

• 用旧版算法可以直接写：

  std::count_if(A.begin(), A.end(), std::identity{}); // 编译通过
  

• 换成C++20的范围约束算法就会报错：

  std::ranges::count_if(A, std::identity{}); // 编译错误
  

核心原因：概念的精确性与语义一致性 #

这个限制并非无意义，而是C++20概念设计时为了明确语义、对齐标准库行为做出的选择：

1. 修正旧版标准的模糊性
   在C++20之前，标准库算法对谓词的描述是“返回值可转换为bool”，但实际实现大多依赖if语句的语境转换（允许explicit operator bool），这就导致标准文字描述和实际行为存在偏差。std::predicate概念则明确要求隐式转换，消除了这种模糊性——确保谓词的返回值在所有需要bool的场景下都能正常使用，不仅是if条件，还包括直接赋值给bool变量、作为逻辑运算操作数（如p(x) && p(y)）等场景。

2. 尊重类型的设计初衷
   很多类型（比如std::optional）的operator bool被设计为explicit，就是为了防止隐式转换带来的意外错误（比如把optional<int>不小心当成bool参与运算）。如果std::predicate允许explicit转换，就相当于绕过了这些类型的安全设计，违背了其原本的语义。

解决方案：适配显式转换 #

遇到这种情况，只需要用一个简单的适配器把explicit转换包装成符合std::predicate要求的谓词即可：

比如针对std::optional的场景，直接用lambda：

std::ranges::count_if(A, [](const auto& opt) { return static_cast<bool>(opt); });

也可以封装一个通用的适配器复用：

struct to_bool {
    template<class T>
    bool operator()(T&& t) const noexcept(noexcept(static_cast<bool>(std::forward<T>(t)))) {
        return static_cast<bool>(std::forward<T>(t));
    }
};

// 使用时：
std::ranges::count_if(A, to_bool{});

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