如何遍历 std::tuple？ [复制]

Question

有比手动编写这样的实用程序更好的解决方案吗？

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

这样使用：

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

Answer 1

尽管previous, related question 中提供了多个答案（以及您自己提供的答案），但我最初的印象是，需要迭代元组可能反映了糟糕的设计。

如您所知，我们不能使用标准 C++ 算法迭代 std::tuple 的原因是因为 std::tuple 不满足 Container concept。而且，准确地说，它不满足这样的概念，因为std::tuples 没有value_type（它们是异构的）。我知道您使用元组是因为您不想创建自己的多态类型并将其存储在标准容器中（例如，std::vector<std::shared_ptr<BaseClass>>）。这给了你一个快速的收获。但这也意味着你自愿放弃了Containers的优势。

它可能有效，但不知何故让人觉得强迫和不自然：如果您需要容器语义，为什么不使用容器呢？如果你需要多态语义，为什么不使用多态类型呢？

可能我夸大了，但这是我最初的印象。