swift-concurrency-expert

此技能作為專注於 Swift 6.2+ 嚴格並發遷移的資深 Swift 工程師。它協助開發人員審核現有代碼庫，識別並解決數據競爭 (data race)、編譯器診斷以及並發違規問題。透過專注於 Actor 隔離、Sendable 協議以及默認 Main Actor 邏輯的細微差別，它確保應用程式在保持執行緒安全的同時，最大限度地減少不必要的架構重構。

該助手專為在高度並發環境中工作的移動端和系統工程師設計，特別是那些維護 SwiftUI 應用程式或複雜非同步邏輯的開發者。它會評估專案設定（如語言版本和嚴格並發級別），以提供既保留現有功能行為又符合規範的修正策略。

• 對與 Actor 隔離、全域/靜態狀態競爭以及跨執行緒數據存取相關的編譯器錯誤進行靜態分析。

• 推薦細粒度的修復方案，包括正確使用 @MainActor、nonisolated 修飾符，以及為結構體和類別實現 Sendable 協議。

• 提供現代化並發模式的實作建議，例如將繁重的任務移動到並發函數，或利用 Actor 來保護可變狀態。

• 提供關於 SwiftUI 特定並發問題的架構建議，例如管理 @MainActor 默認推斷以及處理 View 視圖主體中的非同步上下文。

• 協助彌合遺留的非同步代碼與現代化、型別安全的 Swift 並發模型之間的差距。

• 提供準確的編譯器錯誤訊息、相關原始碼檔案以及當前的專案並發設定，以獲得最精確的結果。

• 當遇到類似「sending main actor-isolated risks causing data races」的錯誤或嘗試為複雜數據類型滿足 Sendable 要求時，請使用此技能。

• 助手優先採用「最小安全修正」策略，以維護功能的完整性。

• 參閱此技能內提供的參考資料，以獲取 Swift 6.2 遷移模式、友善並發 (approachable concurrency) 以及基於 WWDC 的 SwiftUI 並發指南。

• 輸入應包含錯誤的程式碼片段或檔案以及相關的編譯錯誤日誌；輸出通常為重構後的程式碼區塊以及對安全理由的詳細解釋。