显式和隐式转换

Question

我很惊讶这个 struct，它只能显式转换为 bool，在 if 语句中工作正常：

struct A
{
    explicit operator bool(  ) const
    {
        return m_i % 2 == 0;
    }

    int m_i;
};

int main()
{
    A a{ 10 };

    if ( a ) // this is considered explicit
    {
        bool b = a; // this is considered implicit 
                    // and therefore does not compile           
    }        
    return 0;
}

为什么会这样？ C++ 标准背后的设计原因是什么？ 我个人发现第二次转换比第一次更明确。为了更清楚，我希望编译器在这两种情况下都强制具有以下内容：

int main()
{
    A a{ 10 };

    if ( (bool)a )
    {
        bool b = (bool)a;
    }        
    return 0;
}

Answer 1

§6.4 选择语句 [stmt.select]

4. 作为表达式的条件的值是表达式的值，根据上下文转换为 bool，用于 switch 以外的语句；

§4 标准转换 [conv]

某些语言结构要求将表达式转换为 一个布尔值。说出现在这种上下文中的表达式 e 被 上下文转换为 bool 并且当且仅当 如果声明 bool t(e); 格式正确，对于某些人来说 临时变量 t (8.5)。

所以if 中的条件表达式必须在上下文中可转换为bool，这意味着允许显式转换。

这是最有可能完成的模式，因为if 的条件只能评估为布尔值，所以通过说if(cond)，您明确声明您希望cond 被评估为一个布尔值。