Làm cách nào để lặp qua std :: tuple?

Question

Bất kỳ giải pháp nào tốt hơn là viết thủ công một tiện ích như thế này?

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

Để được sử dụng như thế này:

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

Answer 1

Mặc dù có một số câu trả lời cung cấp trong một previous, related question (và một trong những bạn cung cấp cho mình), ấn tượng ban đầu của tôi là sự cần thiết phải lặp qua các tuple có thể là một sự phản ánh của một thiết kế nghèo nàn.

Như bạn biết, lý do tại sao chúng tôi không thể lặp qua một std::tuple sử dụng thuật toán C++ chuẩn là vì std::tuple không hoàn thành Container concept. Và, chính xác, nó không hoàn thành khái niệm như vậy bởi vì std::tuple s không có value_type (chúng không đồng nhất). Tôi biết rằng bạn đã sử dụng một bộ dữ liệu vì bạn không muốn tạo loại đa hình của riêng mình và lưu trữ nó trong một vùng chứa tiêu chuẩn (ví dụ: std::vector<std::shared_ptr<BaseClass>>). Điều này giúp bạn có được lợi ích nhanh chóng. Nhưng điều đó cũng có nghĩa là bạn đã tự nguyện từ bỏ những lợi thế của Container s.

Nó có thể hoạt động, nhưng nó bằng cách nào đó cảm thấy bị ép buộc và không tự nhiên: nếu bạn cần ngữ nghĩa của container, tại sao không sử dụng một container? Nếu bạn cần ngữ nghĩa đa hình, tại sao không sử dụng một loại đa hình?

Có lẽ tôi đang phóng đại, nhưng đây là ấn tượng ban đầu của tôi.