Hello meta programmers, I am looking for a way to extract a sub sequence of a given type list by identifying the begin/end of the sub sequence by the corresponding iterators <code> #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include // these namespace clauses are motivated from "C++ Template Metaprogramming" by D.Abrahams,A.Gurtovoy: namespace mpl = boost::mpl ; using mpl::placeholders; // But why do I still need to type 'mpl::_1' instead of plain '_1' ? // here is my type list typedef mpl::vector my_types; // from_pos and to_pos are start and end iterators of the subsequence typedef typename mpl::find::type from_pos; typedef typename mpl::find::type to_pos; // all elements (types) of my_types should be copied into the new seuqence my_sub_types if their iterator (index) is inside the given interval (from_pos,to_pos) typedef mpl::copy_if::type, mpl::int_ > , mpl::less< mpl::find::type, mpl::int_ >

, mpl::back_inserter< mpl::vector<> > ::type my_sub_types;

</code> This code (and lots of slight variations) does not compile. Why ? Any hint (conceptual,syntactical,etc.) is welcome ! regards,Martin.