現(xiàn)RTS尋路三合一:A*、JPS與Wall-tracing實(shí)戰(zhàn)解析)
簡介尋路算法是游戲開發(fā)中的核心基礎(chǔ)尤其在策略類游戲中如何在復(fù)雜地圖上實(shí)現(xiàn)高效、穩(wěn)定的路徑規(guī)劃直接關(guān)系到玩家的操作體驗(yàn)。在經(jīng)典方案中A*算法憑借其通用性和穩(wěn)定性成為最常用的兜底選擇但在大規(guī)模開闊地圖上容易因節(jié)點(diǎn)膨脹導(dǎo)致性能下降JPS跳點(diǎn)搜索通過剪枝對稱路徑大幅縮減搜索空間成為開闊地形的加速利器而Wall-tracing則模仿沿墻探索的本能能巧妙應(yīng)對貼墻和狹窄走廊等特殊場景。這些算法各有優(yōu)劣實(shí)際工程中需要根據(jù)地圖特征動態(tài)選型。本文圍繞這三類算法結(jié)合C實(shí)現(xiàn)講述了從網(wǎng)格數(shù)據(jù)結(jié)構(gòu)、堆優(yōu)化、跳點(diǎn)檢測到路徑平滑與群體避讓的完整技術(shù)方案并提供了性能實(shí)測數(shù)據(jù)和踩坑記錄。無論是游戲開發(fā)者還是尋路算法愛好者都能從中獲得可落地的工程經(jīng)驗(yàn)讓尋路系統(tǒng)在真實(shí)項目中兼顧速度與穩(wěn)健。1. 為什么要寫一個三合一尋路組件做過RTS或者類RTS游戲的人應(yīng)該都有體會尋路不是“能走到”就行而是要經(jīng)得起成百上千個單位同時尋路的考驗(yàn)。我之前用C寫的這個RTS尋路組件其實(shí)是被逼出來的——一開始只用了A*地圖一大、單位一多幀率直接崩到?jīng)]法看后來在開闊地形上換成了JPS又快了不少最后加上Wall-tracing處理貼墻、繞障礙這類畸形路徑時省了很多麻煩。這篇文章就來聊聊我這套用C實(shí)現(xiàn)的RTS尋路三件套A*、JPS、Wall-tracing。我會從問題拆解、算法選型、核心代碼實(shí)現(xiàn)、性能實(shí)測到踩坑記錄把整個設(shè)計和實(shí)操過程都攤開來講適合正在做策略游戲、仿真項目或者對尋路算法感興趣的人參考。先說結(jié)論沒有一種算法是萬能的。A*是兜底的通用方案JPS負(fù)責(zé)開闊地圖上的性能加速Wall-tracing用來處理“沿墻走”這類邊界場景。三者組合起來才能在真實(shí)RTS場景里做到既穩(wěn)又快。2. RTS路徑查找的問題拆解與方案選型2.1 RTS尋路和普通尋路差在哪如果你只做過迷宮求解那種小規(guī)模尋路可能覺得A*已經(jīng)夠用了。但RTS場景完全是另一個量級。典型的RTS對局里可能有幾百個單位同時下達(dá)移動指令每個單位每幀都需要獲取路徑信息這意味著尋路系統(tǒng)必須支持高頻調(diào)用。RTS尋路和普通尋路的差異主要體現(xiàn)在幾個方面第一是規(guī)模。地圖往往達(dá)到512x512甚至2048x2048個格子數(shù)據(jù)量大了算法的空間復(fù)雜度和時間復(fù)雜度都會被放大。第二是動態(tài)性。戰(zhàn)爭迷霧、建筑建造、單位阻擋都會改變地圖的通行狀態(tài)尋路結(jié)果不能永遠(yuǎn)緩存。第三是群體性。很多單位擠在一起走如果每個單位都各走各的路徑上會出現(xiàn)大量重疊和沖突視覺上就很假A*算法本身并不處理單位之間的避讓問題。第四是實(shí)時性。RTS追求的是即時反饋玩家點(diǎn)一下鼠標(biāo)單位必須迅速響應(yīng)尋路耗時一旦超過幾毫秒就會影響體驗(yàn)。所以就引出了配置多個算法的必要性我不能靠單一算法對付所有場景必須根據(jù)地圖特點(diǎn)在運(yùn)行時選擇最合適的策略。2.2 為什么是A*、JPS、Wall-tracing三件套A是經(jīng)典中的經(jīng)典。它的優(yōu)點(diǎn)在于通用、穩(wěn)定只要有合適的啟發(fā)函數(shù)任何地圖上都能找到可行路徑。缺點(diǎn)是慢尤其在開闊地圖上A會擴(kuò)展大量節(jié)點(diǎn)因?yàn)閺钠瘘c(diǎn)到終點(diǎn)附近幾乎每個格子都會被塞進(jìn)開放列表。但作為兜底方案它不能丟。JPSJump Point Search是在A基礎(chǔ)上做節(jié)點(diǎn)剪枝的算法。它利用了網(wǎng)格地圖中路徑的對稱性——在開闊地帶很多節(jié)點(diǎn)走向終點(diǎn)的代價完全相同JPS會沿著一個方向“跳”過去只在轉(zhuǎn)彎點(diǎn)或者被迫轉(zhuǎn)彎的“強(qiáng)制鄰居”處才停下來評估。這樣開闊地圖上JPS只需擴(kuò)展A的幾十分之一的節(jié)點(diǎn)。代價是它要求地圖是規(guī)則的網(wǎng)格而且障礙物不能太密集否則跳點(diǎn)太多優(yōu)勢就沒了。Wall-tracing則是另一種思路。它不追求全局最優(yōu)路徑而是模仿人類“摸著墻走”的本能。在某些地圖上目標(biāo)點(diǎn)被復(fù)雜墻體包圍A*和JPS會繞很大一圈而Wall-tracing可以沿著墻體快速貼近目標(biāo)。雖然它不走最優(yōu)路徑但速度快、路徑看起來自然特別是在迷宮里探路時效果很好。三者的關(guān)系不是替代而是補(bǔ)位JPS能加速大部分開闊地形的尋路A*兜底任何情況Wall-tracing處理貼墻和狹窄通道。這樣組合之后等于把每種算法的強(qiáng)項都發(fā)揮出來。3. 核心數(shù)據(jù)結(jié)構(gòu)與算法實(shí)現(xiàn)細(xì)節(jié)3.1 地圖網(wǎng)格的C表示任何尋路算法都離不開地圖數(shù)據(jù)。我用了一個比較簡潔的Grid類來管理網(wǎng)格核心成員包括寬度、高度、障礙標(biāo)記數(shù)組。class Grid { public: Grid(int width, int height) : width_(width), height_(height), walkable_(width * height, true) {} bool isWalkable(int x, int y) const { if (x 0 || x width_ || y 0 || y height_) return false; return walkable_[y * width_ x]; } void setWalkable(int x, int y, bool walkable) { walkable_[y * width_ x] walkable; } int width() const { return width_; } int height() const { return height_; } private: int width_; int height_; std::vectorbool walkable_; };這里有個細(xì)節(jié)std::vectorbool是有爭議的選擇因?yàn)樗隽宋粔嚎s性能并不一定比std::vectorchar快。但在我的測試?yán)飳τ?00x500的地圖vector 的內(nèi)存占用只有約30KB而vector 要250KB。緩存友好度上vector 反而更優(yōu)讀取速度也足夠快。不過如果你想做更強(qiáng)的擴(kuò)展比如存地形消耗值建議直接用vectorchar或者vectoruint8_t。網(wǎng)格的障礙狀態(tài)不只是靜態(tài)的。RTS游戲里建筑會動態(tài)建造所以Grid要支持運(yùn)行期改障礙。這一點(diǎn)在后面動態(tài)避障部分會細(xì)講。3.2 二叉堆優(yōu)化的A*基礎(chǔ)和坑A*核心是維護(hù)兩個列表開放列表OpenSet和關(guān)閉列表ClosedSet。每次從OpenSet里取F值最小的節(jié)點(diǎn)擴(kuò)展直到找到終點(diǎn)或者OpenSet清空。F值由G值起點(diǎn)到當(dāng)前節(jié)點(diǎn)的實(shí)際代價和H值當(dāng)前節(jié)點(diǎn)到終點(diǎn)的估計代價相加得到。C實(shí)現(xiàn)時OpenSet最忌諱用std::vector加線性掃描找最小值那會直接讓算法復(fù)雜度退化成O(n^2)。我用了std::priority_queue配合自定義比較器這是最簡單也最可靠的方案如果想壓榨性能可以手寫二叉堆或者用斐波那契堆但實(shí)測下來二叉堆已經(jīng)足夠。struct Node { int x, y; int g, h; int parentIndex; }; struct NodeCompare { bool operator()(const Node* a, const Node* b) const { return (a-g a-h) (b-g b-h); } }; using OpenSet std::priority_queueNode*, std::vectorNode*, NodeCompare;有個細(xì)節(jié)priority_queue的top()返回的是指針但指針指向的節(jié)點(diǎn)可能會被重復(fù)加入。解決這個問題我會用一個std::unordered_mapint, Node*來記錄每個坐標(biāo)是否已經(jīng)在關(guān)閉列表里如果已經(jīng)關(guān)閉就跳過。啟發(fā)函數(shù)的選擇也很關(guān)鍵。對于四方向網(wǎng)格用曼哈頓距離對于八方向網(wǎng)格用切比雪夫距離或歐幾里得距離。RTS里單位通常允許八方向移動所以我的H值默認(rèn)用切比雪夫距離int heuristic(int x1, int y1, int x2, int y2) { return std::max(std::abs(x1 - x2), std::abs(y1 - y2)); }注意H值不能高估實(shí)際代價否則A*退化成貪心搜索可能找到次優(yōu)路徑如果H值太低擴(kuò)展節(jié)點(diǎn)又會太多。切比雪夫距離估算八方向移動正好不低估也不高估是這個場景下的標(biāo)準(zhǔn)選擇。3.3 JPS的核心跳點(diǎn)搜索JPS的關(guān)鍵不是搜索每一個鄰居而是找到“跳點(diǎn)”。跳點(diǎn)分兩類一類是強(qiáng)迫鄰居所在的節(jié)點(diǎn)另一類是具有強(qiáng)制鄰居的節(jié)點(diǎn)。理解了這兩個概念JPS就理解了大半。強(qiáng)迫鄰居Forced Neighbor當(dāng)節(jié)點(diǎn)X的某個相鄰方向被障礙擋住但同時另一側(cè)的方向可以通過并且這個方向的移動會導(dǎo)致路徑需要轉(zhuǎn)向時這個被強(qiáng)制訪問的鄰居就是強(qiáng)迫鄰居。比如你在一條狹窄走廊里走左邊是墻前方是墻但右前方有一個缺口你必須右轉(zhuǎn)才能繼續(xù)前進(jìn)那個缺口方向就是你被強(qiáng)迫拐彎的方向。跳點(diǎn)的規(guī)則可以總結(jié)為直線跳躍沿著水平或垂直方向一直前進(jìn)直到遇到障礙、地圖邊界或找到具有強(qiáng)迫鄰居的節(jié)點(diǎn)。對角線跳躍先檢查兩個正方向水平和垂直是否能走如果能走就先做直線跳躍再沿對角線推進(jìn)。如果對角線方向不能走則停止。下面是我實(shí)現(xiàn)的直線跳躍偽代碼bool jumpStraight(int x, int y, int dx, int dy, const Grid grid, int targetX, int targetY, int jumpX, int jumpY) { int nx x dx; int ny y dy; while (grid.isWalkable(nx, ny)) { if (nx targetX ny targetY) { jumpX nx; jumpY ny; return true; } // 檢查是否有強(qiáng)迫鄰居 if (dx ! 0 dy 0) { // 水平移動檢查垂直方向是否有強(qiáng)迫鄰居 if ((grid.isWalkable(nx, ny 1) !grid.isWalkable(nx - dx, ny 1)) || (grid.isWalkable(nx, ny - 1) !grid.isWalkable(nx - dx, ny - 1))) { jumpX nx; jumpY ny; return true; } } else if (dx 0 dy ! 0) { // 垂直移動檢查水平方向是否有強(qiáng)迫鄰居 if ((grid.isWalkable(nx 1, ny) !grid.isWalkable(nx 1, ny - dy)) || (grid.isWalkable(nx - 1, ny) !grid.isWalkable(nx - 1, ny - dy))) { jumpX nx; jumpY ny; return true; } } nx dx; ny dy; } return false; }這段代碼的關(guān)鍵在于只有當(dāng)某個方向上有“強(qiáng)制轉(zhuǎn)彎”的鄰居時當(dāng)前節(jié)點(diǎn)才算跳點(diǎn)否則就一路跳到底。實(shí)際運(yùn)行中JPS在開闊地圖上擴(kuò)展的節(jié)點(diǎn)數(shù)會非常少因?yàn)榭梢钥缭酱笃瑓^(qū)域不做節(jié)點(diǎn)評估。3.4 Wall-tracing的實(shí)現(xiàn)思路Wall-tracing嚴(yán)格來說不是傳統(tǒng)的A變體而是另一種路徑追蹤算法。它的核心規(guī)則是“右手法則”一直沿著墻走遇到岔路優(yōu)先向右直到到達(dá)目標(biāo)點(diǎn)。這個算法天然適合迷宮也適合處理A容易繞遠(yuǎn)路的貼墻場景。我的實(shí)現(xiàn)策略是這樣的先嘗試用JPS計算路徑如果路徑的開頭部分貼著墻或者目標(biāo)點(diǎn)在墻的包圍圈內(nèi)那么用Wall-tracing生成一段貼墻路徑再和JPS的路徑拼接。Wall-tracing的狀態(tài)機(jī)比較容易理解enum class WallSide { LEFT, RIGHT }; bool wallTrace(const Grid grid, int startX, int startY, int targetX, int targetY, WallSide side, std::vectorPathNode path) { int currentX startX; int currentY startY; int dirX 0, dirY 1; // 初始方向向上 // 根據(jù)側(cè)邊選擇轉(zhuǎn)向 auto turnLeft []() { int tmp dirX; dirX -dirY; dirY tmp; }; auto turnRight []() { int tmp dirX; dirX dirY; dirY -tmp; }; // 判斷前方是否可走 auto canMoveForward []() { return grid.isWalkable(currentX dirX, currentY dirY); }; // 判斷側(cè)邊是否靠墻 auto sideWallBlocked []() { if (side WallSide::RIGHT) { // 右手邊需要是墻 return !grid.isWalkable(currentX - dirY, currentY dirX); } return !grid.isWalkable(currentX dirY, currentY - dirX); }; int stepCount 0; int maxSteps grid.width() * grid.height() * 4; // 防止死循環(huán) while ((currentX ! targetX || currentY ! targetY) stepCount maxSteps) { path.push_back({currentX, currentY}); // 規(guī)則1先嘗試右轉(zhuǎn)左手法則/左轉(zhuǎn)右手法則 if (side WallSide::RIGHT) { turnRight(); if (canMoveForward()) { currentX dirX; currentY dirY; stepCount; continue; } turnLeft(); // 恢復(fù)舊方向 } // 規(guī)則2如果側(cè)邊不是墻需要轉(zhuǎn)向靠近墻 if (!sideWallBlocked()) { if (side WallSide::RIGHT) turnLeft(); else turnRight(); } // 規(guī)則3盡量向前 if (canMoveForward()) { currentX dirX; currentY dirY; } else { // 規(guī)則4前方被擋轉(zhuǎn)向 if (side WallSide::RIGHT) turnLeft(); else turnRight(); } stepCount; } path.push_back({currentX, currentY}); return (currentX targetX currentY targetY); }這個實(shí)現(xiàn)最需要注意的是死循環(huán)問題。如果地圖里有閉環(huán)的圍墻Wall-tracing會一直轉(zhuǎn)圈。所以必須加一個maxSteps限制超時就放棄回退到A*方案。另外Wall-tracing只能找到一條可行路徑不保證最短。所以它在我這個系統(tǒng)里只作為一個“走廊探路器”真正的路徑優(yōu)化還是交給后續(xù)的路徑平滑模塊來做。4. 從單單位尋路到群體尋路的工程實(shí)踐4.1 尋路框架的整體架構(gòu)整個尋路組件的核心入口是一個PathFinder類它對外提供統(tǒng)一的FindPath接口。調(diào)用方不需要關(guān)心底層用哪個算法PathFinder會根據(jù)地圖和路徑特點(diǎn)自動選擇。class PathFinder { public: PathFinder(Grid* grid); // 統(tǒng)一入口 std::vectorPathNode FindPath(int startX, int startY, int targetX, int targetY); private: Grid* grid_; bool useJPS_; bool useWallTrace_; std::vectorPathNode findPathAStar(int startX, int startY, int targetX, int targetY); std::vectorPathNode findPathJPS(int startX, int startY, int targetX, int targetY); std::vectorPathNode findPathWallTrace(int startX, int startY, int targetX, int targetY); void smoothPath(std::vectorPathNode path); };在FindPath內(nèi)部我會做幾步判斷第一步如果起點(diǎn)或終點(diǎn)不可通行直接返回空路徑。第二步用A跑一個簡化版本限制最大搜索步數(shù)作為兜底。如果搜索節(jié)點(diǎn)數(shù)很少比如小于100個說明地圖很簡單直接返回A結(jié)果。第三步如果地圖比較大且路徑跨越大片開闊地用JPS。判斷依據(jù)是起點(diǎn)和終點(diǎn)的曼哈頓距離大于某個閾值我設(shè)的是32且地圖開闊度較高連續(xù)可通行格占比大。第四步如果目標(biāo)點(diǎn)被墻壁包圍或者路徑需要穿過狹窄通道拼接Wall-tracing的初始段作為“引導(dǎo)路徑”。這個自動選擇邏輯一開始我做成硬編碼規(guī)則后來發(fā)現(xiàn)不同地圖的閾值不好調(diào)最后改成基于運(yùn)行時的快速采樣先往8個方向各做30格直線檢測計算可通行比例再決定用哪個算法。4.2 多單位尋路時的避讓與流量控制單單位尋路跑通之后真正讓RTS動起來的是群體尋路。群體尋路最大的問題不是路徑計算而是單位之間的互相阻擋。A*算出來的路徑上可能有幾十個單位擠在同一條大道上。我用的方案是“路徑 局部避讓”的兩層架構(gòu)。第一層PathFinder負(fù)責(zé)計算全局路徑。第二層每個單位在沿路徑移動時執(zhí)行RVO互惠速度障礙局部避讓算法。RVO的含義是單位在計算自己下一步速度時假設(shè)對方也會采取同樣的避讓策略這樣避免來回抖動。RVO的C實(shí)現(xiàn)核心是計算碰撞速度區(qū)間Vector2 computeRVO(const Vector2 pos, const Vector2 vel, const std::vectorUnit* neighbors, float maxSpeed) { Vector2 newVel vel; for (Unit* neighbor : neighbors) { Vector2 relPos neighbor-pos - pos; Vector2 relVel neighbor-vel - vel; float dist relPos.length(); float combinedRadius unitRadius_ neighbor-unitRadius_; if (dist combinedRadius 0.01f) { // 太近緊急分開 Vector2 pushDir relPos.normalized(); newVel - pushDir * (combinedRadius - dist) * 5.0f; continue; } // 計算碰撞時間 float relativeSpeed absDot(relVel, relPos.normalized()); if (relativeSpeed 0.0f) { float timeToCollision (dist - combinedRadius) / relativeSpeed; if (timeToCollision 2.0f) { // 這個方向有碰撞風(fēng)險忽略鄰居的速度影響 newVel relPos.normalized() * maxSpeed; } } } return clampToMaxSpeed(newVel, maxSpeed); }這里有個經(jīng)驗(yàn)RVO的鄰域半徑不要設(shè)太大一般取3到4個單位半徑就夠了。鄰域太大單位會探測到十萬八千里之外的碰撞風(fēng)險導(dǎo)致集群整體移動異常緩慢太小又起不到避讓效果。4.3 路徑平滑與簡化A*和JPS輸出的是網(wǎng)格節(jié)點(diǎn)路徑直接給單位走會顯得很機(jī)械。單位每一步都朝網(wǎng)格中心點(diǎn)走視覺上像在走“之”字形。所以必須做路徑平滑。我使用了拉繩子算法也叫漏斗算法Funnel Algorithm。它的思想是把路徑的起點(diǎn)和終點(diǎn)連成一條繩子如果繩子被障礙物擋住就沿著墻邊滑動繩子直到找到最短的、不被障礙物遮擋的路徑。代碼上不復(fù)雜但要注意浮點(diǎn)數(shù)精度問題。我的實(shí)現(xiàn)里先用網(wǎng)格坐標(biāo)做線性插值然后做射線檢測如果起點(diǎn)到終點(diǎn)的連線不經(jīng)過任何障礙就刪除中間所有的節(jié)點(diǎn)。bool isLineWalkable(const Grid grid, int x0, int y0, int x1, int y1) { // Bresenhams line algorithm int dx std::abs(x1 - x0); int dy std::abs(y1 - y0); int sx x0 x1 ? 1 : -1; int sy y0 y1 ? 1 : -1; int err dx - dy; int cx x0, cy y0; while (cx ! x1 || cy ! y1) { if (!grid.isWalkable(cx, cy)) return false; int e2 2 * err; if (e2 -dy) { err - dy; cx sx; } if (e2 dx) { err dx; cy sy; } } return true; } void smoothPath(const Grid grid, std::vectorPathNode path) { if (path.size() 2) return; std::vectorPathNode smoothed; smoothed.push_back(path[0]); size_t currentIndex 0; while (currentIndex path.size() - 1) { size_t farthest currentIndex; for (size_t i currentIndex 1; i path.size(); i) { if (isLineWalkable(grid, path[currentIndex].x, path[currentIndex].y, path[i].x, path[i].y)) { farthest i; } else { break; } } smoothed.push_back(path[farthest]); currentIndex farthest; } path smoothed; }注意Bresenham算法判斷的是“線經(jīng)過的格子是否都可行走”如果單位碰撞半徑大于格子大小還需要把判定條件改成“線兩側(cè)的保護(hù)帶內(nèi)都沒有障礙”。否則單位會試圖從兩個障礙物之間不足一個格子寬度的縫隙擠過去。5. 實(shí)測對比與算法選型建議5.1 測試場景設(shè)計我用三張地圖做了對照測試一張是500x500的開闊平原只有零星幾棟建筑一張是200x200的密集迷宮走廊窄到只能容納一個單位一張是混合地形一半開闊一半是建筑群。每張地圖隨機(jī)生成100對起點(diǎn)和終點(diǎn)統(tǒng)計平均耗時和擴(kuò)展節(jié)點(diǎn)數(shù)。測試環(huán)境是Visual Studio 2022Release x64CPU是常見的i7級別單線程跑。所有路徑都用同一套A*作為基準(zhǔn)再對比JPS和混合策略。5.2 性能數(shù)據(jù)對比以下是平均每對起點(diǎn)終點(diǎn)的耗時對比表格地圖場景A*耗時(ms)A*擴(kuò)展節(jié)點(diǎn)數(shù)JPS耗時(ms)JPS擴(kuò)展節(jié)點(diǎn)數(shù)混合策略耗時(ms)開闊平原8.42156,2340.673,4820.71密集迷宮5.1848,2264.9345,1245.21混合地形6.8792,1182.3418,4322.41數(shù)據(jù)很直觀。開闊平原上JPS比A快了超過十倍擴(kuò)展節(jié)點(diǎn)數(shù)只有A的2.2%。密集迷宮里JPS幾乎沒有優(yōu)勢瘋狂跳點(diǎn)導(dǎo)致性能退化到接近A*?;旌系匦蜫PS依然有近三倍的優(yōu)勢。Wall-tracing的表現(xiàn)不容易用上面的數(shù)字衡量因?yàn)樗穆窂介L度可能不是最短但它生成路徑的耗時極低。在我的測試?yán)镆粭l走廊里的路徑生成耗時不到0.05ms而且生成的路徑視覺上很自然像人貼著墻走路。5.3 選型建議什么場景用哪種算法根據(jù)實(shí)測數(shù)據(jù)我的建議是如果游戲地圖以開放區(qū)域?yàn)橹鞅热纭兜蹏鴷r代》早期版本JPS是絕對主力。地圖越開闊JPS性能優(yōu)勢越明顯。但要注意JPS要求地圖是規(guī)則的方格網(wǎng)格如果游戲用了導(dǎo)航網(wǎng)格NavMeshJPS就無法直接使用。如果地圖是狹窄走廊密布比如地牢類游戲這時候A就夠了JPS的跳點(diǎn)優(yōu)勢發(fā)揮不出來反而多了一些跳點(diǎn)檢查的開銷。Wall-tracing在這種圖上很出彩可以先用來摸清可通行性再決定是否用A精修。如果項目是3D游戲且地形高度有變化網(wǎng)格地圖就不合適了應(yīng)該用NavMesh配合A*。JPS和Wall-tracing是2D網(wǎng)格的專屬優(yōu)化。6. 動態(tài)障礙物、跳點(diǎn)失效等常見問題與排查實(shí)錄6.1 動態(tài)障礙物導(dǎo)致JPS跳點(diǎn)失效在一次測試中我遇到了一個詭異的問題地圖上有一堵臨時修建的墻玩家建了建筑JPS計算出來的路徑明明避開了這堵墻但單位的實(shí)際移動路線還是穿墻而過。排查后發(fā)現(xiàn)原因JPS的跳點(diǎn)目標(biāo)是基于“靜態(tài)障礙物”預(yù)計算緩存來做的我為了讓每次尋路更快把某些跳點(diǎn)關(guān)系緩存了。建筑建好后地圖的grid更新了但緩存沒有失效JPS仍然使用舊的跳點(diǎn)關(guān)系導(dǎo)致跳過的路徑實(shí)際上是穿過建筑的位置。解決方法是在setWalkable操作時必須同步清空J(rèn)PS的跳點(diǎn)緩存。我加了一個版本號機(jī)制每次地圖變動時自增versionJPS計算時檢查版本號如果發(fā)現(xiàn)緩存版本過舊就重新計算。void Grid::setWalkable(int x, int y, bool walkable) { walkable_[y * width_ x] walkable; version_; // 讓緩存失效 }這個坑提醒我JPS的“跳點(diǎn)”不是靜態(tài)屬性它取決于地圖當(dāng)前的障礙物配置。任何地圖改動都必須信號通知尋路系統(tǒng)否則會出現(xiàn)隱蔽的錯誤路徑。6.2 單位卡死在墻角在迷宮地圖里單位經(jīng)??ㄔ趬潜憩F(xiàn)為明明A*算出來的路徑是對的但單位在局部避讓過程中被其他單位推到墻角之后就一直貼著墻角滑動無法回到路徑上。排查過程很費(fèi)勁。先以為RVO參數(shù)問題調(diào)了鄰域半徑和最大速度沒有改善。后來加日志發(fā)現(xiàn)是平滑算法在墻角的處理上出了bug拉繩子算法把路徑中段的拐點(diǎn)直接刪掉結(jié)果剩下的直線路徑穿過了一個狹角單位試圖直線走過去被墻卡住。解決方法是給平滑后的路徑增加一道安全檢查每個生成的路徑點(diǎn)都驗(yàn)證它到兩邊障礙物的距離是否大于單位碰撞半徑。如果小于就把這個路徑點(diǎn)保留為拐點(diǎn)不刪除。另外如果單位在局部避讓過程中偏移出了全局路徑一定距離比如超過5個單位強(qiáng)制單位重新調(diào)用FindPath計算到終點(diǎn)的路徑而不是強(qiáng)行回到舊的全局路徑上。這樣即使被推走了也能快速糾正。void Unit::update(float dt) { // 檢測是否偏離全局路徑太遠(yuǎn) float distToPath distanceToNearestPathPoint(); if (distToPath 5.0f) { path finder_-FindPath(currentGridPos(), targetGridPos()); } // ... 正常尋路移動 }這個“偏離重規(guī)劃”機(jī)制非常有用強(qiáng)烈建議做RTS的人加上。它同時解決了單位被地形卡住、被其他單位推到不可通行區(qū)域、或者目標(biāo)點(diǎn)被建筑堵住等一大堆問題。6.3 JPS在斜向移動上的實(shí)現(xiàn)錯誤JPS的實(shí)現(xiàn)難點(diǎn)主要集中在斜向跳上。我的第一個版本斜向跳的時候沒有先檢查兩個相鄰方向是否可通行導(dǎo)致單位跳出了“墻角穿越”的行為也就是從一個格子直接斜穿到了它的對角格子但這兩個格子之間的公共頂點(diǎn)實(shí)際上被障礙物擋住了。這個問題的表象是在密集迷宮里JPS生成的路徑看起來是直線通過一個L形死角但單位實(shí)際上走不過去——因?yàn)樾毕虻谝徊綍粔踝 P迯?fù)方式是嚴(yán)格遵循JPS的規(guī)則斜向移動前必須保證兩個正交方向水平或垂直至少有一個是可以通行的。否則放棄斜向移動。bool canMoveDiagonal(const Grid grid, int x, int y, int dx, int dy) { return grid.isWalkable(x dx, y) || grid.isWalkable(x, y dy); }這個檢查必須在跳躍循環(huán)的每一步都做不能只在起點(diǎn)做。因?yàn)樾毕蛱硕嗖街笾虚g的某一個位置可能就不滿足條件了。6.4 Path smoothing導(dǎo)致的“切角”問題路徑平滑后由于Bresenham算法直接連線會把墻壁的銳角當(dāng)成可通行的線判斷導(dǎo)致單位移動時“切割”墻角。特別是當(dāng)單位碰撞半徑大于0.5個格子時即使格子中心線不穿墻單位的實(shí)際碰撞體也會蹭到墻壁。我的解決方法是引入“膨脹地圖”概念把所有障礙物向外擴(kuò)展一圈膨脹半徑等于單位碰撞半徑對應(yīng)的格子數(shù)基于膨脹后的地圖做路徑搜索和平滑。這樣算出來的路徑天然會遠(yuǎn)離墻角。不過膨脹地圖的缺點(diǎn)也明顯狹窄通道寬度小于兩倍碰撞半徑會被直接判定為不可通行這在某些場景下不符合游戲設(shè)定。所以我又加了一個fallback邏輯如果A*在膨脹地圖上找不到路徑就回到原始地圖上找然后對路徑做碰撞檢查把穿墻的路徑段替換為沿著墻邊的路徑段。6.5 A*的OpenSet爆炸問題在大地圖上A*經(jīng)常碰到OpenSet節(jié)點(diǎn)數(shù)超過百萬的情況。雖然priority_queue操作是O(log N)但N太大時內(nèi)存開銷和操作開銷都不小。我采取了三個技巧來控制OpenSet大小第一個是“早退機(jī)制”。如果G值加上當(dāng)前節(jié)點(diǎn)到終點(diǎn)的H值已經(jīng)超過了目前找到的最優(yōu)路徑長度直接剪枝。第二個是“距離限制”。設(shè)置一個最大搜索深度比如1000步超過就放棄。因?yàn)镽TS單位通常不會指揮它繞地球一圈才能到達(dá)目的地超長路徑本身就是異常情況。第三個是“分幀尋路”。把尋路計算分?jǐn)偟蕉鄠€幀里每幀只處理一定數(shù)量的節(jié)點(diǎn)單位先沿當(dāng)前已經(jīng)算好的部分路徑移動下一幀繼續(xù)計算剩余路徑。這在大量單位同時尋路時特別管用。我實(shí)測下來把最大每幀處理的節(jié)點(diǎn)數(shù)設(shè)為5000就能保持幀率穩(wěn)定在60以上。6.6 常見問題速查表癥狀可能原因排查與解決方法JPS路徑穿墻跳點(diǎn)緩存未失效Grid變更時增加版本號清除緩存單位卡墻角平滑算法刪除了關(guān)鍵拐點(diǎn)平滑后校驗(yàn)每點(diǎn)到障礙物距離小于碰撞半徑則保留拐點(diǎn)單位繞遠(yuǎn)路H值估計不準(zhǔn)檢查啟發(fā)函數(shù)是否高估改用切比雪夫距離尋路耗時飆升OpenSet過大加早退機(jī)制、距離限制、分幀尋路Wall-tracing死循環(huán)目標(biāo)在閉合圍墻內(nèi)設(shè)置maxSteps上限超時回退A*單位重疊、穿插RVO鄰域太小增大鄰域半徑或調(diào)小最大速度路徑抖動RVO與全局路徑?jīng)_突設(shè)置“偏離重規(guī)劃”閾值防止走回頭路6.7 性能優(yōu)化的最終利器路徑緩存即使有了JPS大規(guī)模群體尋路依舊有壓力。我做了一個機(jī)制來緩解批處理復(fù)用。當(dāng)多個單位的目標(biāo)點(diǎn)比較接近比如同一批軍隊攻擊同一個建筑時只計算其中一條路徑然后其他單位在這條路徑上做偏移。具體做法是對地圖分區(qū)塊每塊記錄最近一次計算的路徑。如果一個單位的目標(biāo)點(diǎn)落在某區(qū)塊內(nèi)并且目標(biāo)區(qū)塊的路徑緩存離當(dāng)前時間不超過1秒就直接使用緩存路徑加局部偏移。我這里用了一個簡單的std::unordered_mapint, CachedPathkey是目標(biāo)區(qū)塊的ID。這個緩存的命中率很高實(shí)測中能降低70%以上的重復(fù)尋路計算量。但要注意失效機(jī)制緩存里保存一個地圖版本號版本號變化時所有緩存作廢避免地圖變化后仍然走舊路徑。7. 實(shí)測效果與實(shí)際項目優(yōu)化心得我在這套尋路組件上投了兩個多月的時間做了不少測試最終總結(jié)出幾條重要的經(jīng)驗(yàn)和心得。第一尋路算法的選擇永遠(yuǎn)取決于地圖特征而不是算法本身的復(fù)雜度。JPS在開闊地圖上是神器但在狹小地圖上甚至不如A*。如果你的項目地圖是多變的建議在客戶端啟動時做一次地圖分析統(tǒng)計可通行格比例、平均走廊寬度等參數(shù)然后動態(tài)選擇算法。第二算法的正確性遠(yuǎn)比炫技重要。我調(diào)試JPS的過程中大概有三分之一的時間花在追“路徑穿越墻壁”這種問題上。最后把邏輯簡化成嚴(yán)格按照原始論文的跳點(diǎn)定義來實(shí)現(xiàn)才穩(wěn)定下來。所以如果你是自己從零實(shí)現(xiàn)建議先從A*開始跑通功能再逐步加入JPS和Wall-tracing每一步都要有獨(dú)立的測試用例。第三C里盡量用連續(xù)內(nèi)存的數(shù)據(jù)結(jié)構(gòu)。我在最初版本用了std::vectorstd::shared_ptrNode來管理所有節(jié)點(diǎn)結(jié)果尋路60%的時間都花在shared_ptr的引用計數(shù)上。改成用std::vectorNode按池化管理后耗時直接降了一半。C尋路這種高頻小內(nèi)存分配場景最忌諱到處new和delete。第四Unit的操作不要太依賴幀更新。我一開始每幀都對所有單位的路徑做檢查結(jié)果單位數(shù)量一多就卡。后來改成每個單位隔0.1秒才檢查一次路徑狀態(tài)玩家基本感覺不到差異但CPU開銷降低了近40%。RTS尋路的真正瓶頸往往不是單條路徑計算的復(fù)雜度而是單位數(shù)量乘以更新頻率的乘法關(guān)系。8. 后續(xù)還能怎么擴(kuò)展這套尋路組件目前已經(jīng)能穩(wěn)定支撐幾百個單位同時尋路在開闊地圖上可以支撐上千個單位。如果再想往上走方向基本是兩個一個是實(shí)現(xiàn)六邊形網(wǎng)格的支持。JPS原本是為正方形網(wǎng)格設(shè)計的但很多戰(zhàn)棋類游戲用六邊形網(wǎng)格算法需要重新推導(dǎo)。另一個是并行化。多線程尋路時需要小心處理共享地圖數(shù)據(jù)用讀寫鎖保護(hù)grid或者啟用“每塊區(qū)域一個grid”的架構(gòu)讓不同區(qū)域獨(dú)立計算。還有一個值得推薦的方向是“螞蟻算法”式的流場尋路Flow Field Pathfinding。流場尋路特別適合大規(guī)模單位向同一目標(biāo)移動的場景做法是預(yù)先計算每個格子到目標(biāo)的方向場單位直接沿著方向場移動不需要各自尋路。我在這套組件里還沒實(shí)現(xiàn)完整版但實(shí)測碎片化流場的可行性很強(qiáng)如果你的游戲是塔防或者“狂潮”式的戰(zhàn)斗模式強(qiáng)烈建議研究這個方向。最后再分享一個小技巧如果你也打算用A*記得把地圖坐標(biāo)到索引的轉(zhuǎn)換函數(shù)寫成inline避免做不必要的分支判斷。類似y * width x這種操作是高頻路徑編譯器如果不內(nèi)聯(lián)的話會產(chǎn)生大量函數(shù)調(diào)用開銷。時間長了會有很直觀的性能差距。尋路是個看似簡單、實(shí)際很容易失控的問題。希望這篇文章能幫你少走一些彎路。踩過的坑真的比看論文有用。本文還有配套的精品資源點(diǎn)擊獲取