如何高效实现满足特定规则的两条线段相交判断？

我完全懂你现在的困境——既要排除掉“共享单个顶点”“同斜率但完全不接触”的误判，又要保留“线段重叠就算相交”的规则，确实没法靠简单修改跨立实验的符号搞定。咱们一步步拆解问题，找到完美的解决方案。

先再明确一遍你要的核心判定规则：

• ❌ 仅仅共享一个端点的两条线段，不算相交
• ✅ 只要有任意重叠部分（哪怕是一小段），就算相交
• ❌ 只是斜率相同但完全不接触的线段，不算相交

原方案的局限性回顾 #

你之前写的函数是基于跨立实验（用叉积判断线段是否互相跨越对方所在直线），但两种返回逻辑都有明显缺陷：

• 用 <= 时，会把“共线但不接触”“共享单个顶点”的情况误判为相交
• 用 < 时，又会把“完全重叠/部分重叠”的线段误判为不相交

要同时满足所有规则，我们需要在严格跨立判断的基础上，额外补充「共线段重叠检测」，并且要精准排除仅共享顶点的情况。

优化后的完整实现 #

function doLineSegmentsIntersect(a1X, a1Y, a2X, a2Y, b1X, b1Y, b2X, b2Y) {
  const dxA = a2X - a1X;
  const dyA = a2Y - a1Y;
  const dxB = b2X - b1X;
  const dyB = b2Y - b1Y;

  // 计算跨立实验所需的叉积值
  const p0 = dyB * (b2X - a1X) - dxB * (b2Y - a1Y);
  const p1 = dyB * (b2X - a2X) - dxB * (b2Y - a2Y);
  const p2 = dyA * (a2X - b1X) - dxA * (a2Y - b1Y);
  const p3 = dyA * (a2X - b2X) - dxA * (a2Y - b2Y);

  // 情况1：严格跨立（真正交叉的线段，排除端点接触）
  if ((p0 * p1 < 0) && (p2 * p3 < 0)) {
    return true;
  }

  // 情况2：判断是否共线（方向向量叉积为0则共线）
  const isCollinear = (dyA * dxB - dxA * dyB) === 0;
  if (!isCollinear) {
    return false;
  }

  // 辅助函数：判断点是否在线段的内部（严格排除端点）
  function isPointInSegmentInterior(pX, pY, segStartX, segStartY, segEndX, segEndY) {
    // 先判断点是否在线段的包围盒范围内
    const xMin = Math.min(segStartX, segEndX);
    const xMax = Math.max(segStartX, segEndX);
    const yMin = Math.min(segStartY, segEndY);
    const yMax = Math.max(segStartY, segEndY);

    // 共线情况下，只要坐标严格在包围盒内部，就说明点在线段内部
    return (pX > xMin && pX < xMax) || (pY > yMin && pY < yMax);
  }

  // 检查任意一个线段的端点是否落在另一个线段的内部
  const a1InB = isPointInSegmentInterior(a1X, a1Y, b1X, b1Y, b2X, b2Y);
  const a2InB = isPointInSegmentInterior(a2X, a2Y, b1X, b1Y, b2X, b2Y);
  const b1InA = isPointInSegmentInterior(b1X, b1Y, a1X, a1Y, a2X, a2Y);
  const b2InA = isPointInSegmentInterior(b2X, b2Y, a1X, a1Y, a2X, a2Y);

  // 只要有一个端点在对方线段内部，说明存在重叠
  return a1InB || a2InB || b1InA || b2InA;
}

逻辑详解 #

1. 严格跨立判断：用 < 替代 <=，确保只有真正交叉（不接触端点）的线段会被判定为相交，直接排除了“共享单个顶点”的误判。
2. 共线检测：通过两条线段方向向量的叉积是否为0，判断它们是否在同一直线上。如果不共线且不满足跨立条件，直接返回false，排除了“仅斜率相同但不接触”的情况。
3. 重叠判定：对于共线的线段，检查任意一个端点是否落在对方线段的内部（严格排除端点）。如果是，说明两条线段存在重叠部分，判定为相交；如果只是端点对齐（共享顶点），则不会触发这个条件，完全符合你的需求。

这样调整后，就能同时满足你提出的所有规则啦！

备注：内容来源于stack exchange，提问作者Ryan Peschel