自定义bool类型转换操作符

最新推荐文章于 2022-11-15 18:15:50 发布

Joshua_Zhou

最新推荐文章于 2022-11-15 18:15:50 发布

阅读量1.2k

点赞数

分类专栏： C++ 文章标签： class struct c

本文链接：https://blog.csdn.net/Joshua_Zhou/article/details/4278787

版权

C++ 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

假如有个Condition类型的变量flag，我们希望如下使用：

 
  Condition flag; 
  If (flag) do_something;

要做到这一点，需要为Condition提供bool类型转换操作符，使得flag经过一定的类型转换之后成为bool值。有两种策略可以做到。

1. 一步到位：直接将Condition转换成bool类型

 
  class
 Condition 
  { 
  public
: 
   operator
 bool
() const
; 
  }; 
 

优点：接口清晰，直观。

缺点：bool类型可以隐式转换为算术类型如整型，浮点型等，所以较易被误用。比如：

 
  int
 ii = flag; 
  double
 dd = 100 + ii + flag; 
 

都是合法语句，但不一定是Condition使用者想要的。《effective C++》第三版条款18明确表示类的设计应该让接口容易被正确使用，不易被误用。

2. 曲线救国：先将Condition转换成一个中间类型，而这中间类型可隐式转换成bool类型

先看看什么类型可以隐式转换成bool类型。据C++标准4.12款：算术，枚举，指针，和指向成员指针的右值都可以转换成bool类型右值。零值，空指针，空指向成员指针转换成false，其它的转换成true。算术，枚举，指针类型不是很合适做中间类型，因为它们比bool值更容易被误用。但指向成员指针似乎是个不错的选择。

 
  class
 Condition 
  { 
      typedef
 void
 (Condition::*safe_bool)(); 
  public
: 
      operator
 safe_bool() const
;  
  }; 
 

你也许认为种方法也会被误用，比如：

 
  Condition flag; 
  void
 (Condition::*mf)() = flag; 
 

可以设计得更绝些来阻止以上用法。

 
  class
 Condition 
  { 
  private
: 
      struct
 Dummy; 
      typedef
 void
 (Condition::Dummy::*safe_bool)(); 
  public
: 
      operator
 safe_bool() const
; 
  }; 
 