Czy można napisać uogólniony szablon rebind?

Question

bez specjalizujący się dla każdej klasy szablonu/klasy, jest to możliwe, aby napisać uogólniony 'ponownego powiązania' funkcja meta, tak że podane

template<class > struct foo; 
struct bar; 

następujące

is_same<rebind<foo<int>,float>,foo<float>> 
is_same<rebind<bar>,bar> 

a może

is_same< rebind<std::vector<int>,float>,std::vector<float>> 

zwraca odpowiednik typu true?

Answer 1

Pewnie.

Należy jednak pamiętać, że dowolny parametr szablonu szablonu przyjmujący listę parametrów variadic jest ograniczony do akceptowania szablonów zawierających tylko parametry typu, a nie parametry nietypowe. Innymi słowy, poniższy ogólny przypadek nie zadziała dla std::array, ponieważ jego drugi argument jest liczbą całkowitą. Musisz dodać specjalny przypadek.

Główny szablon jest już specjalnym przypadkiem, ponieważ obsługuje klasy, które nie są specjalizacją szablonu.

http://liveworkspace.org/code/5b6f0cb3aec1eb74701e73d8d21aebab

template< typename bound, typename ... new_args > 
struct rebind_class { 
    static_assert(sizeof ...(new_args) == 0, 
     "can't rebind arguments to non-specialization"); 
    typedef bound type; 
}; 

template< template< typename ... > class template_, typename ... new_args, 
    typename ... old_args > 
struct rebind_class< template_< old_args ... >, new_args ... > { 
    typedef template_< new_args ... > type; 
}; 

template< typename ... args > 
using rebind = typename rebind_class< args ... >::type;