6

我想写一个数学矢量模板。我有一个接受类型和大小作为模板参数的类，有很多数学运算方法。现在我想编写特化，其中 Vector<3> 例如具有 x、y、z 作为成员，它们分别引用 data[0..3]。

问题是我不知道如何创建一个从默认模板继承所有内容的专业化，而无需创建基类或两次编写所有内容。

最有效的方法是什么？

template<class Type, size_t Size>
class Vector {
    // stuff
};

template<class T>
class Vector<3,T>: public Vector {
    public:
        T &x, &y, &z;
        Vector(): Vector<>(), x(data[0]), y(data[1]), z(data[2]){}
        // and so on
};
4

2 回答 2

7

不知何故，您应该能够从默认实现派生，但是您正在专门化一个实例，那么如何？它应该是您可以从中派生的非专业版本。所以这很简单：

// Add one extra argument to keep non-specialized version!
template<class Type, size_t Size, bool Temp = true>
class Vector {
    // stuff
};
// And now our specialized version derive from non-specialized version!
template<class T>
class Vector<T, 3, true>: public Vector<T, 3, false> {
    public:
        T &x, &y, &z;
        Vector(): Vector<>(), x(data[0]), y(data[1]), z(data[2]){}
        // and so on
};
于 2012-10-16T21:51:15.583 回答
1

考虑以稍微不同的方式进行此操作，但目标将实现，添加外部接口 - 我的意思是独立函数 X()、Y()、Z()：

template<class T, size_t S>
T& x(Vector<T, S>& obj, typename std::enable_if<(S>=1)>::type* = nullptr)
{
   return obj.data[0];
}

template<class T, size_t S>
T& y(Vector<T, S>& obj, typename std::enable_if<(S>=2)>::type* = nullptr)
{
   return obj.data[1];
}

template<class T, size_t S>
T& z(Vector<T, S>& obj, typename std::enable_if<(S>=3)>::type* = nullptr)
{
   return obj.data[2];
}

两者之间没有太大区别：

 Vector<T, 3>& obj
 return obj.x();

和

 Vector<T, 3>& obj
 return x(obj);

作为奖励 - 此界面适用于匹配尺寸。

于 2012-10-16T21:53:47.133 回答