(完整版)Weiler-Atherton任意多边形裁剪算法.doc

Weiler － Atherton 任意多边形裁剪 Sutherland － Hodgeman 算法解决了裁剪窗口为凸多边形窗口的问题， 但一些应用需要涉及 任意多边形窗口（含凹多边形窗口）的裁剪。 Weiler-Atherton 多边形裁剪算法正是满足这种要 求的算法。 一、 Weiler － Atherton 任意多边形裁剪算法描述： 在算法中，裁剪窗口、被裁剪多边形可以是任意多边形：凸的、凹的（内角大于 180 o）、 甚至是带有内环的（子区），见下图。 裁剪窗口和被裁剪多边形处于完全对等的地位，这里我们称： 1 、被裁剪多边形为主多边形，记为 A； 2 、裁剪窗口为裁剪多边形，记为 B。 主多边形 A 和裁剪多边形 B 的边界将整个二维平面分成了四个区域： 1 、A∩B（交：属于 A 且属于 B）； 2 、A－B（差：属于 A 不属于 B）； 3 、B－A（差：属于 B 不属于 A）； 4 、A∪B(并：属于 A 或属于 B ，取反；即：不属于 A 且 不属于 B)。 内裁剪 即通常意义上的裁剪，取图元位于窗口之内的部 分，结果为 A ∩B。 外裁剪 取图元位于窗口之外的部分，结果为 A－ B 。 观察右图不难发现裁剪结果区域的边界由被裁剪多边形的 部分边界和裁剪窗口的部分边界两部分构成，并且 在交点处边界发生交替 ，即由被裁剪多边形的边界转至裁剪窗口的边界， 或者反之。由于多边形构成一个封闭的区域，所以，如果被裁 剪多边形和裁剪窗口有交点，则 交点成对出现 。这些交点分成两类： 一类称 “入 ”点，即被裁剪多边形由此点进入裁剪窗口，如图中 a、 c、 e； 一类称 “出 ”点，即被裁剪多边形由此点离开裁剪窗口，如图中 b 、 d、 f 。 二、 Weiler － Atherton 任意多边形裁剪算法思想： 假设被裁剪多边形和裁剪窗口的顶点序列都按顺时针方向排列。 当两个多边形相交时， 交点 必然成对出现，其中一个是从被裁剪多边形进入裁剪窗口的交点，称为 “入点 ”，另一个是从被裁 剪多边形离开裁剪窗口的交点，称为 “出点 ”。 算法从被裁剪多边形的一个入点开始， 碰到入点， 沿着被裁剪多边形按顺时针方向搜集顶点 序列； 而当遇到出点时，则沿着裁剪窗口按顺时针方向搜集顶点序列。 按上述规则，如此交替地沿着两个多边形的边线行进， 直到回到起始点。 这时， 收集到的全 部顶点序列就是裁剪所得的一个多边形。 由于可能存在分裂的多边形， 因此算法要考虑： 将搜集过的入点的入点记号删去， 以免重复 跟踪。将所有的入点搜集完毕后算法结束。 三、 Weiler － Atherton 任意多边形裁剪算法步骤： 1 、顺时针输入被裁剪多边形顶点序列Ⅰ放入数组 1 中。 2 、顺时针输入裁剪窗口顶点序列Ⅱ放入数组 2 中。 3 、求出被裁剪多边形和裁剪窗口相交的所有交点，并给每个交点打上 “入 ”、 “出 ”标记。 然后将交点按顺序插入序列Ⅰ得到新的顶点序列Ⅲ，并放入数组 3 中； 同样也将交点按顺序插入序列Ⅱ得到新的顶点序列Ⅳ，放入数组 4 中； 4 、初始化输出数组 Q，令数组 Q 为空。接着从数组 3 中寻找 “入 ”点。 如果 “入 ”点没找到，程序结束。 5 、如果找到 “入 ”点，则将 “入 ”点放入 S 中暂存。 6 、将 “入 ”点录入到输出数组 Q 中。并从数组 3 中将该 “入 ”点的 “入 ”点标记删去。 7 、沿数组 3 顺序取顶点： 如果顶点不是 “出点 ”，则将顶点录入到输出数组 Q 中，流程转第 7 步。 否则，流程转第 8 步。 8 、沿数组 4 顺序取顶点： 如果顶点不是 “入点 ”，则将顶点录入到输出数组 Q 中，流程转第 8 步。 否则，流程转第 9 步。 9 、如果顶点不等于起始点 S，流程转第 6 步，继续跟踪数组 3。 否则，将数组 Q 输出； 流程转第 4 步，寻找可能存在的分裂多边形。 算法在第 4 步：满足 “入 ”点没找到的条件时，算法结束。算法的生成过程见下图所示。 四、 Weiler － Atherton 任意多边形裁剪算法实现： 、算法在实现中，需要用到六个数组，分别用来存放：被裁剪多边形、裁剪窗口、交点数组、插入交点后的被裁剪多边形、插入交点后的裁剪窗口、输出多边形。 、由于交点具有 “入 ”、 “出 ”标记，因此凡与交点有关的数组都要采用结构数组类型： struct point { double x ； double y ； int flag ； } 交点数组，数组 3 ，数组 4； 标记 flag 有三种状态： 0：非交点； 1： “入 ”点； -1 ： “出 ”点。 、求交点时，利用被裁剪多边形的各边去对裁剪窗口的各