[expr.unary.op]/9似乎暗示`operator!()`无法应用于下面的类型A.但编制者不同意这一点

[转]/4:

某些语言结构要求将表达式转换为布尔值.对于某些发明的临时变量(11.6),当且仅当声明格式e正确时,表示出bool现在这样的上下文中的表达被上下文转换为并且格式良好.bool t(e);t

现在考虑下面的代码片段.它不会在clang,GCC或VS中编译.

struct A{ bool operator!() { return true; } };
int main(){
    A a;
    bool t(a);
}

因此,从[CONV/4我们得出结论,类型A是不上下文转换为bool.

[expr.unary.op]/9:

逻辑否定运算符的操作数在!上下文中转换为bool(第7条); true如果转换的操作数是false,false则其值为.结果的类型是 bool.

我对上面段落的理解是逻辑否定运算符的操作数!必须在上下文中转换为bool.我们刚刚结束的类型A是没有上下文转换bool.因此,从[expr.unary.op]/9,我们可以说,下面的代码应该不会编译.但它确实在铛,GCC和VS.

struct A{ bool operator!() { return true; } };
int main(){
    A a;
    bool t = !a;
}

我错过了什么？

[expr]整体适用于内置运算符:

Clause [expr]定义了运算符在应用于尚未重载的类型时的效果.

[expr.unary.op]中的定义只是内置 的定义operator!.另外,[over.match.oper]描述了如何查找重载的运算符:

对于具有cv非限定版本为T1的类型的操作数的一元运算符@,[...],三组候选函数,指定成员候选者,非成员候选者和内置候选者构造如下: [...]

因为!a,你有两个候选人:你的重载A::operator!()和[over.built]中定义的内置:

还存在表单的候选运算符函数

bool operator!(bool);

对于通过重载决策选择的内置函数,类型必须根据您的参数建议在上下文中转换为bool^†.但是,这个候选人不可行 - 但重载的成员运营商是.

^† TC是在它的上面像往常一样,指出CWG问题1919年这表明一个类型,是上下文转换为bool仍然不应该使用内建operator!由于措辞问题.虽然,gcc和clang都允许它(这可能是我们都想要发生的事情).