凸多边形内点判断需遍历每条有向边，用叉积判断点在边同侧：逆时针多边形要求所有叉积≥0（内部或边界），>0为严格内部；叉积为0时须结合点积验证是否在线段上；需预先校验顶点顺序方向。
用叉积判断点与每条边的相对位置
凸多边形的关键性质是：内部任意点相对于所有边都位于同一侧（比如全在左侧，或全在右侧）。C++ 中最常用、最稳定的做法是遍历每条有向边，用二维叉积 cross 判断点在边的哪一侧。
假设多边形顶点按逆时针顺序存储在 vector<point></point> 中，Point 含 x、y 成员。对边 v[i] → v[(i+1)%n]，计算：
int cross(const Point& a, const Point& b, const Point& p) {
return (b.x - a.x) * (p.y - a.y) - (b.y - a.y) * (p.x - a.x);
}
若所有 cross(v[i], v[(i+1)%n], p) ≥ 0（逆时针多边形），则点在内部或边界上；严格 > 0 表示严格内部。注意：浮点数需用 epsilon 判断符号，整数坐标可直接比较。
边界情况必须显式处理
叉积为 0 表示点落在某条边上——但仅靠一次 cross == 0 不能断定在多边形内，因为可能落在边的延长线上。必须额外检查该点是否在线段范围内。
- 当
cross(a, b, p) == 0时，用点积dot(p - a, p - b)≤ 0 判断p是否在线段ab上（即投影落在区间内） - 若任意一条边满足“共线且在线段上”，点就在边界上，属于“在多边形内”（按常规定义）
- 如果多边形顶点数
n ，直接返回 <code>false—— 凸多边形至少需要 3 个点
别依赖 std::complex 或第三方几何库做基础判断
有人尝试用 std::complex<double></double> 表示点，再调 arg() 算极角排序来判断，这不仅慢（O(n log n)），而且对退化情况（三点共线、零长度边）极易出错。OpenCV 的 pointPolygonTest 虽好，但引入依赖且默认用非凸算法，对凸多边形反而浪费。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
纯叉积法是 O(n)，无额外依赖，数值稳定。只要确保输入顶点是严格凸且有序（可通过预检 cross 符号一致性验证），就足够可靠。
整数坐标下溢出和方向一致性是最大陷阱
用 int 坐标时，叉积公式 (b.x - a.x) * (p.y - a.y) - (b.y - a.y) * (p.x - a.x) 可能溢出。若坐标范围大，改用 long long 计算中间结果。
更隐蔽的问题是顶点顺序错误：若传入的是顺时针序列，却用 >= 0 判断，结果全反。务必在运行时校验方向：
- 计算
sum_cross = 0对所有边累加cross(v[i], v[(i+1)%n], v[(i+2)%n]) - 若
sum_cross > 0，是逆时针；是顺时针；等于 0 意味着退化（不是凸多边形） - 根据实际方向调整符号判断条件，而不是硬编码
方向错了，整个判断就反了，而且很难通过测试用例发现——尤其当测试点全在内部时，正反都会返回 true。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
