C++如何判断两个不规则多边形是否发生几何相交 (SAT 算法)
SAT算法通过检测两凸多边形所有边法向量轴的投影区间是否重叠来判断相交。非凸多边形需先分解为凸多边形才能应用。实现中要注意浮点容差比较、退化边过滤及轴去重，避免错误判定。
SAT算法实战：判断凸多边形相交的黄金法则
判断两个不规则多边形是否发生几何相交，这是计算机图形学里一个基础但容易踩坑的问题。先说几个核心判断：SAT（分离轴定理）是解决这个问题的利器，但它不是万能的，你得知道它的边界在哪里。
两个凸多边形用SAT判断相交，只需检查边法向量轴
对两个凸多边形A和B来说，分离轴其实就是它们所有边的法向量方向——这里必须强调，不是边本身，也不是任意随机方向。每条边 e = v1 - v0 对应一个候选轴 glm::vec2(-e.y, e.x)（2D场景）或者归一化后的垂直向量（3D场景）。A有n条边、B有m条边，所以最多检查 n + m 条轴，不是 n×m。
实践中最容易踩的坑有两个。第一，直接把“边向量”当成轴来用，或者漏掉某个多边形的一条边；第二，没做去重处理——平行边产生的法向量可能完全相同或反向，glm::all(glm::epsilonEqual(a, b, 1e-6f)) 或 glm::all(glm::epsilonEqual(a, -b, 1e-6f)) 必须检查到位。
几点经验之谈：2D场景下用 glm::vec2 就足够了，不要升维引入冗余计算；轴完全不需要归一化——投影区间只依赖点积的相对大小，归一化纯属浪费计算资源；如果某条边的长度 ，直接跳过它的法向量计算，防止除零或NaN传播。
非凸多边形不能直接套SAT，必须先分解
SAT只对凸形状有效，这一点必须刻在脑子里。遇到凹多边形或带孔多边形，硬上SAT会漏判——举个典型例子：两个“U”形多边形开口相对，投影在所有边法向上都重叠，但实际它们根本就不相交。
真实工程场景中，建模导出的多边形常含凹点。有人试图用“顶点凹凸性检测+局部修正”来绕开这个问题，但从实践来看，稳定性很差，不推荐。稳妥的做法是用耳切法（ear clipping）或单调链剖分，先把原始多边形拆成若干个凸多边形，然后再两两做SAT。
- 如果只是粗筛阶段，可以先用AABB包围盒快速排除：
!aabb_intersect(aabb_a, aabb_b)直接返回false - 推荐轻量库如
poly2tri，或者手写耳切——但要注意处理共线顶点和极小面积三角形 - 当拆出的凸片数量爆炸时（比如百顶点多边形），可以考虑降级为边-边穷举：对所有边对调用
segment_intersect()
投影区间计算必须覆盖全部顶点，且带浮点容差
在每个轴上，必须对多边形所有顶点计算 glm::dot(p, axis)，取min和max得到 [min, max]。一个常见的低级错误：只投影前三个点，或者误以为三角形就只投三个点，忽略了其他顶点——多边形顶点数是不固定的。
区间比较这条红线绝对不能碰：不能用 proj_a_max < proj_b_min 这种裸比较，浮点误差会让本该重叠的区间被判为分离。正确的写法是：
if (proj_a_max + 1e-6f < proj_b_min || proj_b_max + 1e-6f < proj_a_min) {
return false; // 分离
}
- epsilon值选
1e-6f就足够了，比FLT_EPSILON（约1e-7）更鲁棒，因为累积误差往往更大 - 不要用
std::minmax_element——它对 size - 投影值本身不需要 clamp 或 abs，点积可正可负，min/max自然能捕获范围
退化边与共线顶点必须前置过滤，不能等crash再处理
真实输入数据经常带着“惊喜”：三点近似共线的扁平三角形、重复顶点、或者导出时精度丢失导致的微小边长。这些情况会直接让 glm::normalize() 返回 vec3(0,0,0)，后续点积全变成NaN，整个检测瞬间失效。
防护措施必须在SAT主循环之前就到位：对每条边，先算长度；对每个面（3D场景），先算叉积模长。面积 就视为退化，跳过对应轴或整个多边形。
- 2D边长检查：
glm::length(v1 - v0) < 1e-6f - 3D面积检查：
0.5f * glm::length(glm::cross(v1-v0, v2-v0)) < 1e-6f - 退化多边形可以降级为线段集：提取所有非退化边，再做O(n²)边相交检测
还有一个经常被忽略的细节：共面但非共线的多边形，在3D空间中仍然要走3D SAT流程——哪怕z坐标全为0。强行降维到2D只适用于明确已知共面且没有z噪声的场景，否则会埋下隐患。
Postman是一套面向API全生命周期的开发与测试平台，可在Mac上发送和调试多种协议请求，管理集合、环境及认证信息，并完成脚本测试、模拟服务、监控、文档发布和团队协作。它适合开发、测试及运维人员使用，提供个人免费方案。
Docker Desktop 是 Docker 官方为 Mac 提供的容器开发环境，集成 Docker Engine、命令行工具、Compose、Build、Kubernetes 与图形化管理界面。
Android Studio 是 Google 面向安卓应用开发提供的官方集成开发环境，基于 IntelliJ IDEA 构建。它整合智能代码编辑、Gradle 构建、界面预览、设备模拟、性能分析、调试测试及 APK 分析等工具。
Xcode 是苹果面向 Mac 提供的官方集成开发环境，将代码编辑、项目构建、SwiftUI 实时预览、设备模拟、自动化测试、断点调试、性能分析和应用分发整合在同一套工作流中，适合开发与维护 iPhone、iPad、Mac、Apple Wa
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
PhpStorm 是 JetBrains 推出的专业 PHP 集成开发环境，可在 Mac 上完成代码编写、智能检查、重构、调试、测试和数据库管理。它支持主流 PHP 框架、Composer、Git、Docker 与远程解释器。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
Visual Studio Code 是微软提供的免费代码编辑器，支持 macOS，并为 Intel 与 Apple 芯片 Mac 提供适配版本。软件集代码编辑、调试、Git 源代码管理、集成终端和扩展市场于一体。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Pro Tools 是 Avid 推出的专业数字音频工作站，覆盖多轨录音、无损剪辑、MIDI 编曲、插件处理、自动化混音及声音与画面同步等工作。它拥有 Intro、Artist、Studio 和 Ultimate 等方案。
PixPix 是面向品牌、卖家和内容团队的在线 AI 图片视频创作平台，提供图视频 Agent、无限画布、图片生成、视频生成、自然语言编辑及商品套图、产品精修和带货视频等电商工具。
Postman 是面向 API 全生命周期的开发与协作平台。Windows 桌面版可用于构建和发送 HTTP、GraphQL、gRPC、WebSocket、MQTT 等请求，并提供环境变量、集合、脚本测试、模拟服务、监控、文档及团队工作区等
Docker Desktop 为 Windows 开发者提供集成式容器环境，内置 Docker Engine、命令行工具、Compose、Build 与 Kubernetes 等组件，可在本机完成镜像构建、容器运行、日志查看和资源管理。
Android Studio 是 Google 面向 Android 应用开发提供的官方集成开发环境，以 IntelliJ IDEA 为基础，集成智能代码编辑、Gradle 构建、设备模拟、界面预览、调试测试及性能分析工具，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
Visual Studio Code 是微软推出的免费代码编辑器，Windows 版集成智能补全、代码导航、调试、终端和版本控制，并可通过扩展添加语言、格式化及远程开发能力。它启动较快、配置灵活，
REAPER 是 Cockos 推出的数字音频工作站，适用于录音、MIDI 编曲、音频编辑、混音、母带制作及声音设计。软件安装包小巧，支持多轨录制、灵活路由、自动化、第三方插件和脚本扩展，并提供完整功能的 60 天免费评估期。
Adobe Audition 是面向播客、影视后期、广播与音乐制作的专业音频工作站，提供波形编辑、多轨混音、频谱分析、录音、降噪修复和效果处理等功能。Windows 版通过 Adobe Creative Cloud 安装和管理，
Pro Tools 是 Avid 推出的专业数字音频工作站，提供多轨录音、音频剪辑、MIDI编曲、插件处理、自动化混音及影视声音制作能力。它适合音乐人、录音师、制作人和音频后期团队使用，并提供免费入门版、订阅方案及永久授权选择。