Middle
62
questionbank

Как устроены контексты в языке Go?

Получайте ответы на вопросы в реальном времени с Sobes Copilot
Ответ от нейросети sobes.tech

Контекст (context.Context) в Go используется для передачи информации о дедлайнах, отмене и других данных между API границами. Он представляет собой дерево: каждый контекст является дочерним по отношению к другому, кроме корневого (context.Background() или context.TODO()).

Основные методы интерфейса context.Context:

  • Deadline() (deadline time.Time, ok bool): Возвращает дедлайн контекста.
  • Done() <-chan struct{}: Возвращает канал, который закрывается при отмене контекста.
  • Err() error: Возвращает ошибку, которая привела к отмене контекста.
  • Value(key any) any: Возвращает значение, связанное с ключом в контексте.

Создаются с помощью функций пакета context:

  • context.Background(): Корневой пустой контекст, используется как основа для главного процесса.
  • context.TODO(): Используется как заглушка, когда неизвестно, какой контекст использовать.
  • context.WithCancel(parent Context): Создает дочерний контекст и функцию отмены.
  • context.WithDeadline(parent Context, d time.Time): Создает дочерний контекст с дедлайном.
  • context.WithTimeout(parent Context, timeout time.Duration): Создает дочерний контекст с таймаутом.
  • context.WithValue(parent Context, key, val any): Создает дочерний контекст со значением.

Основные реализации Context:

  • emptyCtx: Базовый, не отменяемый и без значений. Используется Background и TODO.
  • cancelCtx: Поддерживает отмену. Состоит из базового контекста и канала отмены.
  • timerCtx: Поддерживает дедлайн/таймаут. Содержит cancelCtx и таймер.
  • valueCtx: Поддерживает передачу значений. Содержит базовый контекст и ключ-значение.

При отмене родительского контекста автоматически отменяются все дочерние. Это позволяет распространять сигналы отмены или дедлайны по цепочке вызовов.

Пример использования context.WithCancel:

go

Пример использования context.WithValue:

go

Контексты потокобезопасны и неизменяемы, что важно для concurrent кода. Они не предназначены для передачи необработанных параметров функции, а скорее для метаинформации, влияющей на выполнение процесса.