JavaScript долгое время считался однопоточным языком программирования, что создавало серьезные ограничения при работе с асинхронными операциями. Вызовы сетевых запросов, работа с файлами, таймеры и многие другие задачи не могли быть выполнены без блокировки основного потока исполнения. Для решения этой проблемы в язык была внедрена концепция промисов (Promise), которая стала настоящим прорывом в области асинхронного программирования. Промисы позволяют писать асинхронный код так, как если бы он был синхронным, значительно упрощая логику и повышая читаемость. Что такое Promise в JavaScript? Промис — это объект, который выступает в роли посредника или прокси для значения, которое может быть неизвестно на момент создания промиса.
Он представляет собой обещание, что в будущем будет предоставлен какой-то результат: либо успешное значение, либо ошибка. Это дает возможность асинхронным функциям возвращать не сами значения мгновенно, а объект, который позже предоставит это значение. При этом Promise может находиться в одном из трех состояний. Первое — pending, или ожидающее состояние, когда результат еще не известен. Второе — fulfilled, что означает успешное завершение операции с возвратом значения.
И третье — rejected, когда операция завершилась с ошибкой. Важно понимать, что промис может перейти из состояния ожидания только в одно из двух конечных состояний: либо fulfilled, либо rejected. После этого он считается settled, то есть окончательно решённым, и его состояние больше не изменится. Одной из ключевых особенностей Promise является способность прикреплять обработчики через методы then, catch и finally. Метод then принимает две функции — одну, которая будет вызвана при успешном выполнении промиса, и другую, обработчик ошибок, на случай отклонения.
Однако чаще всего для обработки ошибок используют метод catch, который является сокращением для then с пустым первым аргументом. Метод finally служит для добавления обработчика, который выполнится в любом случае — после того как промис решится или отклонится. С помощью этих методов промисы можно цепочками объединять друг с другом. Возвращаемый каждым вызовом then новый промис позволяет создавать последовательность асинхронных действий, где результат одного шага зависит от результата предыдущего. Такой подход делает код более модульным и удобочитаемым по сравнению с классическими колбэками, избавляя от так называемого «адского колбэка» — глубоко вложенных функций.
Особенностью, которая отличает промисы от других асинхронных механизмов, является гарантированная асинхронность вызова соответствующих обработчиков. Даже если промис уже решён или отклонён, обработчики будут выполнены только после того, как текущий стек вызовов опустеет, при следующем цикле событий. Это предотвращает неожиданные гонки и обеспечивает предсказуемость поведения. Иногда встречается понятие thenable — объекта, который похож на промис и реализует метод then. Это позволяет различным библиотекам и реализациям промисов взаимодействовать друг с другом, обеспечивая высокий уровень совместимости.
Метод Promise.resolve принимает любое значение, и если оно является thenable, возвращаемый промис наследует его состояние, иначе сразу выполняется с этим значением. JavaScript предоставляет набор статических методов для работы с несколькими промисами сразу. Метод Promise.all принимает список промисов и возвращает новый промис, который выполнится успешно лишь тогда, когда все входящие промисы выполнены успешно.
Если хотя бы один из промисов отклонён, итоговый промис тоже отклоняется с причиной ошибки первого неудачника. Promise.allSettled — метод, возвращающий промис, который срабатывает когда все переданные промисы либо выполнены, либо отклонены без выброса ошибки. Вместо этого он возвращает массив объектов, которые описывают состояние каждого промиса отдельно, что поможет детально проанализировать результаты параллельных операций. Promise.
any представляет противоположность Promise.all. Он выполняется успешно, как только любой из переданных промисов выполнится, и отклоняется, если все промисы завершатся с ошибкой. Результатом отказа становится AggregateError — объект, содержащий причины всех ошибок. Promise.
race — метод, который возвращает промис, результат которого зависит от первого завершённого промиса из предоставленного списка. Если первый завершённый промис выполнен успешно, то и итоговый промис исполнится успешно, если отклонён — завершится с ошибкой. Создание собственного промиса возможно через конструктор Promise, которому передается функция-исполнитель с двумя параметрами — resolve и reject. Внутри этой функции определяются действия, которые приведут к выполнению или отклонению промиса. Например, можно обернуть таймер, сетевой запрос или любое другое асинхронное событие, вызывая resolve с результатом или reject с ошибкой.
Промисы не поддерживают отмену напрямую, но в комбинации с такими инструментами, как AbortController, можно контролировать отмену асинхронных операций, например, сетевых запросов. Это обеспечивает более гибкое управление выполнением и ресурсами. Использование промисов кардинально меняет стиль написания асинхронного кода. Благодаря цепочкам then и catch становится проще управлять потоками данных, обрабатывать ошибки на любом уровне и создавать понятные последовательности обработки событий. Это особенно важно в современных веб-приложениях, где асинхронность присутствует повсеместно — от обращения к серверу до взаимодействия с пользователем.
