c – 如何在编译时替换元组元素？

发布时间：2020-12-16 05:49:41 所属栏目：百科来源：网络整理

导读：有没有办法在编译时替换元组元素？例如, using a_t = std::tuplestd::string,unsigned; // start with some n-tupleusing b_t = element_replacea_t,1,double; // std::tuplestd::string,doubleusing c_t = element_replaceb_t,char; // std::tuplechar,dou

有没有办法在编译时替换元组元素？

例如,

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,char>;       // std::tuple<char,double>

解决方法

你可以使用这个：

// 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... Ns >
struct element_replace< std::tuple< Ts... >,N,T,indices< Ns... > >
{
    typedef std::tuple< typename std::conditional< Ns == N,Ts >::type... > type;
};

然后使用它：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!