c++ - 从具有相同容器类型但不同 value_type 的容器生成新类型

Question

给定一个容器，例如 std::list<T> 或 std::vector<T>，我想在我事先不知道容器(std::list<NewT> 或 std::vector<NewT>)的情况下分别生成一个新类型 std::list 或 std::vector。

我当前的(但 failing )尝试如下所示:

#include <list>
#include <vector>

template<class Cont, class NewT> struct SameContNewT : public std::false_type
{};

template<class T, class Alloc, class NewT>
struct SameContNewT<std::list<T, Alloc>, NewT>
{ typedef typename std::list<NewT> type; };

template<class T, class Alloc, class NewT>
struct SameContNewT<std::vector<T, Alloc>, NewT>
{ typedef typename std::vector<NewT> type; };

int main()
{
    typedef std::list<int> IntList;
    typedef std::list<float> FloatList;
    typedef SameContNewT<IntList, float> FloatListToo;
    static_assert(std::is_same<FloatListToo, FloatList>::value, "No.");
}

如何才能实现预期的行为？

Answer 1

一些模板模板参数稍后摆弄......

template <class T, class NewP>
struct SameContNewT;

template <template <class...> class T, class... TPs, class NewP>
struct SameContNewT<T<TPs...>, NewP> {
    using type = T<NewP>;
};

Live on Coliru

这确实丢弃了原始类型的所有模板参数，例如标准容器的分配器。这些需要更多的参与，因为你不能重用 T的分配器，很可能是 std::allocator<typename T::value_type>并且不适合分配 NewT的。