`
阿尔萨斯
  • 浏览: 4173681 次
社区版块
存档分类
最新评论

boost中的operator及一些探讨

 
阅读更多
<iframe align="center" marginwidth="0" marginheight="0" src="http://www.zealware.com/csdnblog.html" frameborder="0" width="728" scrolling="no" height="90"></iframe>

在generic programming中,我们往往希望自己定义的type在行为上和C++内置的类型尽可能的相似,也就是说,可以参与各种各样的表达式运算而不会有阻碍。C++为我们提供强大的运算符重载机制也就是为了这个目的。不幸的是,重载运算符往往是一件枯燥无聊的事情,我们可以大致统计一下,要完全定一个type,我们需要重载的运算符:
算术运算:+, -, *, /, %, +=, -=, *=, /=, /, %=
比较运算:>, =, 位运算:|, &, ^,|=, &=, ^=
自增自减:++, -- 它们放在变量前面和后面是不同的,这就是4个
……
这只是对于该type本身,如果你希望定义这个type和另外一个type的混合运算——例如你定义了一个复数,自然要定义它和int, double, float...之间的运算——那么你就要把上面的运算符再来上那么几次,注意,如果要实现可交换的运算(例如加法,乘法),重载数量还要乘以2……

实际上,我们可以发现,在通常情况下这些运算中的很多都是可以用其他的运算来达到的,例如
>= 可以是 >||=,当然也可以是 !除非你的type的表现比较奇怪(例如matrix的乘法不对称),否则只要实现了一些基本的运算符,其余的就可以用某种机制来自动实现了。boost在operator.hpp中提供了这种机制,它利用了C++强大的继承、模版和宏。

在下面的代码中,尽管没有直接定义MyInt的+和*操作,但是由于从additive和multiplicative派生,所以这些操作都被自动定义了,我们只需要定义+=和*=即可。

#include <boost></boost>

using namespace boost;

class MyInt
: additive<myint int>, multiplicative<myint int> &gt;<br>{<br>public:<br>int i;</myint></myint>

typedef MyInt self;

MyInt(){};

MyInt(const MyInt& mi)
{
i = mi.i;
}

self& operator+=(const int ii)
{
i += ii;
return *this;
}

self& operator*=(const int ii)
{
i *= ii;
return *this;
}
};


#include <iostream><br>using namespace std;</iostream>

void main()
{
MyInt i;
i.i = 10;
int j = 5;

MyInt k = i + j;
MyInt l = j + i;
MyInt m = i * j;
MyInt n = j * i;
}

对于比较和逻辑运算,也有相应的operator基类模版可以继承。值得注意的是继承它们的方法:

class MyInt
: additive<myint int>, multiplicative<myint int> &gt;</myint></myint>

这里不是直接的多继承,而是把multiplicative作为additive的第3个模版参数,而additive的实现中,是从第3个模版参数派生的(由于additive是通过macro来定义的,所以这里选了另一个相似的东西less_than_comparable2来作参照):

template <class t class u b="::boost::detail::empty_base"><br>struct less_than_comparable2 : B<br></class>
换句话说,继承关系可以看成是这样的(实际上还有很多中间层次,这里省略):
::boost::detail::empty_base
^
mutiplicative
^
additive
^
MyInt
如果采用直接的多继承,也就是如果这样写,

class MyInt
: additive<myint int><br>, multiplicative<myint int></myint></myint>

那么继承关系可能是这样的:
::boost::detail::empty_base ::boost::detail::empty_base
^ ^
mutiplicative additive
^^
MyInt
多出了一个empty_base,虽说empty_base是空的,这样做可能没有多大的消耗,但是在类层次复杂的时候,也许就会有比较大的浪费了。




分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics