Краткий ответ

Обычная Task унаследует значение task-local переменной, действующее в момент её создания. Если родитель позже изменит или переопределит значение в другой области видимости, уже созданная задача автоматически не переключится на новое значение.

Это наследование относится к контексту задачи, а не к общему изменяемому хранилищу. Task.detached такое значение по умолчанию не наследует.

Исторический контекст

Task-local values появились как механизм передачи контекстных данных через асинхронные вызовы без явного добавления параметров в каждую функцию. Типичные примеры — идентификатор запроса, параметры трассировки, уровень логирования или контекст корреляции.

Подход решает проблему протягивания технических параметров через длинную цепочку функций, сохраняя при этом область действия и предсказуемое наследование в конкурентном коде.

Постановка проблемы

Представим обработку сетевого запроса, внутри которой создаются вспомогательные задачи. Им нужен общий идентификатор операции для логирования, но передавать его вручную через каждый метод неудобно.

Если задача не наследует контекст, её логи могут потерять идентификатор. Если же воспринимать task-local как глобальную переменную, можно ошибочно ожидать, что изменение значения в одной задаче повлияет на другие, что приводит к неверной диагностике и скрытой связанности.

Подробное решение

При создании обычной Task Swift захватывает текущий task-local контекст. Поэтому дочерняя задача видит значение, установленное родительской задачей через scoped-переопределение.

enum TraceContext {
    @TaskLocal static var requestID: String?
}

func process() async {
    await TraceContext.$requestID.withValue("req-7") {
        let child = Task {
            TraceContext.requestID ?? "none"
        }
        print(await child.value) // req-7
    }
}

Переопределение действует только внутри переданной области. После выхода из withValue внешнее значение восстанавливается. Дочерняя задача получает собственный унаследованный контекст, поэтому её последующие изменения области task-local не изменяют значение родителя.

Наследование происходит при создании задачи. Оно не означает постоянную ссылку на текущее состояние родителя. Task.detached специально не наследует task-local контекст, поскольку detached-задача не привязана к родительской структуре выполнения.

Task-local не делает передаваемый объект потокобезопасным. Если значением является ссылка на изменяемый класс, общий объект всё ещё может требовать actor, блокировку или другой механизм синхронизации. Task-local регулирует видимость контекста, но не устраняет гонки данных внутри его значения.

Ситуация из практики

Сервис добавляет requestID в task-local контекст и запускает несколько обычных задач для параллельной обработки частей запроса. Все они корректно получают идентификатор и пишут согласованные логи без явной передачи параметра.

Можно было бы передать requestID аргументом каждой функции. Такой вариант проще для явных зависимостей и тестирования, но увеличивает количество технических параметров. Можно было бы использовать глобальную переменную, однако она смешала бы контексты параллельных запросов и создала бы гонку или неверные значения.

Выбранный task-local подход подходит именно для неизменяемого контекста выполнения. Для detached-задачи идентификатор передают явно либо создают нужный контекст внутри неё. В результате контекст обычных дочерних задач сохраняется, а границы независимой detached-задачи остаются явными.

Что кандидаты часто упускают

Изменит ли переопределение task-local значения в дочерней Task значение родительской задачи?

Нет. Переопределение действует в динамической области выполнения конкретной задачи и вложенных вызовов, созданных в этой области. Родительская задача сохраняет своё прежнее значение после завершения дочерней задачи.

Это важное отличие от общего изменяемого состояния. Task-local предназначен для контекста, а не для обмена результатами или координации между задачами.

Унаследует ли Task.detached task-local значение родителя?

Нет, автоматического наследования нет. Detached-задача не наследует task-local контекст, изоляцию актора и другие свойства родительской задачи так, как обычная Task.

Если контекст нужен detached-задаче, его следует передать явно. При этом передаваемое значение должно соответствовать требованиям конкурентной безопасности Swift; само наличие task-local в родителе не создаёт такой гарантии.

Гарантирует ли task-local безопасность общего ссылочного значения?

Нет. Если task-local содержит ссылку на изменяемый объект, разные задачи могут получить ссылку на один экземпляр. Параллельная запись в его состояние по-прежнему может быть гонкой данных.

Безопасность достигается отдельным механизмом: состояние можно изолировать в actor, защищать синхронизацией или передавать неизменяемую и действительно безопасную для передачи копию. Task-local отвечает только за распространение контекста между задачами.