C++安全布尔习语无法使用 Visual C++ 进行编译10(2010)

Question

大家好，我从这个页面的 C++ safe bool idiom 类派生了我的类：The Safe Bool idiom作者：Bjorn Karlsson

class Element : public safe_bool<>
{
public:
    bool Exists() const;
    // boolean_test() is a safe_bool method
    bool boolean_test() const { return Exists(); }; 
};

当我尝试在 if 表达式中使用它时，如下所示，

Element ele;
...
if(ele)

我收到错误 C2451：“Element”类型的条件表达式非法。如果我尝试将其转换为如下所示的 bool，则会收到此错误

Element ele;
...
if((bool)ele)

error C2440: 'typecast' :无法从 'Element' 转换为 'bool'

这是我第一次使用安全 bool习语，我不确定这是不允许的还是 Visual C++ 10 中的错误。有什么评论吗？提前致谢！

Answer 1

安全布尔习惯用法是允许的，尽管我通常这样写：

class Element
{
public:
    bool Exists() const;

    /* Begin Safe Bool Idiom */

private:
    // This is a typedef for pointer to an int member of Element.
    typedef int Element::*SafeBoolType;
public:
    inline operator SafeBoolType() const
        { return Exists() ? &Element::someDataMember : 0; }
    inline bool operator!() const
        { return !Exists(); }

    /* End Safe Bool Idiom */

private:
    int someDataMember; // Pick any data member
    // ...
};

这就是我所看到的它的实现方式。事实上，Boost 以这种方式为智能指针类实现该习惯用法 (使用包含文件）。

Answer 2

它似乎无法用任何编译器编译。显然，safe_bool 无法返回其基类中受保护方法的地址。您应该向 safe_bool_base 添加一个公共方法并返回该方法的地址。

另外，似乎使用非依赖构造禁用了运算符 == 和 != （即使未实例化也可能会导致错误）。

也许这可以解决问题：

 class safe_bool_base {
  protected:
    typedef void (safe_bool_base::*bool_type)() const;
  private:
    void cannot_compare_boolean_results() const {}
  public:
    void public_func() const {}
  protected:
    safe_bool_base() {}
    safe_bool_base(const safe_bool_base&) {}
    safe_bool_base& operator=(const safe_bool_base&) {return *this;}
    ~safe_bool_base() {}
  };

  template <typename T=void> class safe_bool : public safe_bool_base {
  public:
    operator bool_type() const {
      return (static_cast<const T*>(this))->boolean_test()
        ? &safe_bool_base::public_func : 0;
    }
  protected:
    ~safe_bool() {}
  };

  template<> class safe_bool<void> : public safe_bool_base {
  public:
    operator bool_type() const {
      return boolean_test()==true ? 
        &safe_bool_base::public_func : 0;
    }
  protected:
    virtual bool boolean_test() const=0;
    virtual ~safe_bool() {}
  };

  template <typename T, typename U> 
    bool operator==(const safe_bool<T>& lhs,const safe_bool<U>& rhs) {
      lhs.cannot_compare_boolean_results(); //call private method to produce error
      return false;
  }

  template <typename T,typename U> 
  bool operator!=(const safe_bool<T>& lhs,const safe_bool<U>& rhs) {
    lhs.cannot_compare_boolean_results(); //call private method to produce error
    return false;   
  }