在 C++ 中,有时候我们需要一个自定义类型能够支持 if(obj) 和 if(!obj) 之类的语法,也就是说
MyClass obj;
if(obj)
{
//do something
}
if(!obj)
{
//do something
}
这个需要在智能指针的实现中尤其明显,因为它可以保证与原生 C++ 指针在用法上的一致性。明显的解决方法是重载 operator bool() 转换,但是这样问题太多,Effective C++ 里面有讨论。还有一个办法是重载 operator ! ,但是这样我们就不得不用 if(!!obj) 这样丑陋的语法来表达 if(obj) 。
在 Boost 里面,广泛运用的是所谓的 unspecified_bool_type 手法,例如在 shared_ptr 里面:
typedef T * this_type::*unspecified_bool_type;
operator unspecified_bool_type() const // never throws
{
return px == 0? 0: &this_type::px;
}
这样一来,
shared_ptr<int> sp;
if(sp)
{}
if(!sp)
{}
会成功,而
int i = sp;
会失败。解决了前面所述的问题。
但是对于我们这样的懒人,每次少写几个字总是好的,而这个手法是如此常用,以至于我们想要把它提取出来,变成一个 safe_bool 基类:
class safe_bool
{
protected:
void safe_bool_true() const {}
typedef safe_bool this_type;
typedef void (this_type::*safe_bool_type)() const;
};
现在,要用的时候只需要
class MyClass : public safe_bool
{
public:
operator safe_bool_type() const // never throws
{ return is_false() ? 0 : &this_type::safe_bool_true; }
//...
};
其中 is_false 是 MyClass 定义的,其具体的写法和语义可以由 MyClass 的作者决定。当然这种做法是太不彻底了,我们不希望把写 operator safe_bool_type 的任务留给继承者,所以,有了下面这个可行(但是很笨)的办法:
class safe_bool
{
private:
void safe_bool_true() const {}
typedef safe_bool this_type;
typedef void (this_type::*safe_bool_type)() const;
protected:
virtual bool operator!()const = 0;
public:
operator safe_bool_type() const // never throws
{ return operator!() ? 0 : &this_type::safe_bool_true; }
};
它要求继承它的类重载 operator ! ,例如:
class MyClass : public safe_bool
{
int data;
public:
bool operator!() const
{ return data == 0; }
};
然而这绝对不是个优雅的办法,因为要求所有的继承者重载 operator ! 毕竟是有点无理,而且它引入了一个虚函数,由于继承 safe_bool 的类往往本身就很小(例如智能指针),而且很可能原本是没有虚函数的,为了这么一个目的引入虚函数指针实在太不划算了。
(还在想办法,可能有人已经做过了,欢迎交流)