compare.hpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338
  1. // Boost.Geometry (aka GGL, Generic Geometry Library)
  2. // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
  3. // This file was modified by Oracle on 2017-2023.
  4. // Modifications copyright (c) 2017-2023, Oracle and/or its affiliates.
  5. // Contributed and/or modified by Vissarion Fysikopoulos, on behalf of Oracle
  6. // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
  7. // Use, modification and distribution is subject to the Boost Software License,
  8. // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  9. // http://www.boost.org/LICENSE_1_0.txt)
  10. #ifndef BOOST_GEOMETRY_STRATEGIES_SPHERICAL_COMPARE_HPP
  11. #define BOOST_GEOMETRY_STRATEGIES_SPHERICAL_COMPARE_HPP
  12. #include <type_traits>
  13. #include <boost/geometry/core/access.hpp>
  14. #include <boost/geometry/core/coordinate_dimension.hpp>
  15. #include <boost/geometry/core/coordinate_system.hpp>
  16. #include <boost/geometry/core/coordinate_type.hpp>
  17. #include <boost/geometry/core/cs.hpp>
  18. #include <boost/geometry/core/radian_access.hpp>
  19. #include <boost/geometry/core/tags.hpp>
  20. #include <boost/geometry/strategies/compare.hpp>
  21. #include <boost/geometry/util/math.hpp>
  22. #include <boost/geometry/util/normalize_spheroidal_coordinates.hpp>
  23. namespace boost { namespace geometry
  24. {
  25. namespace strategy { namespace compare
  26. {
  27. #ifndef DOXYGEN_NO_DETAIL
  28. namespace detail
  29. {
  30. template <std::size_t I, typename P>
  31. static inline geometry::coordinate_type_t<P>
  32. get(P const& p, std::true_type /*same units*/)
  33. {
  34. return geometry::get<I>(p);
  35. }
  36. template <std::size_t I, typename P>
  37. static inline geometry::coordinate_type_t<P>
  38. get(P const& p, std::false_type /*different units*/)
  39. {
  40. return geometry::get_as_radian<I>(p);
  41. }
  42. template
  43. <
  44. typename ComparePolicy,
  45. typename EqualsPolicy,
  46. typename Point1,
  47. typename Point2,
  48. std::size_t DimensionCount
  49. >
  50. struct spherical_latitude
  51. {
  52. using coordinate1_type = geometry::coordinate_type_t<Point1>;
  53. using units1_type = typename geometry::detail::cs_angular_units<Point1>::type;
  54. using coordinate2_type = geometry::coordinate_type_t<Point2>;
  55. using units2_type = typename geometry::detail::cs_angular_units<Point2>::type;
  56. using same_units_type = std::is_same<units1_type, units2_type>;
  57. template <typename T1, typename T2>
  58. static inline bool apply(Point1 const& left, Point2 const& right,
  59. T1 const& l1, T2 const& r1)
  60. {
  61. // latitudes equal
  62. if (EqualsPolicy::apply(l1, r1))
  63. {
  64. return compare::detail::compare_loop
  65. <
  66. ComparePolicy, EqualsPolicy, 2, DimensionCount
  67. >::apply(left, right);
  68. }
  69. else
  70. {
  71. return ComparePolicy::apply(l1, r1);
  72. }
  73. }
  74. static inline bool apply(Point1 const& left, Point2 const& right)
  75. {
  76. coordinate1_type const& l1 = compare::detail::get<1>(left, same_units_type());
  77. coordinate2_type const& r1 = compare::detail::get<1>(right, same_units_type());
  78. return apply(left, right, l1, r1);
  79. }
  80. };
  81. template
  82. <
  83. typename ComparePolicy,
  84. typename EqualsPolicy,
  85. typename Point1,
  86. typename Point2
  87. >
  88. struct spherical_latitude<ComparePolicy, EqualsPolicy, Point1, Point2, 1>
  89. {
  90. template <typename T1, typename T2>
  91. static inline bool apply(Point1 const& left, Point2 const& right,
  92. T1 const& , T2 const& )
  93. {
  94. return apply(left, right);
  95. }
  96. static inline bool apply(Point1 const& left, Point2 const& right)
  97. {
  98. return compare::detail::compare_loop
  99. <
  100. ComparePolicy, EqualsPolicy, 1, 1
  101. >::apply(left, right);
  102. }
  103. };
  104. template
  105. <
  106. typename ComparePolicy,
  107. typename EqualsPolicy,
  108. typename Point1,
  109. typename Point2,
  110. std::size_t DimensionCount
  111. >
  112. struct spherical_longitude
  113. {
  114. using coordinate1_type = geometry::coordinate_type_t<Point1>;
  115. using units1_type = typename geometry::detail::cs_angular_units<Point1>::type;
  116. using coordinate2_type = geometry::coordinate_type_t<Point2>;
  117. using units2_type = typename geometry::detail::cs_angular_units<Point2>::type;
  118. using same_units_type = std::is_same<units1_type, units2_type>;
  119. using units_type = std::conditional_t<same_units_type::value, units1_type, geometry::radian>;
  120. static const bool is_equatorial =
  121. ! std::is_same<geometry::cs_tag_t<Point1>, geometry::spherical_polar_tag>::value;
  122. static inline bool are_both_at_antimeridian(coordinate1_type const& l0,
  123. coordinate2_type const& r0,
  124. bool & is_left_at,
  125. bool & is_right_at)
  126. {
  127. is_left_at = math::is_longitude_antimeridian<units_type>(l0);
  128. is_right_at = math::is_longitude_antimeridian<units_type>(r0);
  129. return is_left_at && is_right_at;
  130. }
  131. static inline bool apply(Point1 const& left, Point2 const& right)
  132. {
  133. // if units are different the coordinates are in radians
  134. coordinate1_type const& l0 = compare::detail::get<0>(left, same_units_type());
  135. coordinate2_type const& r0 = compare::detail::get<0>(right, same_units_type());
  136. coordinate1_type const& l1 = compare::detail::get<1>(left, same_units_type());
  137. coordinate2_type const& r1 = compare::detail::get<1>(right, same_units_type());
  138. bool is_left_at_antimeridian = false;
  139. bool is_right_at_antimeridian = false;
  140. // longitudes equal
  141. if (EqualsPolicy::apply(l0, r0)
  142. // both at antimeridian
  143. || are_both_at_antimeridian(l0, r0, is_left_at_antimeridian, is_right_at_antimeridian)
  144. // both at pole
  145. || (EqualsPolicy::apply(l1, r1)
  146. && math::is_latitude_pole<units_type, is_equatorial>(l1)))
  147. {
  148. return spherical_latitude
  149. <
  150. ComparePolicy, EqualsPolicy, Point1, Point2, DimensionCount
  151. >::apply(left, right, l1, r1);
  152. }
  153. // if left is at antimeridian and right is not at antimeridian
  154. // then left is greater than right
  155. else if (is_left_at_antimeridian)
  156. {
  157. // less/equal_to -> false, greater -> true
  158. return ComparePolicy::apply(1, 0);
  159. }
  160. // if right is at antimeridian and left is not at antimeridian
  161. // then left is lesser than right
  162. else if (is_right_at_antimeridian)
  163. {
  164. // less -> true, equal_to/greater -> false
  165. return ComparePolicy::apply(0, 1);
  166. }
  167. else
  168. {
  169. return ComparePolicy::apply(l0, r0);
  170. }
  171. }
  172. };
  173. } // namespace detail
  174. #endif // DOXYGEN_NO_DETAIL
  175. /*!
  176. \brief Compare strategy for spherical coordinates
  177. \ingroup strategies
  178. \tparam Point point-type
  179. \tparam Dimension dimension
  180. */
  181. template
  182. <
  183. typename ComparePolicy,
  184. typename EqualsPolicy,
  185. int Dimension = -1
  186. >
  187. struct spherical
  188. : cartesian<ComparePolicy, EqualsPolicy, Dimension>
  189. {};
  190. #ifndef DOXYGEN_NO_STRATEGY_SPECIALIZATIONS
  191. // all dimensions starting from longitude
  192. template <typename ComparePolicy, typename EqualsPolicy>
  193. struct spherical<ComparePolicy, EqualsPolicy, -1>
  194. {
  195. template <typename Point1, typename Point2>
  196. static inline bool apply(Point1 const& left, Point2 const& right)
  197. {
  198. return compare::detail::spherical_longitude
  199. <
  200. ComparePolicy,
  201. EqualsPolicy,
  202. Point1,
  203. Point2,
  204. std::conditional_t
  205. <
  206. (dimension<Point1>::value < dimension<Point2>::value),
  207. std::integral_constant<std::size_t, dimension<Point1>::value>,
  208. std::integral_constant<std::size_t, dimension<Point2>::value>
  209. >::value
  210. >::apply(left, right);
  211. }
  212. };
  213. // only longitudes (and latitudes to check poles)
  214. template <typename ComparePolicy, typename EqualsPolicy>
  215. struct spherical<ComparePolicy, EqualsPolicy, 0>
  216. {
  217. template <typename Point1, typename Point2>
  218. static inline bool apply(Point1 const& left, Point2 const& right)
  219. {
  220. return compare::detail::spherical_longitude
  221. <
  222. ComparePolicy, EqualsPolicy, Point1, Point2, 1
  223. >::apply(left, right);
  224. }
  225. };
  226. // only latitudes
  227. template <typename ComparePolicy, typename EqualsPolicy>
  228. struct spherical<ComparePolicy, EqualsPolicy, 1>
  229. {
  230. template <typename Point1, typename Point2>
  231. static inline bool apply(Point1 const& left, Point2 const& right)
  232. {
  233. return compare::detail::spherical_latitude
  234. <
  235. ComparePolicy, EqualsPolicy, Point1, Point2, 2
  236. >::apply(left, right);
  237. }
  238. };
  239. #endif // DOXYGEN_NO_STRATEGY_SPECIALIZATIONS
  240. namespace services
  241. {
  242. template <typename ComparePolicy, typename EqualsPolicy, typename Point1, typename Point2, int Dimension>
  243. struct default_strategy
  244. <
  245. ComparePolicy, EqualsPolicy,
  246. Point1, Point2, Dimension,
  247. spherical_tag, spherical_tag
  248. >
  249. {
  250. typedef compare::spherical<ComparePolicy, EqualsPolicy, Dimension> type;
  251. };
  252. template <typename ComparePolicy, typename EqualsPolicy, typename Point1, typename Point2, int Dimension>
  253. struct default_strategy
  254. <
  255. ComparePolicy, EqualsPolicy,
  256. Point1, Point2, Dimension,
  257. spherical_polar_tag, spherical_polar_tag
  258. >
  259. {
  260. typedef compare::spherical<ComparePolicy, EqualsPolicy, Dimension> type;
  261. };
  262. template <typename ComparePolicy, typename EqualsPolicy, typename Point1, typename Point2, int Dimension>
  263. struct default_strategy
  264. <
  265. ComparePolicy, EqualsPolicy,
  266. Point1, Point2, Dimension,
  267. spherical_equatorial_tag, spherical_equatorial_tag
  268. >
  269. {
  270. typedef compare::spherical<ComparePolicy, EqualsPolicy, Dimension> type;
  271. };
  272. template <typename ComparePolicy, typename EqualsPolicy, typename Point1, typename Point2, int Dimension>
  273. struct default_strategy
  274. <
  275. ComparePolicy, EqualsPolicy,
  276. Point1, Point2, Dimension,
  277. geographic_tag, geographic_tag
  278. >
  279. {
  280. typedef compare::spherical<ComparePolicy, EqualsPolicy, Dimension> type;
  281. };
  282. } // namespace services
  283. }} // namespace strategy::compare
  284. }} // namespace boost::geometry
  285. #endif // BOOST_GEOMETRY_STRATEGIES_SPHERICAL_COMPARE_HPP