以下行为的原因是什么？
class BoolWrapper
{
public:
BoolWrapper(bool value) : value(value) {}
operator bool() const { return value; }
operator int() const { return (int) value; }
private:
bool value;
};
BoolWrapper bw(true);
if (bw) { ... } // invokes operator bool()
if (bw == true) { ... } // invokes operator int() -- why?
这个行为是否预期？ (使用GCC 4.7.2.)
解决方法
您的期望是基于您的信念,语言已经知道如何比较两个布尔值.实际上,这听起来并不奇怪.更准确地说,语言“不知道”如何直接做.
在概念层面上,C没有专门的内置等价比较运算符用于布尔对比布尔比较.即使你在代码中写true == false,它也被语言解释为(int)true ==(int)false.隐式转换为int由通常的算术转换规则引入,之后使用int和int比较.
可以比较两个bool值的最直接的内置运算符是用于int与int比较的运算符.这是编译器试图在你的情况下使用的操作符.相同的操作符将用于char与char和short与short比较.
换句话说,编译器可以在bw == true表达式中使用bool转换运算符的唯一方法是做
(int)(bool) bw == (int) true
这肯定比直接更“优化”
(int) bw == (int) true
这是驱动语言选择后一种变体的逻辑.
