find.hpp 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Copyright (c) 2011 Eric Niebler
  4. Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. ==============================================================================*/
  7. #if !defined(FUSION_FIND_05052005_1107)
  8. #define FUSION_FIND_05052005_1107
  9. #include <boost/fusion/algorithm/query/find_if_fwd.hpp>
  10. #include <boost/fusion/algorithm/query/detail/find_if.hpp>
  11. #include <boost/fusion/algorithm/query/detail/segmented_find.hpp>
  12. #include <boost/fusion/iterator/key_of.hpp>
  13. #include <boost/fusion/iterator/value_of.hpp>
  14. #include <boost/fusion/support/category_of.hpp>
  15. #include <boost/fusion/support/is_segmented.hpp>
  16. #include <boost/mpl/if.hpp>
  17. #include <boost/mpl/placeholders.hpp>
  18. #include <boost/type_traits/is_same.hpp>
  19. #include <boost/type_traits/is_const.hpp>
  20. #include <boost/utility/enable_if.hpp>
  21. namespace boost { namespace fusion
  22. {
  23. namespace result_of
  24. {
  25. template <typename Sequence, typename T>
  26. struct find
  27. : mpl::if_<
  28. traits::is_segmented<Sequence>
  29. , detail::result_of_segmented_find<Sequence, T>
  30. , detail::result_of_find_if<
  31. Sequence,
  32. is_same<
  33. typename mpl::if_<
  34. traits::is_associative<Sequence>
  35. , key_of<mpl::_1>
  36. , value_of<mpl::_1>
  37. >::type
  38. , T
  39. >
  40. >
  41. >::type
  42. {};
  43. }
  44. template <typename T, typename Sequence>
  45. inline typename
  46. lazy_disable_if<
  47. is_const<Sequence>
  48. , result_of::find<Sequence, T>
  49. >::type const
  50. find(Sequence& seq)
  51. {
  52. typedef typename result_of::find<Sequence, T>::filter filter;
  53. return filter::call(seq);
  54. }
  55. template <typename T, typename Sequence>
  56. inline typename result_of::find<Sequence const, T>::type const
  57. find(Sequence const& seq)
  58. {
  59. typedef typename result_of::find<Sequence const, T>::filter filter;
  60. return filter::call(seq);
  61. }
  62. }}
  63. #endif