È possibile estrarre in C++ la classe template contenitore?

Question

Mi chiedevo se è possibile rilevare il tipo di contenitore classe template e ridefinirne i parametri. Per esempio:

typedef std::vector<int> vint; 
typedef typeget<vint>::change_param<double> vdouble; 

Dove vdouble sarebbe ora essere un std::vector<double>?

Answer 1

Aggiungendo alla risposta di @Kerrek SB, qui è l'approccio generico:

template<typename...> struct rebinder; 

template<template<typename...> class Container, typename ... Args> 
struct rebinder<Container<Args...>>{ 
    template<typename ... UArgs> 
    using rebind = Container<UArgs...>; 
}; 

che funziona per qualsiasi contenitore sotto il sole.

Answer 2

Sì, si può fare un semplice modello rebinder con specializzazione parziale:

#include <memory> 
#include <vector> 

template <typename> struct vector_rebinder; 

template <typename T, typename A> 
struct vector_rebinder<std::vector<T, A>> 
{ 
    template <typename U> 
    using rebind = 
     std::vector<U, 
        typename std::allocator_traits<A>::template rebind_alloc<U>>; 
}; 

Usage:

using T1 = std::vector<int>; 

using T2 = vector_rebinder<T1>::rebind<double>; 

Ora T2 è std::vector<double>.