如何在運行時在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首選重載（最後一個）。