sql/gis/equals.cc (558 lines of code) (raw):

// Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved. // // This program is free software; you can redistribute it and/or modify it under // the terms of the GNU General Public License as published by the Free Software // Foundation; version 2 of the License. // // This program is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS // FOR A PARTICULAR PURPOSE. See the GNU General Public License for more // details. // // You should have received a copy of the GNU General Public License along with // this program; if not, write to the Free Software Foundation, 51 Franklin // Street, Suite 500, Boston, MA 02110-1335 USA. /// @file /// /// This file implements the equals functor and function. #include "equals_functor.h" #include "relops.h" #include <memory> // std::unique_ptr #include <boost/geometry.hpp> #include "box.h" #include "box_traits.h" #include "dd/types/spatial_reference_system.h" // dd::Spatial_reference_system #include "gc_utils.h" #include "geometries.h" #include "geometries_traits.h" #include "mbr_utils.h" #include "sql_exception_handler.h" // handle_gis_exception #include "template_utils.h" // down_cast namespace bg = boost::geometry; namespace gis { /// Apply an Equals functor to two geometries, which both may be geometry /// collections, and return the boolean result of the functor applied on each /// combination of elements in the collections. /// /// @tparam GC Coordinate specific gometry collection type. /// /// @param f Functor to apply. /// @param g1 First geometry. /// @param g2 Second geometry. /// /// @retval true g1 equals g2. /// @retval false g1 doesn't equal g2. template <typename GC> static bool geometry_collection_apply_equals(const Equals &f, const Geometry *g1, const Geometry *g2) { if (g1->type() == Geometry_type::kGeometrycollection) { if (g2->type() == Geometry_type::kGeometrycollection) { std::unique_ptr<Multipoint> g1_mpt; std::unique_ptr<Multilinestring> g1_mls; std::unique_ptr<Multipolygon> g1_mpy; std::unique_ptr<Multipoint> g2_mpt; std::unique_ptr<Multilinestring> g2_mls; std::unique_ptr<Multipolygon> g2_mpy; split_gc(down_cast<const Geometrycollection *>(g1), &g1_mpt, &g1_mls, &g1_mpy); gc_union(f.semi_major(), f.semi_minor(), &g1_mpt, &g1_mls, &g1_mpy); split_gc(down_cast<const Geometrycollection *>(g2), &g2_mpt, &g2_mls, &g2_mpy); gc_union(f.semi_major(), f.semi_minor(), &g2_mpt, &g2_mls, &g2_mpy); if (g1_mpt->empty() != g2_mpt->empty() || g1_mls->empty() != g2_mls->empty() || g1_mpy->empty() != g2_mpy->empty()) return false; bool mpt_equals; if (g1_mpt->empty() && g2_mpt->empty()) mpt_equals = true; else mpt_equals = f(g1_mpt.get(), g2_mpt.get()); bool mls_equals; if (g1_mls->empty() && g2_mls->empty()) mls_equals = true; else mls_equals = f(g1_mls.get(), g2_mls.get()); bool mpy_equals; if (g1_mpy->empty() && g2_mpy->empty()) mpy_equals = true; else mpy_equals = f(g1_mpy.get(), g2_mpy.get()); return mpt_equals && mls_equals && mpy_equals; } else { return f(g2, g1); } } else { if (g2->type() == Geometry_type::kGeometrycollection) { std::unique_ptr<Multipoint> g2_mpt; std::unique_ptr<Multilinestring> g2_mls; std::unique_ptr<Multipolygon> g2_mpy; split_gc(down_cast<const Geometrycollection *>(g2), &g2_mpt, &g2_mls, &g2_mpy); gc_union(f.semi_major(), f.semi_minor(), &g2_mpt, &g2_mls, &g2_mpy); switch (g1->type()) { case Geometry_type::kPoint: case Geometry_type::kMultipoint: { bool mls_empty = !g2_mls.get() || g2_mls->empty(); bool mpy_empty = !g2_mpy.get() || g2_mpy->empty(); if (!mls_empty || !mpy_empty) return false; return f(g1, g2_mpt.get()); } case Geometry_type::kLinestring: case Geometry_type::kMultilinestring: { bool mpt_empty = !g2_mpt.get() || g2_mpt->empty(); bool mpy_empty = !g2_mpy.get() || g2_mpy->empty(); if (!mpt_empty || !mpy_empty) return false; return f(g1, g2_mls.get()); } case Geometry_type::kPolygon: case Geometry_type::kMultipolygon: { bool mpt_empty = !g2_mpt.get() || g2_mpt->empty(); bool mls_empty = !g2_mls.get() || g2_mls->empty(); if (!mpt_empty || !mls_empty) return false; return f(g1, g2_mpy.get()); } default: // All possible combinations should be covered above. DBUG_ASSERT(false); return false; } } else { return f(g1, g2); } } } Equals::Equals(double semi_major, double semi_minor) : m_semi_major(semi_major), m_semi_minor(semi_minor), m_geographic_ll_aa_strategy( bg::srs::spheroid<double>(semi_major, semi_minor)) {} bool Equals::operator()(const Geometry *g1, const Geometry *g2) const { return apply(*this, g1, g2); } bool Equals::operator()(const Box *b1, const Box *b2) const { DBUG_ASSERT(b1->coordinate_system() == b2->coordinate_system()); switch (b1->coordinate_system()) { case Coordinate_system::kCartesian: return eval(down_cast<const Cartesian_box *>(b1), down_cast<const Cartesian_box *>(b2)); case Coordinate_system::kGeographic: return eval(down_cast<const Geographic_box *>(b1), down_cast<const Geographic_box *>(b2)); } DBUG_ASSERT(false); return false; } bool Equals::eval(const Geometry *g1, const Geometry *g2) const { // All parameter type combinations have been implemented. DBUG_ASSERT(false); throw not_implemented_exception(g1->coordinate_system(), g1->type(), g2->type()); } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_point, *) bool Equals::eval(const Cartesian_point *g1, const Cartesian_point *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_point *g1, const Cartesian_linestring *g2) const { // A point may never be equal to a linestring. return false; } bool Equals::eval(const Cartesian_point *g1, const Cartesian_polygon *g2) const { // A point may never be equal to a polygon. return false; } bool Equals::eval(const Cartesian_point *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_point *g1, const Cartesian_multipoint *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_point *g1, const Cartesian_multilinestring *g2) const { // A point may never be equal to a multilinestring. return false; } bool Equals::eval(const Cartesian_point *g1, const Cartesian_multipolygon *g2) const { // A point may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_linestring, *) bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_point *g2) const { // A linestring may never be equal to a point. return false; } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_linestring *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_polygon *g2) const { // A linestring may never be equal to a polygon. return false; } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_multipoint *g2) const { // A linestring may never be equal to a multipoint. return false; } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_multilinestring *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_linestring *g1, const Cartesian_multipolygon *g2) const { // A linestring may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_polygon, *) bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_point *g2) const { // A polygon may never be equal to a point. return false; } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_linestring *g2) const { // A polygon may never be equal to a linestring. return false; } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_polygon *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_multipoint *g2) const { // A polygon may never be equal to a multipoint. return false; } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_multilinestring *g2) const { // A polygon may never be equal to a multilinestring. return false; } bool Equals::eval(const Cartesian_polygon *g1, const Cartesian_multipolygon *g2) const { return bg::equals(*g1, *g2); } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_geometrycollection, *) bool Equals::eval(const Cartesian_geometrycollection *g1, const Geometry *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_multipoint, *) bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_point *g2) const { return eval(g2, g1); } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_linestring *g2) const { // A multipoint may never be equal to a linestring. return false; } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_polygon *g2) const { // A multipoint may never be equal to a polygon. return false; } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_multipoint *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_multilinestring *g2) const { // A multipoint may never be equal to a multilinestring. return false; } bool Equals::eval(const Cartesian_multipoint *g1, const Cartesian_multipolygon *g2) const { // A multipoint may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_multilinestring, *) bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_point *g2) const { // A multilinestring may never be equal to a point. return false; } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_linestring *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_polygon *g2) const { // A multilinestring may never be equal to a polygon. return false; } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_multipoint *g2) const { // A multilinestring may never be equal to a multipoint. return false; } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_multilinestring *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_multilinestring *g1, const Cartesian_multipolygon *g2) const { // A multilinestring may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Cartesian_multipolygon, *) bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_point *g2) const { // A multipolygon may never be equal to a point. return false; } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_linestring *g2) const { // A multipolygon may never be equal to a linestring. return false; } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_polygon *g2) const { return bg::equals(*g1, *g2); } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_geometrycollection *g2) const { return geometry_collection_apply_equals<Cartesian_geometrycollection>(*this, g1, g2); } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_multipoint *g2) const { // A multipolygon may never be equal to a multipoint. return false; } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_multilinestring *g2) const { // A multipolygon may never be equal to a multilinestring. return false; } bool Equals::eval(const Cartesian_multipolygon *g1, const Cartesian_multipolygon *g2) const { return bg::equals(*g1, *g2); } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_point, *) bool Equals::eval(const Geographic_point *g1, const Geographic_point *g2) const { // Default strategy is OK. P/P computations do not depend on shape of // ellipsoid. return bg::equals(*g1, *g2); } bool Equals::eval(const Geographic_point *g1, const Geographic_linestring *g2) const { // A point may never be equal to a linestring. return false; } bool Equals::eval(const Geographic_point *g1, const Geographic_polygon *g2) const { // A point may never be equal to a polygon. return false; } bool Equals::eval(const Geographic_point *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_point *g1, const Geographic_multipoint *g2) const { // Default strategy is OK. P/P computations do not depend on shape of // ellipsoid. return bg::equals(*g1, *g2); } bool Equals::eval(const Geographic_point *g1, const Geographic_multilinestring *g2) const { // A point may never be equal to a multilinestring. return false; } bool Equals::eval(const Geographic_point *g1, const Geographic_multipolygon *g2) const { // A point may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_linestring, *) bool Equals::eval(const Geographic_linestring *g1, const Geographic_point *g2) const { // A linestring may never be equal to a point. return false; } bool Equals::eval(const Geographic_linestring *g1, const Geographic_linestring *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_linestring *g1, const Geographic_polygon *g2) const { // A linestring may never be equal to a polygon. return false; } bool Equals::eval(const Geographic_linestring *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_linestring *g1, const Geographic_multipoint *g2) const { // A linestring may never be equal to a multipoint. return false; } bool Equals::eval(const Geographic_linestring *g1, const Geographic_multilinestring *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_linestring *g1, const Geographic_multipolygon *g2) const { // A linestring may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_polygon, *) bool Equals::eval(const Geographic_polygon *g1, const Geographic_point *g2) const { // A polygon may never be equal to a point. return false; } bool Equals::eval(const Geographic_polygon *g1, const Geographic_linestring *g2) const { // A polygon may never be equal to a linestring. return false; } bool Equals::eval(const Geographic_polygon *g1, const Geographic_polygon *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_polygon *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_polygon *g1, const Geographic_multipoint *g2) const { // A polygon may never be equal to a multipoint. return false; } bool Equals::eval(const Geographic_polygon *g1, const Geographic_multilinestring *g2) const { // A polygon may never be equal to a multilinestring. return false; } bool Equals::eval(const Geographic_polygon *g1, const Geographic_multipolygon *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_geometrycollection, *) bool Equals::eval(const Geographic_geometrycollection *g1, const Geometry *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_multipoint, *) bool Equals::eval(const Geographic_multipoint *g1, const Geographic_point *g2) const { return eval(g2, g1); } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_linestring *g2) const { // A multipoint may never be equal to a linestring. return false; } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_polygon *g2) const { // A multipoint may never be equal to a polygon. return false; } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_multipoint *g2) const { // Default strategy is OK. P/P computations do not depend on shape of // ellipsoid. return bg::equals(*g1, *g2); } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_multilinestring *g2) const { // A multipoint may never be equal to a multilinestring. return false; } bool Equals::eval(const Geographic_multipoint *g1, const Geographic_multipolygon *g2) const { // A multipoint may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_multilinestring, *) bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_point *g2) const { // A multilinestring may never be equal to a point. return false; } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_linestring *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_polygon *g2) const { // A multilinestring may never be equal to a polygon. return false; } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_multipoint *g2) const { // A multilinestring may never be equal to a multipoint. return false; } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_multilinestring *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_multilinestring *g1, const Geographic_multipolygon *g2) const { // A multilinestring may never be equal to a multipolygon. return false; } ////////////////////////////////////////////////////////////////////////////// // equals(Geographic_multipolygon, *) bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_point *g2) const { // A multipolygon may never be equal to a point. return false; } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_linestring *g2) const { // A multipolygon may never be equal to a linestring. return false; } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_polygon *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_geometrycollection *g2) const { return geometry_collection_apply_equals<Geographic_geometrycollection>( *this, g1, g2); } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_multipoint *g2) const { // A multipolygon may never be equal to a multipoint. return false; } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_multilinestring *g2) const { // A multipolygon may never be equal to a multilinestring. return false; } bool Equals::eval(const Geographic_multipolygon *g1, const Geographic_multipolygon *g2) const { return bg::equals(*g1, *g2, m_geographic_ll_aa_strategy); } ////////////////////////////////////////////////////////////////////////////// // equals(Box, Box) bool Equals::eval(const Cartesian_box *b1, const Cartesian_box *b2) const { return bg::equals(*b1, *b2); } bool Equals::eval(const Geographic_box *b1, const Geographic_box *b2) const { return bg::equals(*b1, *b2); } ////////////////////////////////////////////////////////////////////////////// bool equals(const dd::Spatial_reference_system *srs, const Geometry *g1, const Geometry *g2, const char *func_name, bool *equals, bool *null) noexcept { try { DBUG_ASSERT(g1->coordinate_system() == g2->coordinate_system()); DBUG_ASSERT(srs == nullptr || ((srs->is_cartesian() && g1->coordinate_system() == Coordinate_system::kCartesian) || (srs->is_geographic() && g1->coordinate_system() == Coordinate_system::kGeographic))); *null = false; if (g1->is_empty()) { *equals = g2->is_empty(); return false; } if (g2->is_empty()) { *equals = false; return false; } Equals equals_func(srs ? srs->semi_major_axis() : 0.0, srs ? srs->semi_minor_axis() : 0.0); *equals = equals_func(g1, g2); } catch (...) { handle_gis_exception(func_name); return true; } return false; } bool mbr_equals(const dd::Spatial_reference_system *srs, const Geometry *g1, const Geometry *g2, const char *func_name, bool *equals, bool *null) noexcept { try { DBUG_ASSERT(g1->coordinate_system() == g2->coordinate_system()); DBUG_ASSERT(srs == nullptr || ((srs->is_cartesian() && g1->coordinate_system() == Coordinate_system::kCartesian) || (srs->is_geographic() && g1->coordinate_system() == Coordinate_system::kGeographic))); *null = false; if (g1->is_empty()) { *equals = g2->is_empty(); return false; } if (g2->is_empty()) { *equals = false; return false; } Equals equals_func(srs ? srs->semi_major_axis() : 0.0, srs ? srs->semi_minor_axis() : 0.0); switch (g1->coordinate_system()) { case Coordinate_system::kCartesian: { Cartesian_box mbr1; box_envelope(g1, srs, &mbr1); Cartesian_box mbr2; box_envelope(g2, srs, &mbr2); *equals = equals_func(&mbr1, &mbr2); break; } case Coordinate_system::kGeographic: { Geographic_box mbr1; box_envelope(g1, srs, &mbr1); Geographic_box mbr2; box_envelope(g2, srs, &mbr2); *equals = equals_func(&mbr1, &mbr2); break; } } } catch (...) { handle_gis_exception(func_name); return true; } return false; } } // namespace gis