123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395 |
- // Boost.Geometry (aka GGL, Generic Geometry Library)
- // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
- // Copyright (c) 2008-2012 Bruno Lalande, Paris, France.
- // Copyright (c) 2009-2012 Mateusz Loskot, London, UK.
- // Copyright (c) 2017 Adam Wulkiewicz, Lodz, Poland.
- // This file was modified by Oracle on 2017-2020.
- // Modifications copyright (c) 2017-2020 Oracle and/or its affiliates.
- // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
- // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library
- // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands.
- // Use, modification and distribution is subject to the Boost Software License,
- // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #ifndef BOOST_GEOMETRY_ALGORITHMS_AREA_HPP
- #define BOOST_GEOMETRY_ALGORITHMS_AREA_HPP
- #include <boost/concept_check.hpp>
- #include <boost/core/ignore_unused.hpp>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- #include <boost/range/size.hpp>
- #include <boost/range/value_type.hpp>
- #include <boost/variant/apply_visitor.hpp>
- #include <boost/variant/static_visitor.hpp>
- #include <boost/variant/variant_fwd.hpp>
- #include <boost/geometry/core/closure.hpp>
- #include <boost/geometry/core/exterior_ring.hpp>
- #include <boost/geometry/core/interior_rings.hpp>
- #include <boost/geometry/core/point_order.hpp>
- #include <boost/geometry/core/point_type.hpp>
- #include <boost/geometry/core/ring_type.hpp>
- #include <boost/geometry/core/tags.hpp>
- #include <boost/geometry/geometries/concepts/check.hpp>
- #include <boost/geometry/algorithms/detail/calculate_null.hpp>
- #include <boost/geometry/algorithms/detail/calculate_sum.hpp>
- // #include <boost/geometry/algorithms/detail/throw_on_empty_input.hpp>
- #include <boost/geometry/algorithms/detail/multi_sum.hpp>
- #include <boost/geometry/algorithms/area_result.hpp>
- #include <boost/geometry/algorithms/default_area_result.hpp>
- #include <boost/geometry/strategies/area/services.hpp>
- #include <boost/geometry/strategies/default_strategy.hpp>
- #include <boost/geometry/strategy/area.hpp>
- #include <boost/geometry/strategies/concepts/area_concept.hpp>
- #include <boost/geometry/util/math.hpp>
- #include <boost/geometry/util/order_as_direction.hpp>
- #include <boost/geometry/views/closeable_view.hpp>
- #include <boost/geometry/views/reversible_view.hpp>
- namespace boost { namespace geometry
- {
- #ifndef DOXYGEN_NO_DETAIL
- namespace detail { namespace area
- {
- struct box_area
- {
- template <typename Box, typename Strategy>
- static inline typename coordinate_type<Box>::type
- apply(Box const& box, Strategy const&)
- {
- // Currently only works for 2D Cartesian boxes
- assert_dimension<Box, 2>();
- return (get<max_corner, 0>(box) - get<min_corner, 0>(box))
- * (get<max_corner, 1>(box) - get<min_corner, 1>(box));
- }
- };
- template
- <
- iterate_direction Direction,
- closure_selector Closure
- >
- struct ring_area
- {
- template <typename Ring, typename Strategies>
- static inline typename area_result<Ring, Strategies>::type
- apply(Ring const& ring, Strategies const& strategies)
- {
- using strategy_type = decltype(strategies.area(ring));
- BOOST_CONCEPT_ASSERT( (geometry::concepts::AreaStrategy<Ring, strategy_type>) );
- assert_dimension<Ring, 2>();
- // Ignore warning (because using static method sometimes) on strategy
- boost::ignore_unused(strategies);
- // An open ring has at least three points,
- // A closed ring has at least four points,
- // if not, there is no (zero) area
- if (boost::size(ring)
- < core_detail::closure::minimum_ring_size<Closure>::value)
- {
- return typename area_result<Ring, Strategies>::type();
- }
- typedef typename reversible_view<Ring const, Direction>::type rview_type;
- typedef typename closeable_view
- <
- rview_type const, Closure
- >::type view_type;
- typedef typename boost::range_iterator<view_type const>::type iterator_type;
- rview_type rview(ring);
- view_type view(rview);
- iterator_type it = boost::begin(view);
- iterator_type end = boost::end(view);
- strategy_type strategy = strategies.area(ring);
- typename strategy_type::template state<Ring> state;
- for (iterator_type previous = it++;
- it != end;
- ++previous, ++it)
- {
- strategy.apply(*previous, *it, state);
- }
- return strategy.result(state);
- }
- };
- }} // namespace detail::area
- #endif // DOXYGEN_NO_DETAIL
- #ifndef DOXYGEN_NO_DISPATCH
- namespace dispatch
- {
- template
- <
- typename Geometry,
- typename Tag = typename tag<Geometry>::type
- >
- struct area : detail::calculate_null
- {
- template <typename Strategy>
- static inline typename area_result<Geometry, Strategy>::type
- apply(Geometry const& geometry, Strategy const& strategy)
- {
- return calculate_null::apply
- <
- typename area_result<Geometry, Strategy>::type
- >(geometry, strategy);
- }
- };
- template <typename Geometry>
- struct area<Geometry, box_tag> : detail::area::box_area
- {};
- template <typename Ring>
- struct area<Ring, ring_tag>
- : detail::area::ring_area
- <
- order_as_direction<geometry::point_order<Ring>::value>::value,
- geometry::closure<Ring>::value
- >
- {};
- template <typename Polygon>
- struct area<Polygon, polygon_tag> : detail::calculate_polygon_sum
- {
- template <typename Strategy>
- static inline typename area_result<Polygon, Strategy>::type
- apply(Polygon const& polygon, Strategy const& strategy)
- {
- return calculate_polygon_sum::apply<
- typename area_result<Polygon, Strategy>::type,
- detail::area::ring_area
- <
- order_as_direction<geometry::point_order<Polygon>::value>::value,
- geometry::closure<Polygon>::value
- >
- >(polygon, strategy);
- }
- };
- template <typename MultiGeometry>
- struct area<MultiGeometry, multi_polygon_tag> : detail::multi_sum
- {
- template <typename Strategy>
- static inline typename area_result<MultiGeometry, Strategy>::type
- apply(MultiGeometry const& multi, Strategy const& strategy)
- {
- return multi_sum::apply
- <
- typename area_result<MultiGeometry, Strategy>::type,
- area<typename boost::range_value<MultiGeometry>::type>
- >(multi, strategy);
- }
- };
- } // namespace dispatch
- #endif // DOXYGEN_NO_DISPATCH
- namespace resolve_strategy
- {
- template
- <
- typename Strategy,
- bool IsUmbrella = strategies::detail::is_umbrella_strategy<Strategy>::value
- >
- struct area
- {
- template <typename Geometry>
- static inline typename area_result<Geometry, Strategy>::type
- apply(Geometry const& geometry, Strategy const& strategy)
- {
- return dispatch::area<Geometry>::apply(geometry, strategy);
- }
- };
- template <typename Strategy>
- struct area<Strategy, false>
- {
- template <typename Geometry>
- static auto apply(Geometry const& geometry, Strategy const& strategy)
- {
- using strategies::area::services::strategy_converter;
- return dispatch::area
- <
- Geometry
- >::apply(geometry, strategy_converter<Strategy>::get(strategy));
- }
- };
- template <>
- struct area<default_strategy, false>
- {
- template <typename Geometry>
- static inline typename area_result<Geometry>::type
- apply(Geometry const& geometry, default_strategy)
- {
- typedef typename strategies::area::services::default_strategy
- <
- Geometry
- >::type strategy_type;
- return dispatch::area<Geometry>::apply(geometry, strategy_type());
- }
- };
- } // namespace resolve_strategy
- namespace resolve_variant
- {
- template <typename Geometry>
- struct area
- {
- template <typename Strategy>
- static inline typename area_result<Geometry, Strategy>::type
- apply(Geometry const& geometry, Strategy const& strategy)
- {
- return resolve_strategy::area<Strategy>::apply(geometry, strategy);
- }
- };
- template <BOOST_VARIANT_ENUM_PARAMS(typename T)>
- struct area<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> >
- {
- typedef boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> variant_type;
- template <typename Strategy>
- struct visitor
- : boost::static_visitor<typename area_result<variant_type, Strategy>::type>
- {
- Strategy const& m_strategy;
- visitor(Strategy const& strategy): m_strategy(strategy) {}
- template <typename Geometry>
- typename area_result<variant_type, Strategy>::type
- operator()(Geometry const& geometry) const
- {
- return area<Geometry>::apply(geometry, m_strategy);
- }
- };
- template <typename Strategy>
- static inline typename area_result<variant_type, Strategy>::type
- apply(variant_type const& geometry,
- Strategy const& strategy)
- {
- return boost::apply_visitor(visitor<Strategy>(strategy), geometry);
- }
- };
- } // namespace resolve_variant
- /*!
- \brief \brief_calc{area}
- \ingroup area
- \details \details_calc{area}. \details_default_strategy
- The area algorithm calculates the surface area of all geometries having a surface, namely
- box, polygon, ring, multipolygon. The units are the square of the units used for the points
- defining the surface. If subject geometry is defined in meters, then area is calculated
- in square meters.
- The area calculation can be done in all three common coordinate systems, Cartesian, Spherical
- and Geographic as well.
- \tparam Geometry \tparam_geometry
- \param geometry \param_geometry
- \return \return_calc{area}
- \qbk{[include reference/algorithms/area.qbk]}
- \qbk{[heading Examples]}
- \qbk{[area] [area_output]}
- */
- template <typename Geometry>
- inline typename area_result<Geometry>::type
- area(Geometry const& geometry)
- {
- concepts::check<Geometry const>();
- // detail::throw_on_empty_input(geometry);
- return resolve_variant::area<Geometry>::apply(geometry, default_strategy());
- }
- /*!
- \brief \brief_calc{area} \brief_strategy
- \ingroup area
- \details \details_calc{area} \brief_strategy. \details_strategy_reasons
- \tparam Geometry \tparam_geometry
- \tparam Strategy \tparam_strategy{Area}
- \param geometry \param_geometry
- \param strategy \param_strategy{area}
- \return \return_calc{area}
- \qbk{distinguish,with strategy}
- \qbk{
- [include reference/algorithms/area.qbk]
- [heading Available Strategies]
- \* [link geometry.reference.strategies.strategy_area_cartesian Cartesian]
- \* [link geometry.reference.strategies.strategy_area_spherical Spherical]
- \* [link geometry.reference.strategies.strategy_area_geographic Geographic]
- [heading Example]
- [area_with_strategy]
- [area_with_strategy_output]
- }
- */
- template <typename Geometry, typename Strategy>
- inline typename area_result<Geometry, Strategy>::type
- area(Geometry const& geometry, Strategy const& strategy)
- {
- concepts::check<Geometry const>();
- // detail::throw_on_empty_input(geometry);
- return resolve_variant::area<Geometry>::apply(geometry, strategy);
- }
- }} // namespace boost::geometry
- #endif // BOOST_GEOMETRY_ALGORITHMS_AREA_HPP
|