使用表达式模板时,如何创建特化?从Wikipedia 示例中,我可以制作一个 Vector sum 模板类,如下所示:
template <typename E1, typename E2>
class VecSum : public VecExpression<VecSum<E1, E2> > {
E1 const& _u;
E2 const& _v;
public:
VecSum(E1 const& u, E2 const& v) : _u(u), _v(v) {
assert(u.size() == v.size());
}
double operator[](size_t i) const { return _u[i] + _v[i]; }
size_t size() const { return _v.size(); }
};
template <typename E1, typename E2>
VecSum<E1,E2> const
operator+(E1 const& u, E2 const& v) {
return VecSum<E1, E2>(u, v);
}
根据维基百科,如果我有一个Vector
扩展类和一个使用运算符和循环VecExpression<Vector>
的类的构造函数,这将允许循环合并,因此如下语句仅使用单个循环:VecExpression
[]
Vector a = ...;
Vector b = ...;
Vector c = ...;
Vector d = a+b+c;
我明白为什么会这样,但我不确定如何将其扩展到标量。我希望能够向整个 Vector 添加一个标量(int、float 或 double),但我不确定如何执行此操作。我最好的猜测是为 VecSum 类创建专业化,例如:
template<typename E2> VecSum<int, E2>{ /*stuff goes here*/ }
template<typename E1> VecSum<E1, int>{ /*stuff goes here*/ }
template<typename E2> VecSum<float, E2>{ /*stuff goes here*/ }
template<typename E1> VecSum<E1, float>{ /*stuff goes here*/ }
template<typename E2> VecSum<double, E2>{ /*stuff goes here*/ }
template<typename E1> VecSum<E1, double>{ /*stuff goes here*/ }
但这似乎比必要的工作要多得多,还有其他解决方案吗?