为什么转换为引用会干扰转换为布尔值？

看来，如果我有一个到引用的转换运算符，那么该运算符将优先于到一个引用的转换bool。为什么会发生这种情况？我该如何解决？

（如果重要的话，我使用的是 GCC 4.5。我在 ideone 上验证了 GCC-4.7.2 也发现了相同的行为。）

假设如下：

class B {
protected:
    const int a_;
    int b_;
    B (int b, int a) : a_(a), b_(b) {}
public:
    operator bool () const { return b_ == a_; }
};

class D1 : public B {
public:
    D1 (int b = 0, int a = 0) : B(b, a) {}
    operator int () const { return b_; }
};

class D2 : public B {
public:
    D2 (int b = 0, int a = 0) : B(b, a) {}
    operator int & () { return b_; }
};

然后，假设它们在一个简单的程序中使用，如下所示：

int main () {
    if (D1 d1a = D1('a', 'a')) std::cout << "d1a\n";
    if (D1 d1b = D1('b', 'a')) std::cout << "d1b\n";
    if (D2 d2a = D2('a', 'a')) std::cout << "d2a\n";
    if (D2 d2b = D2('b', 'a')) std::cout << "d2b\n";
    return 0;
}

该程序的输出是：

d1a
d2a
d2b

注意d1b不在输出中，这意味着转换为bool按照我预期的方式工作D1。但对于D2，似乎到引用类型的转换优先于bool转换。为什么会发生这种情况？我可以做一个简单的改变吗D2允许bool转换优先于if check?

目前，我正在使用D1并向其添加赋值运算符以实现引用的行为。

事实上，这与int&，这是一个问题const-ness:

operator bool () const { return b_ == a_; }
              /* ^^^^^ */
              /* vvvvv */
operator int & () { return b_; }

d2a is a D2, not a const D2，因此非常量转换运算符更适合。如果你把它写成

operator const int & () const { return b_; }

您将得到预期的行为，请参阅http://ideone.com/vPPPYV http://ideone.com/vPPPYV.

注意operator const int&即使您使用也不会干扰const版本的对象，以下几行仍然会导致您预期的行为（请参阅http://ideone.com/DTE0xH http://ideone.com/DTE0xH):

if (const D1 d1a = D1('a', 'a')) std::cout << "d1a\n";
if (const D1 d1b = D1('b', 'a')) std::cout << "d1b\n";
if (const D2 d2a = D2('a', 'a')) std::cout << "d2a\n";
if (const D2 d2b = D2('b', 'a')) std::cout << "d2b\n";