在条件中使用 boost::tribool 时是编译器错误还是我的错误？

Question

代码如下： (Coliru Code)

#include <stdlib.h>
#include <iostream>
#include <iomanip>
#include <boost/logic/tribool.hpp>

struct B
{
  boost::tribool boo;

  void bug ()
  {
    bool tmp = indeterminate (boo);
    std::cout << "tmp = " << std::boolalpha << tmp << "\n";
    if (tmp && (boo = should_not_be_called ()) == false) {;}
  }

  bool should_not_be_called () const
  {
    std::cout << "BUG, wrong call\n";
    abort ();
  }
};

int main ()
{
  B a;
  a.bug ();
}

输出是

tmp = false
BUG, wrong call
bash: line 7: 14410 Aborted                 (core dumped) ./a.out

我不明白为什么在这里调用 should_not_be_call。测试的编译器是 gcc 4.9 和 clang 3.6。

更新：

我阅读了答案并将带有“if”的行更改为

if (tmp && (false == (boo = should_not_be_called ()))) {;}

(Coliru)

现在 && 运算符两边都有纯布尔类型，但我仍然遇到同样的错误。为什么？

Answer 1

编译器在右边。让我们分析一下你的两个ifs中涉及的类型，同时考虑到所有operator overloads that boost::tribool provides：

if (tmp && (boo = should_not_be_called ()) == false) {;}

if (bool && (tribool = bool) == bool) {;} // = is overloaded to return tribool
if (bool && tribool == bool) {;} // == is overloaded to return tribool
if (bool && tribool) {;} // && is overloaded

还有第二个if：

if (tmp && (false == (boo = should_not_be_called ()))) {;}

if (bool && (bool == (tribool = bool))) {;} // = is overloaded to return tribool
if (bool && (bool == tribool)) {;} // == is overloaded to return tribool
if (bool && tribool) {;} // && is overloaded

在这两种情况下，我们都会得到一个重载的operator &&。运算符重载是不尊重内置运算符的特殊调用行为的函数。也就是说，用户重载的&&、|| 不会不短路，, 的用户重载不保证操作数评估顺序。这三个都以未指定的顺序评估所有操作数，就像任何其他函数调用一样。

这正是强烈建议不要重载&&、|| 或, 的原因，如果您希望它们表示“和”、“或”和“序列”之类的意思。

---

摘录问题的原文：

编译器在右边。 boost::tribool重载opeator !，即&&的操作数类型为bool和boost::tribool。 boost::tribool 还为这些参数类型重载了 operator &&，因此会调用此重载。

Answer 2

boost::tribool 中的逻辑运算符如 HERE 所述被重载，因此与 c++ 的内置逻辑运算符不同，逻辑运算符的从左到右求值未应用，并且没有短路，因此操作数的求值仍然存在未指定。