std::priority_queue默认为最大堆，A*需显式构造最小堆，正确比较器应返回a.f > b.f；启发式函数须可采纳，四连通用曼哈顿距离，八连通需匹配斜移代价；须用best_g数组查重，因priority_queue不支持decrease-key。
std::priority_queue 必须显式配最小堆，否则 A* 完全反向
默认 std::priority_queue 是最大堆，直接 push 节点后每次 top() 拿到的是 f 最大的节点——搜索会优先往最差方向跑，轻则绕路，重则卡死在局部高 f 区域。
正确做法是提供自定义比较器，且逻辑必须写成 a.f > b.f（注意不是 ）：
struct Compare {
bool operator()(const Node& a, const Node& b) {
return a.f > b.f; // 小的 f 排前面 → 实际构建最小堆
}
};
std::priority_queue<Node, std::vector<Node>, Compare> open_list;常见错误：
- 写成
return a.f → 变成最大堆，行为失控 - 用
std::greater<node></node>却没重载operator>→ 编译失败或未定义行为 - C++20 用 lambda 时忘记传
decltype(cmp)给模板参数 → 链接错误
启发式函数必须满足可采纳性，否则最优性崩塌
曼哈顿距离在四连通网格中安全；八连通下若斜移代价为 1.414，却仍用曼哈顿距离，就会高估部分路径的剩余代价，破坏可采纳性——A* 退化为贪心搜索，路径明显绕远甚至找不到解。
立即学习“C++免费学习笔记（深入）”；
按移动模型选 heuristic：
- 四方向（上下左右）：用
abs(dx) + abs(dy) - 八方向（含对角线），斜移代价 = 1.414：用
max(abs(dx), abs(dy)) * 1.414或带开方的欧氏距离sqrt(dx*dx + dy*dy) - 禁止使用
dx*dx + dy*dy（平方欧氏）：它不满足三角不等式，会导致 h 过度乐观 - 禁止返回负值或 NaN：检查输入坐标是否越界，避免
abs前未校验
不能只靠 priority_queue 查重，必须维护 best_g 数组
std::priority_queue 不支持修改已有节点的 f 值，也没有 decrease-key。如果邻居节点已入队但新算出更小的 g，你无法原地更新——硬改会破坏堆序，后续 pop() 顺序错乱。
实用方案是「允许重复入队 + 弹出时过滤」：
- 用二维数组
best_g[y][x]记录当前已知最小g值（初始化为FLT_MAX） - 生成邻居时，先算
tentative_g = current.g + cost - 仅当
tentative_g 才更新 <code>best_g并 push 新节点 - 每次
open_list.top()后，立刻检查current.g != best_g[current.y][current.x]→ 若不等，说明已有更优版本，continue
这比手写可更新堆简单可靠，中小地图内存开销可控，且避免了漏掉更优路径的风险。
get_neighbors 必须预筛位移，不能靠 is_walkable 补救
直接循环 {x±1,y}, {x,y±1} 再调用 is_walkable()，看似简洁，实则隐患多：边界检查滞后、对角线规则不统一、数组索引易反（尤其 grid[y][x] 习惯下 y 在前）。
推荐做法：
- 预先定义位移表：
const int dir8[8][2] = {{-1,-1},{-1,0},..., {0,-1}}; - 遍历每个
dir，立即计算nx = x + dir[i][0],ny = y + dir[i][1] - 紧接着做两层检查：
!is_out_of_bounds(ny, nx)和grid[ny][nx] != WALL（注意顺序：先防越界，再查障碍） - 若支持八连通，斜向移动代价必须设为 1.414（或整数 14），否则算法会“嫌弃”对角线而绕行
这个细节不处理，你会看到路径在空旷区域也坚持横平竖直，明明可以切角却非要拐两个直角。
