c++ - Boost Polygon 的用途是什么？

Question

这是一个关于 Boost Polygon 的问题(不是关于 Boost Geometry)

最近我在尝试使用一些几何多边形结构。自 Boost Geometry (一个不同的库，它也处理多边形)在 Boost 1.58 中不能正常工作我虽然我会尝试 Boost Polygon .

在尝试了解该库但未获得预期结果后，我发现该库仅适用于整数坐标。起初我认为这是输入的限制，但实际上所有内部操作和输出都是整数，这使得所有输出都非常古怪，例如，多边形的交点略微变形(因为顶点的坐标必须是整数)。

引自主页(强调我的):

The coordinate data type is a template parameter of all data types and algorithms provided by the library, and is expected to be integral. Floating point coordinate data types are not supported by the algorithms implemented in the library due to the fact that the (sic) achieving floating point robustness implies a different set of algorithms and generally platform specific assumptions about floating point representations.

起初我虽然这是精确和不精确表示之间的问题所以我试图让它与有理数(Boost Rational)类型一起工作(我想出了一个包装有理数类来编译它)但实际上整数坐标是严格要求(代码中有部分实际加减一个来构造中间结果)。

回到整数，我必须使坐标非常大(以整数表示)以使离散性问题消失。换句话说，我必须来回规范化所有内容。好吧，最后它并没有像我最初想象的那样非常有用或方便。

我是否遗漏了有关使用该库的一些重要信息？

这个库是用来解决“像素化”问题的吗？如果坐标限制为整数，有什么用？

想法是将坐标缩放到非常大的数字，然后稍后将结果重新归一化以用于几何应用吗？

我知道带有 float 的计算几何非常痛苦，但为什么这个库甚至不尝试与精确的有理数兼容？

是否有真实的使用示例？(该手册非常不擅长举例)有人实际使用这个库吗？

奖励问题:这是一个废弃的图书馆吗？

---

这是一个从整数坐标看库行为的例子:

这里是整数多边形的一个例子，如果我用小数字来表示坐标，结果甚至在几何上都不一致。 (这两个多边形是 polygon(-2,0)(2,-2)(6,4)(0,2) 和 polygon(-5,0)(-1, -2)(3,4)(-3,2))

(注意所有结果的偏差。)

但是当我将多边形缩放为具有大整数坐标时，结果会变得更加精确(这两个多边形是 polygon(-200,0)(200,-200)(600,400)(0,200)和 polygon(-500,0)(-100,-200)(300,400)(-300,200)，以上两个的缩放版本。):

---

编辑:我学到了更多的计算几何，显然计算几何的鲁棒性是一个非常困难的问题。其中一种策略是使用整数运算。看起来 Boost.Polygon 采用了这种方法。连续空间中的问题应适当缩放。

Answer 1

它没有被遗弃。

是的，它被(很多)人使用。

它所做的一件事似乎拥有坚实的用户群，例如Voronoi 图和相关算法。你也可以在 SO 上找到很多关于它的问题，所以你可以去看看他们用它做什么。

奖励答案

您甚至可以使用

组合库

#include <boost/geometry/geometries/adapted/boost_polygon.hpp>