Результат пересечения кастомных полигонов в boost::polygon неверный, не могу найти ошибку
Я хочу разобраться в работе с type_traits в c++, открываю пример адаптации кастомных полигонов в boost::polygon, копирую его и пытаюсь доделать. В чем суть, с моими кастомными полигонами результат неверный! Дело видимо в адаптации, вдуг кто-то знает type_traits и boost::polygon, сможет помочь мне разобраться. Оригинал: https://www.boost.org/doc/libs/1_75_0/libs/polygon/doc/gtl_custom_polygon.htm Мой код:
/*
Copyright 2008 Intel Corporation
Use, modification and distribution are 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).
*/
#include <boost/polygon/polygon.hpp>
#include <cassert>
#include <list>
namespace gtl = boost::polygon;
using namespace boost::polygon::operators;
template <typename Polygon>
void test_polygon()
{
typedef typename gtl::polygon_traits<Polygon>::point_type Point;
Point pts[] = {gtl::construct<Point>(6, 0),
gtl::construct<Point>(0, 6),
gtl::construct<Point>(-6, 0),
gtl::construct<Point>(0, -6)};
Polygon poly, poly2;
gtl::set_points(poly, pts, pts+4);
Point pts2[] = {gtl::construct<Point>(4, 0),
gtl::construct<Point>(4, 4),
gtl::construct<Point>(0, 4),
gtl::construct<Point>(0, 0) };
gtl::set_points(poly2, pts2, pts2+4);
std::vector<Polygon> res;
//boost::polygon::polygon_set_data<int> res;
//res += poly;
res.push_back(poly);
res &= poly2;
std::cout << "size = " << res.size() << std::endl;
assert(!res.empty());
//for(auto it = res[0].begin(); it != res[0].end(); ++it)
// std::cout << "Point(" << it->x << ", " << it->y << ")" << std::endl;
assert(gtl::area(poly) == 100.0f);
boost::polygon::point_data<int> a;
}
struct CPoint {
CPoint()=default;
CPoint(boost::polygon::point_data<int> pd) /*Для чего компилятор требует этот конструктр я не
особо понимаю, тоже бы хотел это починить
и убрать его. Если его удалить -> все поломается*/
{
x = pd.x();
y = pd.y();
}
int x;
int y;
};
namespace boost { namespace polygon {
template <>
struct geometry_concept<CPoint> { typedef point_concept type; };
template <>
struct point_traits<CPoint> {
typedef int coordinate_type;
static inline coordinate_type get(const CPoint& point,
orientation_2d orient) {
if(orient == HORIZONTAL)
return point.x;
return point.y;
}
};
template <>
struct point_mutable_traits<CPoint> {
typedef int coordinate_type;
static inline void set(CPoint& point, orientation_2d orient, int value) {
if(orient == HORIZONTAL)
point.x = value;
else
point.y = value;
}
static inline CPoint construct(int x_value, int y_value) {
CPoint retval;
retval.x = x_value;
retval.y = y_value;
return retval;
}
};
}
}
typedef std::list<CPoint> CPolygon;
namespace boost {
namespace polygon {
template <>
struct geometry_concept<CPolygon>{ typedef polygon_concept type; };
template <>
struct polygon_traits<CPolygon> {
typedef int coordinate_type;
typedef CPolygon::const_iterator iterator_type;
typedef CPoint point_type;
static inline iterator_type begin_points(const CPolygon& t) {
return t.begin();
}
static inline iterator_type end_points(const CPolygon& t) {
return t.end();
}
static inline std::size_t size(const CPolygon& t) {
return t.size();
}
static inline winding_direction winding(const CPolygon& t) {
return clockwise_winding;
}
};
template <>
struct polygon_mutable_traits<CPolygon> {
template <typename iT>
static inline CPolygon& set_points(CPolygon& t,
iT input_begin, iT input_end) {
t.clear();
t.insert(t.end(), input_begin, input_end);
return t;
}
};
}
}
int main() {
test_polygon<CPolygon>();
return 0;
}
Проблемы 2: Почему-то для пересечений пришлось добавить странного вида конструктор в CPoint, как от него избавиться? Что я забыл такого в traits, ну и вторая проблема - некорректный результат пересечения 2-х полигонов. Полигоны не пересекаются -> говорит boost::polygon, а это неправда