Posted on 2008-11-23 18:28
Batiliu 阅读(367)
评论(0) 编辑 收藏 引用 所属分类:
读书笔记
operator bool()
有时候,我们需要用户自定义的类型具有在条件表达式中被自动转换为bool,以满足例如:if (p)、if(!p)、while(std::cin>>obj)等惯用代码。接下来,我们来看看各种各种的解决方案:
- operator int () const
struct X
{
operator int() const;
};
X o;
std::vector<X> v(o); // OMG!无声无息(编译器检查不出)走向错误!
- operator void* () const
struct X
{
operator void*() const;
};
X o;
delete o; // OMG!危险!
- operator bool () const
struct X
{
operator bool() const;
};
// 很多人认为让对象从逻辑上表现为一个布尔值的操作符,还有比operator bool()更适合的吗?
// 很遗憾,请往下看:
X o1;
X o2;
int i = o1 + o2; // bool可以被隐式地转换为int
// 还有更糟糕的:
X o1;
Y o2; // Another type
if (o1 == o2) // 很可能是语义上错误的代码
{
...
}
- operator boolean const * () const
struct X
{
private:
struct boolean { private: void operator delete(void*); };
public:
operator boolean const *() const
{
return 0;
}
};
// 很好,该方案是Peter Dimvo在Boost新闻组上提出来的。
// 但基于指针技术的问题在于它们允许向void(const)*转换,这可能是不希望的转换。
X o;
void const * p = o;
- operator int boolean::* () const
class X
{
private:
struct boolean { int i; };
public:
operator int boolean::*() const
{
return 1 ? &boolean::i : NULL;
}
};
// 成员函数的指针不管是通过隐式转换还是显示转换,都不能被转换至常规的指针类型。
// Perfect!它具备了我们对一个"bool"转换操作符的性质的所有要求
operator ++()
首先,我们来看下重载后置增量操作符的规范形式:
struct X
{
X operator ++(int)
{
X ret(*this);
operator ++();
return ret;
}
};
由于后置式操作符在进行增量/减量操作之前必须先把当前值保留下来,这样才能够在增量/减量操作完成后将它返回给调用者,所以它们跟前置式的操作符相比通常具有较高的性能开销。
那我们有什么办法能侦测出代码中对后置操作符的不恰当使用呢?幸运的是,我们在模板的帮助下找到了解决方案:
template<typename V, typename M, typename R = V>
class unused_return_value_monitor
{
public:
typedef unused_return_value_monitor<V, M, R> class_type;
public:
unused_return_value_monitor(R value, M monitor = M())
: m_value(value)
, m_monitor(monitor)
, m_bUsed(false)
{}
unused_return_value_monitor(class_type const& rhs)
: m_value(rhs.m_value)
, m_monitor(rhs.m_monitor)
, m_bUsed(rhs.m_bUsed)
{
rhs.m_bUsed = false;
}
~unused_return_value_monitor()
{
if (!m_bUsed)
{
m_monitor(this, m_value);
}
}
public:
operator V() const
{
m_bUsed = true;
return m_value;
}
private:
R m_value;
M m_monitor;
mutable bool m_bUsed;
// 声明但不予实现
private:
unused_return_value_monitor& operator =(class_type const& rhs);
};
// 由于这是一个会影响效率的侦测装置,所以我们将它整合进类的调试版本中。
class X
{
private:
struct use_monitor
{
void operator ()(void const* instance, X const& value) const
{
// 出现“敌情”,输出到调试窗口或日志文件中。
cout << "Warnning!" << endl;
}
};
public:
X& operator ++()
{
// ...
return *this;
}
#ifdef _DEBUG
unused_return_value_monitor<X, use_monitor> operator ++(int)
#else
X operator ++(int)
#endif
{
X ret(*this);
operator ++();
return ret;
}
};