런타임시 boost :: fusion :: vector에서 요소를 찾는 방법은 무엇입니까?

Question

는 여기 전환 테이블로 std::tr1::tuple를 사용하는 일반적인 상태 머신의 독자적인 구현이 있습니다

template<State StartState, Event TriggerEvent, State TargetState> 
struct transition {...}; 

typedef std::tr1::tuple< transition< ready  , run  , running  > 
         , transition< running , terminate, terminating > 
         , transition< terminating, finish , terminated > 
         > transition_table; 

기능

template<typename Transitions> 
State find_next_state(State current 
        , Event event 
        , const Transitions& transition_table); 

주어진 전환 테이블의 다음 상태를 찾을 수에게있다 현재 상태 및 이벤트.

이 플랫폼의 tuple 구현이 10 개를 초과하는 경우를 제외하고는 모두 잘 작동합니다. 동일한 것은 boost::tuple에 해당하는 것 같습니다. 따라서 boost::fusion::vector을 대신 사용하려고합니다. 하지만 fusion's find_if은 "단항 MPL Lambda Expression"만 사용합니다. 컴파일 타임에만 작동합니다.

위 주어진대로 find_next_state()을 어떻게 구현할 수 있습니까?

참고 : GCC 4.1.2을 공급, 우리는 C++ 03 + TR1 붙어있어

이 독점 임베디드 플랫폼.

Answer 1

자신의 find_if을 쓰는 것은 "찾은 값 반환"부분을 제외하고는 다소 사소한 것입니다. boost::fusion::vector은 이기종 컨테이너이므로 반환 할 단일 권한 유형이 없습니다. 마음에 오는 한 가지 가능한 솔루션은 발견 된 값으로 호출되는 연속 함수를 받고있다 :

#include <boost/fusion/include/size.hpp> 
#include <boost/fusion/include/at_c.hpp> 

// private implementation details 
namespace detail{ 
// shorthand ... 
template<class S> 
struct fusion_size{ 
    static const unsigned value = 
    boost::fusion::result_of::size<S>::type::value; 
}; 

// classic compile-time counter 
template<unsigned> struct uint_{}; 

template<class Seq, class Pred, class F> 
void find_if(Seq&, Pred const&, F, uint_<fusion_size<Seq>::value>, int) 
{ /* reached the end, do nothing */ } 

template<class Seq, class Pred, class F, unsigned I> 
void find_if(Seq& s, Pred const& pred, F f, uint_<I>, long){ 
    if(pred(boost::fusion::at_c<I>(s))) 
    { 
     f(boost::fusion::at_c<I>(s)); 
     return; // bail as soon as we find it 
    } 
    find_if(s, pred, f, uint_<I+1>(), 0); 
} 
} // detail:: 

template<class Seq, class Pred, class F> 
void find_if(Seq& s, Pred const& pred, F f){ 
    detail::find_if(s, pred, f, detail::uint_<0>(), 0); 
} 

Live example.

int 및 long 매개 변수뿐만 아니라 0 인수를 바로 그 때 I+1를 동음위한 == fusion_size<Seq>::value, 두 기능 모두 동등하게 실행 가능합니다. 0 유형이 int 인 경우 첫 번째 오버로드 (마지막 오버로드)가 우선합니다.