Получить индекс типа в mpl::map`е

#include <iostream>
 
#include <boost/mpl/distance.hpp>
#include <boost/mpl/find.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/key_type.hpp>
#include <boost/mpl/map.hpp>
#include <boost/mpl/pair.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/equal.hpp>
 
namespace mpl = boost::mpl;
 
typedef mpl::map<
   mpl::pair<mpl::int_<0>, int>,
   mpl::pair<mpl::int_<2>, char>,
   mpl::pair<mpl::int_<5>, double>
> map;
 
template<typename T>
struct type {
   BOOST_MPL_ASSERT(( boost::mpl::has_key<map, T> ));
   template<typename P, typename O>
   struct extractor {
      typedef typename P::first first;
      typedef typename mpl::equal<first, O> type;
   };
   typedef typename mpl::find_if<
      map,
      extractor<mpl::_1, T>
   >::type val_at_key;
   BOOST_MPL_ASSERT_NOT(( mpl::equal<boost::mpl::end<map>::type, val_at_key> ));
   enum {
      class_id = mpl::distance<
         mpl::begin<map>::type,
         typename mpl::find<
            map,
            mpl::pair<T, val_at_key>
         >::type
      >::value
   };
};
 
int main() {
   std::cout << type<mpl::int_<0>>::class_id << std::endl;
//   std::cout << type<mpl::int_<2>>::class_id << std::endl;
//   std::cout << type<mpl::int_<5>>::class_id << std::endl;
}

#include <iostream>
 
#include <boost/type_traits/is_same.hpp>
#include <boost/mpl/distance.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/begin_end.hpp>
#include <boost/mpl/map.hpp>
#include <boost/mpl/pair.hpp>
#include <boost/mpl/value_type.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/assert.hpp>
 
namespace mpl = boost::mpl;
 
typedef mpl::map<
   mpl::pair<mpl::int_<0>, int>,
   mpl::pair<mpl::int_<2>, char>,
   mpl::pair<mpl::int_<5>, double>
> map;
 
template<typename Map, typename T>
struct type {
   BOOST_MPL_ASSERT(( mpl::has_key<Map, T> ));
 
   enum {
      class_id = mpl::distance<
         typename mpl::begin<Map>::type,
         typename mpl::find_if<
            Map,
            boost::is_same<
               mpl::pair<
                  T,
                  typename mpl::at<Map, T>::type
               >,
               mpl::_1
            >
         >::type
      >::value
   };
};
 
int main() {
   std::cout << type<map, mpl::int_<0>>::class_id << std::endl;
   std::cout << type<map, mpl::int_<2>>::class_id << std::endl;
   std::cout << type<map, mpl::int_<5>>::class_id << std::endl;
 
//   std::cout << type<map, mpl::int_<1>>::class_id << std::endl; // Ooops! BOOST_MPL_ASSERT()
}