C++模板模板：<T、V<T> >

Template Template in C++ : <T, V<T> >

本文关键字：gt lt C++      更新时间：2023-10-16

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

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

编辑：如果这个问题以前已经回答过，请在这里添加问题作为评论。我将删除这个问题。谢谢

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

你用这种方式。

这是一个正确的语法：

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

但是参数CCD_ 8是可选的并且不声明任何实际的模板参数。（就像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>作为类型。

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

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
相关文章：