Boost学习笔记 operators
如果一个类要实现operator<,operator+,意味着可能也要实现operator>, operator+=,等其它操作符。只要提供了operator<,operator+=就可以根据这两个操作符实现operator>,operator+=
等其它操作符。而且这种实现是单调的
operator
>(const T& x, const T& y) { return y < x; }
所以boost提供了这些实现，只要提供了最基本的操作符，那些重复的劳动就不用自己去做了
首先要看一下CRTP模式
―――――――――――――――――――――――――――――――――――――――
The Curiously Recurring Template Pattern（CRTP）。这个模式本身是指将派生类作为参数在它自己的模板化基类里使用
―――――――――――――――――――――――――――――――――――――――
template
<typename D>
class
B
{
template<typename U>
friend
D operator+= (D & d, const U & other)
{
d = d + other;
return d;
}
};
class
D: private B<D>
{
public
:
template<typename U>
D operator + (const U& other)
{
return D(b_ + other);
}
D operator + (const D& other)
{
return D(b_ + other.b_);
}
explicit D(int b):b_(b)
{
}
D():b_(0){};
void print()
{
cout<<b_<<endl;
}
private
:
int b_;
};
int
main()
{
D d(10);
D e;
e += 5;
e.print();
e += d;
e.print();
}
上面通过提供运用CRTP模式来实现了operator += 操作，你只要提供operator+操作，那么就可以自动帮助你实现operator +=操作。基类中
template<typename U>
friend
D operator+= (D & d, const U & other)
这是基类的友元函数，而不是成员函数，如果是成员函数，那么派生类就不能私有继承基类（那样operator +=）就变的不可访问。
通过CRTP，可以将和派生类类型相关的相同操作都提取到一个基类中
template
<typename D>
struct
B
{
size_t size()
{
return sizeof(D);
}
void printType()
{
cout<<typeid(D).name()<<endl;
}
};
class
D:public B<D>
{
};
Boost
的operators库提供了完整的比较操作符，算术操作符，迭代器操作符
下面是个例子
――――――――――――――――――――――――――――――――――――――――――――――
class
thing :
boost::less_than_comparable<thing>,
boost::equivalent<thing> {
std::string name_;
public
:
thing() {}
explicit thing(const std::string& name):name_(name) {}
friend bool operator<(const thing& lhs,const thing& rhs) {
return lhs.name_<rhs.name_;
}
};
它提供了以下这些操作符
bool
operator<(const thing&,const thing&);
bool
operator>(const thing&,const thing&);
bool
operator<=(const thing&,const thing&);
bool
operator>=(const thing&,const thing&);
bool
operator==(const thing&,const thing&);
――――――――――――――――――――――――――――――――――――――
此外boost的operators库还提供了很多其它的基类
less_than_comparable，equality_comparable，addable，subtractable等等，在使用它们的时候都要求遵循一定的语义，比如说使用ess_than_comparable的时候要求必须提供
bool operator<(const T&, const T&);
语义