2013-03-14 16 views
9

C'è un modo per sostituire un elemento tuple al tempo di compilazione ?Come sostituire un elemento tupla al momento della compilazione?

Per esempio,

using a_t = std::tuple<std::string,unsigned>; // start with some n-tuple 
using b_t = element_replace<a_t,1,double>;  // std::tuple<std::string,double> 
using c_t = element_replace<b_t,0,char>;  // std::tuple<char,double> 

risposta

17

È possibile utilizzare questo:

// the usual helpers (BTW: I wish these would be standardized!!) 
template< std::size_t... Ns > 
struct indices 
{ 
    typedef indices< Ns..., sizeof...(Ns) > next; 
}; 

template< std::size_t N > 
struct make_indices 
{ 
    typedef typename make_indices< N - 1 >::type::next type; 
}; 

template<> 
struct make_indices<0> 
{ 
    typedef indices<> type; 
}; 

// and now we use them 
template< typename Tuple, std::size_t N, typename T, 
      typename Indices = typename make_indices< std::tuple_size<Tuple>::value >::type > 
struct element_replace; 

template< typename... Ts, std::size_t N, typename T, std::size_t... Ns > 
struct element_replace< std::tuple<Ts...>, N, T, indices<Ns...> > 
{ 
    typedef std::tuple< typename std::conditional< Ns == N, T, Ts >::type... > type; 
}; 

e quindi utilizzarlo in questo modo:

using a_t = std::tuple<std::string,unsigned>;  // start with some n-tuple 
using b_t = element_replace<a_t,1,double>::type; // std::tuple<std::string,double> 
using c_t = element_replace<b_t,0,char>::type; // std::tuple<char,double> 
+3

Indici. ♥♥♥♥♥♥ – Xeo

+0

Ho bisogno di imparare questo trucco. +1 – jrok

+0

+1: compatto ed elegante –

0

È possibile accedere ai tipi di elementi di un tipo tupla utilizzando std::tuple_element. Questo in realtà non ti permette di sostituire i tipi di elementi di tupla, ma ti permette di definire i tipi di tupla in termini di tipi usati come tipi di elementi in altri tipi di tupla.

Problemi correlati