回顾:可重用的安全布尔实现

为了找到一个“简单易用”的安全习惯用法/实现,我终于找到了自己的。

问:这个实现正确吗?

template <typename T>
class safe_bool 
{
protected:
   typedef void (safe_bool::*bool_type)() const;
   bool_type to_bool_type(bool b) const 
     { return b ? &safe_bool<T>::safe_bool_true : 0; }

private:
   void safe_bool_true() const {}

private:
   bool operator ==(safe_bool<T> const & rhs);
   bool operator !=(safe_bool<T> const & rhs);
};

要像这样使用:

struct A : public safe_bool<A>
{
   // operator bool() const { return true; }
   operator bool_type() const { return to_bool_type(true); }
};

to_bool_type ,但我希望其他一切都是正确的。

我使用的测试用例(VC9) can be found here

我在实施中看到的缺点: bool_type 和 to_bool_类型 在派生类中是可见的,这可能不会让每个人都满意。此外,使用错误的模板参数(例如。 class B : public safe_bool<A>