版权声明:本文为博主原创文章,如有需要,可以随意转载,请注明出处。 https://blog.csdn.net/xunye_dream/article/details/82946899
在看这篇文前,请先查看此处https://blog.csdn.net/xunye_dream/article/details/82946580,因两篇有衔接。
先看上篇博文的实现求和的最终实现代码。摘录如下:
template<typename T, typename AT = AccumulateTraits<T> >
struct Accum
{
typedef typename AT::AccT AccT;
static AccT accum(T const* beg, T const* end)
{
AccT total = AT::zero();
while (beg != end)
{
total += *beg;
++beg;
}
return total;
}
};
现今,要实现数组类型相乘。查看上述代码,不难发现相加部分可以对其进行替换,就能实现相乘逻辑。那么,该如何实现既支持加法又支持乘法呢?
还是采用模板参数化可以替换原则,将相加或相乘动作进行封装,以便可模板参数化。
struct SumPolicy
{
template<typename T1, typename T2>
static void accumulate(T1& total, T2 const& value)
{
total += value;
}
};
struct MultPolicy
{
template<typename T1, typename T2>
static void accumulate(T1& total, T2 const& value)
{
total *= value;
}
};
template<typename T,
typename Policy = SumPolicy,
typename Traits = AccumulateTraits<T> >
struct Accum
{
typedef typename Traits::AccT AccT;
static AccT accum(T const* beg, T const* end)
{
AccT total = Traits::zero();
while (beg != end)
{
Policy::accumulate(total, *beg);
++beg;
}
return total;
}
};
上述代码解决了业务的多态,但有一缺点就是,在做乘法和加法业务时,初始化的值可能不同,这就需要将初始化方法单独拎出来。当然实现方式也有多种,这里不打算描述。