带有模板的简单示例

Question

这是一个简单的问题，我确信以前已经回答过，但我似乎找不到好的答案。

我有课，点：

template<class T>
Point{
\\code
}

...现在我想要一个点向量，其中一些将 T 作为整数，而将 T 作为双精度数。我想写类似的东西

template<class T>
std::vector<Point<T> > points;

但是，唉，这不会编译错误“在'模板'之前的预期主表达式”。我无法对这段代码坐立不安以使其工作。同样相关的是点在主类中，所以我不能将模板声明粘贴在函数之外。

如果有人可以指导我找到解决方案，我将不胜感激。

谢谢。

Answer 1

如果您的目标是拥有一个同时包含Point<int> 和Point<double> 的vector，您可以使用Boost Variant。

typedef boost::variant<Point<int>, Point<double> > VariantPoint;

然后：

std::vector<VariantPoint> my_vector;

my_vector.push_back(Point<int>(1, 0));
my_vector.push_back(Point<double>(1.5f, 2.0f));

会工作。请注意，要在之后检查元素，您可能必须使用 visitor pattern 所记录的 here。

如果您的目标是拥有只能包含Point 一种类型的不同向量类型，那么您可以使用：

template<typename T> using PointVector = std::vector<Point<T>>; // C++11

// Now you can write:
PointVector<int> my_vector;

// Which is equivalent to:
std::vector<Point<int>> my_vector;

或者，如果 C++11 不是一个选项：

template<typename T> struct PointVector
{
  typedef std::vector<Point<T> > Type;
}

然后：

PointVector<int>::Type my_vector;

Answer 2

要获得单一种类的向量，我会使用继承：

template <typename T>
struct PointVector : public std::vector< Point<T> >
{
};

注意，继承只是实现模板typedef的等效机制。这意味着，PointVector 不应包含任何数据成员或虚函数。但是，@ereOn 的建议是首选，并在this question 的答案中进行了讨论。

实现变体的老式方法是使用联合。

class IntOrDouble {
    union {
        int i;
        double d;
    };
    bool is_int;
    bool is_double;
public:
    IntOrDouble () : is_int(false), is_double(false) {}
    IntOrDouble (int x) : is_int(true), is_double(false) { i = x; }
    IntOrDouble (double x) : is_int(false), is_double(true) { d = x; }
    int operator = (int x) {
        is_int = true;
        is_double = false;
        return i = x;
    };
    double operator = (double x) {
        is_int = false;
        is_double = true;
        return d = x;
    };
    operator int () const {
        if (is_int) return i;
        if (is_double) return d;
        return 0;
    }
    operator double () const {
        if (is_double) return d;
        if (is_int) return i;
        return 0;
    }
};
typedef std::vector< Point<IntOrDouble> > PointVector;

但是对于这个用例来说，这一切似乎都有些过头了。我只会使用 double 的向量，除非内存真的很紧。