Question

我希望有一个模板类Container，这样它包含的项目和存储方式都是多种多样的。因此，我希望能够创建Container<int, Vector> （或Container<int, Vector<int> >？我不确定哪一个是正确的。），Container<int, ArrayList>等，其中Vector和ArrayList本身就是模板类。

这样做的正确方法是什么？我知道有可能有类似template <class T, template <class U> class V>的内容，但是如何确保第二个参数使用第一个参数作为模板中的第一个参数？

编辑：如果已经回答了这个问题，请在此处将问题添加为评论。我会删除这个问题。感谢。

Answer 1

如何确保第二个参数使用第一个参数作为模板中的第一个参数？

你这样使用它。

这是正确的语法：

template <class T, template <class U> class V>
class Container {
    using contain_type = V<T>;
};

但参数U是可选的，并且不会声明任何实际的模板参数。（与void f(int* p);非常相似void f(int*);，第一个声明中的p并未声明任何实际对象。）

所以你也可以这么写：

template <class T, template <class> class V>
class Container {
    using contain_type = V<T>;
};

很快，您可能会遇到上述声明的问题：您无法将其与std::vector，std::list，std::set等一起使用这是因为那些不是只有一个模板参数的模板。由于默认模板参数，std::vector<int>确实是std::vector<int, std::allocator<int>>，std::set<int>是std::set<int, std::less<int>, std::allocator<int>>，依此类推。

要解决此问题，您需要第二个参数来匹配可变参数模板：

template <class T, template<class...> class V>
class Container {
    using contain_type = V<T>;
};

这仍然只允许模板只包含类型参数，但效果要好得多。

现在，例如，您可以使用Container<int, std::vector>作为类型。

Answer 2

最简单的答案取决于标准库中的所有容器都有一个名为typedef的成员value_type。因此，您只能使用一个类型参数定义类模板：

template<typename T>
struct Container
{
    typedef typename T::value_type value_type;
};

每当使用标准库中的容器对其进行实例化时，它就会知道value_type并且您可以获得乐趣：

::std::cout << sizeof(Container<::std::array<char, 1>>::value_type) << "\n"; // prints 1
::std::cout << sizeof(Container<::std::vector<short>>::value_type) << "\n"; // prints 2
::std::cout << sizeof(Container<::std::list<int>>::value_type) << "\n"; // prints 4

C ++中的模板模板：<t，v <t =“”>＆gt; </t，>

2 个答案: