Как работает конкурентность в Swift с async/await, Task, актёрами (actor) и @MainActor?

Question

IT Interview Practice · Accepted Answer

Конкурентность в Swift позволяет писать асинхронный код, который читается как синхронный, с помощью `async`/`await`, при этом компилятор обеспечивает безопасность от гонок данных. `Task` запускает конкурентную работу, **актёры** (actor) защищают изменяемое состояние, а `@MainActor` гарантирует, что UI-код выполняется в главном потоке.

## Как это работает

`await` отмечает **точку приостановки** (suspension point): функция может остановиться в ней, освобождая поток для другой работы, и возобновиться, когда ожидаемое значение готово — без колбэков, без блокировки потока.

```swift
func loadProfile() async throws -> Profile {
    let user  = try await fetchUser()       // приостанавливается, поток переиспользуется
    let posts = try await fetchPosts(user)  // выполняется после того, как user разрешится
    return Profile(user: user, posts: posts)
}

// Запускаем асинхронную работу из синхронного контекста
Task {
    let profile = try await loadProfile()
    await MainActor.run { render(profile) } // обновление UI в главном потоке
}
```

## Актёры и @MainActor

**Актёр** (actor) сериализует доступ к своему изменяемому состоянию — только одна задача обращается к нему одновременно, поэтому нет блокировок и нет гонок данных.

```swift
actor ImageCache {
    private var store: [URL: Image] = [:]
    func image(for url: URL) -> Image? { store[url] }   // изолировано
    func insert(_ img: Image, for url: URL) { store[url] = img }
}

@MainActor
final class ViewModel: ObservableObject {   // все члены выполняются в главном потоке
    @Published var title = ""
}
```

## Структурированная конкурентность

`async let` и `TaskGroup` запускают дочерние задачи параллельно и ожидают их вместе; отмена родителя отменяет детей.

```swift
async let a = fetchA()      // обе стартуют немедленно, параллельно
async let b = fetchB()
let (x, y) = try await (a, b)
```

## Подводные камни

- Забытый `@MainActor` на обновлениях UI вызывает предупреждения «Publishing changes from background thread».
- `Task { }` наследует контекст актёра; `Task.detached` — нет, используйте его экономно.

## Почему это важно

async/await заменил глубоко вложенные обработчики завершения («ад колбэков»), и теперь компилятор ловит гонки данных на этапе сборки. Интервьюеры проверяют, понимаете ли вы точки приостановки, изоляцию актёров и `@MainActor` — модель, которая делает современную конкурентность в iOS одновременно читаемой и безопасной.

Как это работает

Актёры и @MainActor

Структурированная конкурентность

Подводные камни

Почему это важно

Похожие вопросы