boost.tribool

Posted 2021-03-21 kloseer

tribool

boost.tribool类似c++内建的bool类，但基于三态的布尔逻辑，在true和false之外还有一个indeterminate状态。一个例子场景是执行某项任务，在执行之前状态时未知的，启动任务后状态时true，停止任务状态时false.

tribool位于名字空间boost::logic，当为了方便使用，需要包含头文件<boost/logic/tribool.hpp>:

#include <boost/logic/tribool.hpp>
using namespace boost;

类摘要：

class tribool
{
    public:
    tribool(bool value);            //缺省构造函数
    tribool(bool initial_value);    //bool值构造函数
    tribool(indeterminate_keyword_t);//初始化为不确定值
    
    operator safe_bool() const; //bool转型
    
    enum value_t { false_value,true_value,indeteeminate_value } value;
};
bool indeterminate(tribool x);

tribool operator!(tribool x);
...

tribool类内部实现了三态bool值得表示，除了构造函数没有其他成员函数，可以在创建tribool对象的同事传入三态bool值对它进行初始化，如果使用无参的缺省构造函数，tribool默认值是false.

对tribool的操作都是通过逻辑运算符和比较运算符的重载来完成的，支持的逻辑运算符包括||，&&和!= ,这些操作都可以任意混合bool和tribool一起运算.

不确定状态indeterminate是一个特殊的tribool值，它与bool值true,false的运算遵循三态不二逻辑：

• 任何与indeterminate的比较操作结果都是indeterninate
• 与iddeterminate的逻辑或运算（||）只有与true运算结果为true,其他均为indeterminate
• 与indeterminate的逻辑与运算（&&）只有与false运算结果为false，其他均为indeterminate

• indeterminate的逻辑非操作（！）结果仍为indeterminate
  自由函数indeterminate()可以判断一个tribool是否处于不确定状态。
  用法：

  #include <boost/logic/tribool.hpp>
  using namespace std;
  
  int main()
  {
      tribool tb(true);
      tribool tb2(!tb);
  
      if(tb)
      {
          cout<<"true"<<endl;
      }
      tb2 = indeterminate;
      assert(indeterminate(tb2));
      cout<<tb2<<endl;
  
      if(tb2 == indeterminate)
      {
          cout<<"indeterminate"<<endl;
      }
      if(indeterminate(tb2))
      {
          cout<<"indeterminate"<<endl;
      }
      cout<<(tb2 || true)<<endl;
      cout<<(tb2 && false)<<endl;
  }

  在处理tribool的不确定状态时需要小心，因为他不是true也不是false，使用它进行条件判断永远不会成立，判断不确定状态需要使用indeterminate()函数。