policy类——策略类

在看这篇文前，请先查看此处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;
	}
};

上述代码解决了业务的多态，但有一缺点就是，在做乘法和加法业务时，初始化的值可能不同，这就需要将初始化方法单独拎出来。当然实现方式也有多种，这里不打算描述。