empty.hpp 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. ==============================================================================*/
  6. #if !defined(FUSION_EMPTY_09162005_0335)
  7. #define FUSION_EMPTY_09162005_0335
  8. #include <boost/fusion/sequence/intrinsic_fwd.hpp>
  9. #include <boost/fusion/sequence/intrinsic/size.hpp>
  10. #include <boost/mpl/bool.hpp>
  11. #include <boost/fusion/support/tag_of.hpp>
  12. namespace boost { namespace fusion
  13. {
  14. // Special tags:
  15. struct sequence_facade_tag;
  16. struct mpl_sequence_tag; // mpl sequence tag
  17. namespace extension
  18. {
  19. template <typename Tag>
  20. struct empty_impl
  21. {
  22. template <typename Sequence>
  23. struct apply
  24. : mpl::bool_<(result_of::size<Sequence>::value == 0)>
  25. {};
  26. };
  27. template <>
  28. struct empty_impl<sequence_facade_tag>
  29. {
  30. template <typename Sequence>
  31. struct apply : Sequence::template empty<Sequence> {};
  32. };
  33. template <>
  34. struct empty_impl<mpl_sequence_tag>;
  35. }
  36. namespace result_of
  37. {
  38. template <typename Sequence>
  39. struct empty
  40. : extension::empty_impl<typename detail::tag_of<Sequence>::type>::
  41. template apply<Sequence>
  42. {};
  43. }
  44. template <typename Sequence>
  45. inline typename result_of::empty<Sequence>::type
  46. empty(Sequence const&)
  47. {
  48. typedef typename result_of::empty<Sequence>::type result;
  49. return result();
  50. }
  51. }}
  52. #endif