detectors.hpp 3.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  1. // Copyright (c) 2016-2025 Antony Polukhin
  2. //
  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. #ifndef BOOST_PFR_DETAIL_DETECTORS_HPP
  6. #define BOOST_PFR_DETAIL_DETECTORS_HPP
  7. #pragma once
  8. #include <boost/pfr/detail/config.hpp>
  9. #if !defined(BOOST_PFR_INTERFACE_UNIT)
  10. #include <functional>
  11. #include <type_traits>
  12. #endif
  13. namespace boost { namespace pfr { namespace detail {
  14. ///////////////////// `value` is true if Detector<Tleft, Tright> does not compile (SFINAE)
  15. struct can_not_apply{};
  16. template <template <class, class> class Detector, class Tleft, class Tright>
  17. struct not_applicable {
  18. static constexpr bool value = std::is_same<
  19. Detector<Tleft, Tright>,
  20. can_not_apply
  21. >::value;
  22. };
  23. ///////////////////// Detectors for different operators
  24. template <class S, class T> auto comp_eq_detector_msvc_helper(long) -> decltype(std::declval<S>() == std::declval<T>());
  25. template <class S, class T> can_not_apply comp_eq_detector_msvc_helper(int);
  26. template <class T1, class T2> using comp_eq_detector = decltype(comp_eq_detector_msvc_helper<T1,T2>(1L));
  27. template <class S, class T> auto comp_ne_detector_msvc_helper(long) -> decltype(std::declval<S>() != std::declval<T>());
  28. template <class S, class T> can_not_apply comp_ne_detector_msvc_helper(int);
  29. template <class T1, class T2> using comp_ne_detector = decltype(comp_ne_detector_msvc_helper<T1,T2>(1L));
  30. template <class S, class T> auto comp_lt_detector_msvc_helper(long) -> decltype(std::declval<S>() < std::declval<T>());
  31. template <class S, class T> can_not_apply comp_lt_detector_msvc_helper(int);
  32. template <class T1, class T2> using comp_lt_detector = decltype(comp_lt_detector_msvc_helper<T1,T2>(1L));
  33. template <class S, class T> auto comp_le_detector_msvc_helper(long) -> decltype(std::declval<S>() <= std::declval<T>());
  34. template <class S, class T> can_not_apply comp_le_detector_msvc_helper(int);
  35. template <class T1, class T2> using comp_le_detector = decltype(comp_le_detector_msvc_helper<T1,T2>(1L));
  36. template <class S, class T> auto comp_gt_detector_msvc_helper(long) -> decltype(std::declval<S>() > std::declval<T>());
  37. template <class S, class T> can_not_apply comp_gt_detector_msvc_helper(int);
  38. template <class T1, class T2> using comp_gt_detector = decltype(comp_gt_detector_msvc_helper<T1,T2>(1L));
  39. template <class S, class T> auto comp_ge_detector_msvc_helper(long) -> decltype(std::declval<S>() >= std::declval<T>());
  40. template <class S, class T> can_not_apply comp_ge_detector_msvc_helper(int);
  41. template <class T1, class T2> using comp_ge_detector = decltype(comp_ge_detector_msvc_helper<T1,T2>(1L));
  42. template <class S> auto hash_detector_msvc_helper(long) -> decltype(std::hash<S>{}(std::declval<S>()));
  43. template <class S> can_not_apply hash_detector_msvc_helper(int);
  44. template <class T1, class T2> using hash_detector = decltype(hash_detector_msvc_helper<T1,T2>(1L));
  45. template <class S, class T> auto ostreamable_detector_msvc_helper(long) -> decltype(std::declval<S>() << std::declval<T>());
  46. template <class S, class T> can_not_apply ostreamable_detector_msvc_helper(int);
  47. template <class S, class T> using ostreamable_detector = decltype(ostreamable_detector_msvc_helper<S,T>(1L));
  48. template <class S, class T> auto istreamable_detector_msvc_helper(long) -> decltype(std::declval<S>() >> std::declval<T>());
  49. template <class S, class T> can_not_apply istreamable_detector_msvc_helper(int);
  50. template <class S, class T> using istreamable_detector = decltype(istreamable_detector_msvc_helper<S,T>(1L));
  51. }}} // namespace boost::pfr::detail
  52. #endif // BOOST_PFR_DETAIL_DETECTORS_HPP