模板 - 必要时使用 int、short 或 float 的类

Question

我想编写一个类来管理欧几里得向量并使用 short、int、long 或 float 存储其初始点。我想创建一个这样的模板：

    template<class unit> class EVector
{
private:
    unit x;
    unit y;
public:
    EVector();
    setX();
    setY();
};

所以用户创建了一个 EVector 来选择合适的原始类型。但是如何实现不同类之间的操作，例如

EVector<int> a;
EVector<float> b;

EVector<double> c;

c = a + b;  

operator= 将复制坐标，operator+ 添加它们。

Answer 1

另外，你可以使用我的promote实现：

template<typename A, typename B> 
EVector<typename promote<A, B>::type>
operator +(EVector<A> const& a, EVector<B> const& b) {
  EVector<typename promote<A, B>::type> ev;
  ev.setX(a.getX() + b.getX());
  ev.setY(a.getY() + b.getY());
  return ev;
}

例如，对于 double 和 int 类型，它将产生 double。

Answer 2

当U 可转换为T 时，您希望启用从EVector<U> 到EVector<T> 的分配（和复制构造）

template<class T>
class EVector
{
   template<class U>
   EVector(EVector<U> const & rhs)
           :x(rhs.x), y(rhs.y)
   {
   }
   ...
}

请注意，即使您提供了这个模板化的复制构造函数，编译器也会为您生成一个复制构造函数（当T 与U 相同时）。在这种情况下，您可以使用默认实现 - 它完全符合您的需要。但除此之外，您还必须显式定义非模板化构造函数（和复制赋值）。