コンパイル時にタプル要素を置き換えるにはどうすればよいですか？

Question

タプル要素を置換する方法はありますかコンパイル時間？

例えば、

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> 

Answer 1

あなたは、この使用することができます：

// 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; 
}; 

をし、このようにそれを使用します良いアドバイス...それも真剣に肉を欠いている間

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> 

Answer 2

ブーストMPLを見transformまたはreplace ALGOS http://www.boost.org/doc/libs/1_40_0/libs/mpl/doc/refmanual/transformation-algorithms.html

Answer 3

あなたはstd::tuple_elementを使用してタプル型の要素の種類にアクセスすることができます。実際にはタプル要素型を置き換えることはできませんが、他のタプル型の要素型として使用される型に関してタプル型を定義することができます。