开发带边约束的2D多边形编辑器：移动顶点时如何维持边关联？

核心逻辑：约束建模 + 增量修正 #

你遇到的问题本质是几何约束满足问题，直白点说就是把用户添加的垂直、长度约束转化为可执行的数学规则，在顶点移动后按规则同步调整关联元素。下面是具体实现步骤：

1. 先梳理约束关系 #

给每个顶点、每条边分配唯一ID，用结构体或字典存储所有约束：

• 垂直约束：记录成对的边ID，例如 {"type": "perpendicular", "edge1": E0, "edge2": E2}
• 长度约束：记录边ID和固定长度值，例如 {"type": "fixed_length", "edge": E1, "length": 5.2}

2. 顶点移动后的约束传播处理 #

当用户拖动单个顶点V到新位置时，按以下流程处理关联约束：

处理垂直约束

举个实际场景：顶点V连接边E1，E1与E2设置了垂直约束。

• 计算移动后E1的向量：vec_e1 = V_new - V_neighbor（V_neighbor是与V共属E1的另一个顶点）
• E2的向量必须满足与vec_e1点积为0：vec_e1.x * vec_e2.x + vec_e1.y * vec_e2.y = 0
• 调整E2的顶点：如果E2同时有长度约束，就保持长度不变的前提下，将向量旋转至与vec_e1垂直的方向；若无长度约束，直接调整其中一个顶点使向量满足垂直条件。

处理长度约束

如果某条边E被设置为固定长度：

• 计算移动后E的当前长度：current_len = sqrt( (V1.x - V2.x)^2 + (V1.y - V2.y)^2 )
• 计算缩放比例：scale = fixed_len / current_len
• 选择一个未被手动移动的顶点作为锚点，将另一个顶点向锚点方向（或反方向）缩放，直到边的长度等于设定的固定值。

3. 多约束冲突的处理 #

如果一条边同时关联多个约束（比如既与E3垂直，又被固定长度，还连接了另一个带约束的顶点），需要迭代修正：

• 每次只处理一个约束，更新对应顶点位置
• 循环遍历所有约束，直到所有约束的误差小于设定阈值（比如1e-6，规避浮点精度问题）
• 若出现矛盾约束（比如要求一条边同时垂直于两条不平行的边），优先保留用户最后添加的约束，或弹出提示告知用户存在冲突。

可参考的底层思路 #

这类问题和CAD软件的约束求解逻辑一致，核心是将几何约束转化为方程组求解：

• 将每个顶点的x、y坐标作为变量
• 垂直约束转化为点积为0的线性方程，长度约束转化为距离等于固定值的非线性方程
• 用高斯消元或最小二乘法求解方程组，得到满足所有约束的顶点坐标

内容的提问来源于stack exchange，提问作者complikator