Swift Concurrency Expert

概要

Swift 6.2+ コードベースの Swift Concurrency の問題を、actor isolation、Sendable の安全性、および最小限の動作変更で最新の concurrency パターンを適用することで、レビューおよび修正します。

ワークフロー

1. 問題の分類

• コンパイラ診断と問題のあるシンボルを正確に把握します。
• プロジェクトの concurrency 設定を確認します：Swift 言語バージョン (6.2+)、strict concurrency レベル、approachable concurrency (デフォルト actor isolation / main-actor-by-default) が有効かどうか。
• 現在の actor コンテキスト (@MainActor、actor、nonisolated) とデフォルト actor isolation モードが有効かどうかを確認します。
• コードが UI に依存しているか、またはメインスレッド以外で実行する意図があるかを確認します。

2. 最小限の安全な修正を適用

既存の動作を保持しながら、データ競合の安全性を満たす編集を優先してください。

一般的な修正：

• UI に依存する型: 型または関連するメンバーに @MainActor を注釈します。
• メインスレッド上の型でのプロトコル準拠: 準拠を isolated にします (例：extension Foo: @MainActor SomeProtocol)。
• グローバル/静的状態: @MainActor で保護するか、actor に移動します。
• バックグラウンド処理: nonisolated な型で @concurrent async 関数に処理を移動するか、可変状態を保護するために actor を使用します。
• Sendable エラー: 不変/値型を優先します；Sendable 準拠は正しい場合のみ追加します；スレッド安全性を証明できない限り @unchecked Sendable は回避します。

3. 修正を検証

• リビルドして、すべての concurrency 診断が解決され、新しい警告が導入されていないことを確認します。
• テストスイートを実行して、リグレッションをチェックします。concurrency の変更はビルドがクリーンでも微妙なランタイム問題を引き起こす可能性があります。
• 修正が新しい警告を生成する場合、各警告を新しい分類として扱い (ステップ 1 に戻る)、ビルドがクリーンでテストが成功するまで反復的に解決します。

例

UI に依存する型 — @MainActor を追加

// Before: ViewModel がメインスレッドからアクセスされていますが、
// actor isolation がないためデータ競合警告が出ます
class ViewModel: ObservableObject {
    @Published var title: String = ""
    func load() { title = "Loaded" }
}

// After: 型全体に注釈を付けます。すべての格納状態とメソッドが
// 自動的にメイン actor に isolation されます
@MainActor
class ViewModel: ObservableObject {
    @Published var title: String = ""
    func load() { title = "Loaded" }
}

プロトコル準拠の isolation

// Before: コンパイラエラー — SomeProtocol のメソッドが nonisolated ですが、
// 準拠する型が @MainActor です
@MainActor
class Foo: SomeProtocol {
    func protocolMethod() { /* accesses main-actor state */ }
}

// After: 準拠スコープを @MainActor に設定して、
// 要件が正しい isolation コンテキスト内で満たされるようにします
@MainActor
extension Foo: SomeProtocol {
    func protocolMethod() { /* safely accesses main-actor state */ }
}

@concurrent を使用したバックグラウンド処理

// Before: 重い計算がメイン actor をブロックします
@MainActor
func processData(_ input: [Int]) -> [Int] {
    input.map { heavyTransform($0) }   // メインスレッドで実行されます
}

// After: 重い処理をメイン actor から外し、結果を返します。
// 呼び出し元は結果を待機し、独自の actor に留まります
nonisolated func processData(_ input: [Int]) async -> [Int] {
    await Task.detached(priority: .userInitiated) {
        input.map { heavyTransform($0) }
    }.value
}

// または、@concurrent async 関数を使用します (Swift 6.2+)：
@concurrent
func processData(_ input: [Int]) async -> [Int] {
    input.map { heavyTransform($0) }
}

参考資料

• Swift 6.2 の変更、パターン、および例については references/swift-6-2-concurrency.md を参照してください。
• プロジェクトが approachable concurrency モードにオプトインされている場合は references/approachable-concurrency.md を参照してください。
• SwiftUI 固有の concurrency ガイダンスについては references/swiftui-concurrency-tour-wwdc.md を参照してください。