util.hpp 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
  1. // This file is part of OpenCV project.
  2. // It is subject to the license terms in the LICENSE file found in the top-level directory
  3. // of this distribution and at http://opencv.org/license.html.
  4. //
  5. // Copyright (C) 2018 Intel Corporation
  6. #ifndef OPENCV_GAPI_UTIL_HPP
  7. #define OPENCV_GAPI_UTIL_HPP
  8. #include <utility> // std::tuple
  9. // \cond HIDDEN_SYMBOLS
  10. // This header file contains some generic utility functions which are
  11. // used in other G-API Public API headers.
  12. //
  13. // PLEASE don't put any stuff here if it is NOT used in public API headers!
  14. namespace cv
  15. {
  16. namespace detail
  17. {
  18. // Recursive integer sequence type, useful for enumerating elements of
  19. // template parameter packs.
  20. template<int... I> struct Seq { using next = Seq<I..., sizeof...(I)>; };
  21. template<int Sz> struct MkSeq { using type = typename MkSeq<Sz-1>::type::next; };
  22. template<> struct MkSeq<0>{ using type = Seq<>; };
  23. // Checks if elements of variadic template satisfy the given Predicate.
  24. // Implemented via tuple, with an interface to accept plain type lists
  25. template<template<class> class, typename, typename...> struct all_satisfy;
  26. template<template<class> class F, typename T, typename... Ts>
  27. struct all_satisfy<F, std::tuple<T, Ts...> >
  28. {
  29. static const constexpr bool value = F<T>::value
  30. && all_satisfy<F, std::tuple<Ts...> >::value;
  31. };
  32. template<template<class> class F, typename T>
  33. struct all_satisfy<F, std::tuple<T> >
  34. {
  35. static const constexpr bool value = F<T>::value;
  36. };
  37. template<template<class> class F, typename T, typename... Ts>
  38. struct all_satisfy: public all_satisfy<F, std::tuple<T, Ts...> > {};
  39. // Permute given tuple type C with given integer sequence II
  40. // Sequence may be less than tuple C size.
  41. template<class, class> struct permute_tuple;
  42. template<class C, int... IIs>
  43. struct permute_tuple<C, Seq<IIs...> >
  44. {
  45. using type = std::tuple< typename std::tuple_element<IIs, C>::type... >;
  46. };
  47. // Given T..., generates a type sequence of sizeof...(T)-1 elements
  48. // which is T... without its last element
  49. // Implemented via tuple, with an interface to accept plain type lists
  50. template<typename T, typename... Ts> struct all_but_last;
  51. template<typename T, typename... Ts>
  52. struct all_but_last<std::tuple<T, Ts...> >
  53. {
  54. using C = std::tuple<T, Ts...>;
  55. using S = typename MkSeq<std::tuple_size<C>::value - 1>::type;
  56. using type = typename permute_tuple<C, S>::type;
  57. };
  58. template<typename T, typename... Ts>
  59. struct all_but_last: public all_but_last<std::tuple<T, Ts...> > {};
  60. template<typename... Ts>
  61. using all_but_last_t = typename all_but_last<Ts...>::type;
  62. // NB.: This is here because there's no constexpr std::max in C++11
  63. template<std::size_t S0, std::size_t... SS> struct max_of_t
  64. {
  65. static constexpr const std::size_t rest = max_of_t<SS...>::value;
  66. static constexpr const std::size_t value = rest > S0 ? rest : S0;
  67. };
  68. template<std::size_t S> struct max_of_t<S>
  69. {
  70. static constexpr const std::size_t value = S;
  71. };
  72. } // namespace detail
  73. } // namespace cv
  74. // \endcond
  75. #endif // OPENCV_GAPI_UTIL_HPP