Come eseguire iterazioni su std :: tuple?

Question

Qualunque soluzione migliore rispetto alla scrittura manuale di un'utilità come questa?

template <size_t> struct SizeT { }; 

template < typename TupleType, typename ActionType > 
inline void TupleForEach(TupleType& tuple, ActionType action) 
{ 
    TupleForEach(tuple, action, SizeT<std::tuple_size<TupleType>::value>()); 
} 

template < typename TupleType, typename ActionType > 
inline void TupleForEach(TupleType& tuple, ActionType action, SizeT<0>) { } 

template < typename TupleType, typename ActionType, size_t N > 
inline void TupleForEach(TupleType& tuple, ActionType action, SizeT<N>) 
{ 
    TupleForEach(tuple, action, SizeT<N-1>()); 
    action(std::get<N-1>(tuple)); 
} 

Per essere utilizzato in questo modo:

std::tuple<char, int, double> tt; 
TupleForEach(tt, (boost::lambda::_1 = 5)); 

Answer 1

Anche se ci sono diverse risposte fornite in un previous, related question (e quello che fornisci tu stesso), la mia impressione iniziale è che la necessità di scorrere i la tupla può essere un riflesso di un design scadente.

Come sapete, il motivo per cui non è possibile eseguire un'iterazione su un std::tuple utilizzando gli algoritmi C++ standard è perché std::tuple non soddisfa lo Container concept. E, appunto, non soddisfa tale concetto perché gli std::tuple s non hanno uno value_type (sono eterogenei). So che hai usato una tupla perché non volevi creare il tuo tipo polimorfico e memorizzarlo in un contenitore standard (ad esempio, std::vector<std::shared_ptr<BaseClass>>). Questo ti ha dato un rapido guadagno. Ma ciò significa anche che hai rinunciato volontariamente ai vantaggi di Container s.

Può funzionare, ma in qualche modo sembra forzato e innaturale: se hai bisogno di semantica del contenitore, perché non usare un contenitore? Se hai bisogno di semantica polimorfica, perché non usare un tipo polimorfico?

Probabilmente sto esagerando, ma questa è la mia impressione iniziale.