Вывод будет: $0$ $2$ $1$.
Коротко по шагам:
- Выполняется синхронный код в текущей макрозадаче: `console.log(0)` печатает $0$.
- Вызов `f()` запускает async-функцию до первого `await`. `await Promise.resolve()` сразу возвращает разрешённый промис, но при `await` выполнение функции прерывается и продолжение (код после `await`) ставится в очередь микрозадач (как `Promise.resolve().then(...)`). `f()` возвращает промис и продолжается следующий синхронный код.
- `console.log(2)` печатает $2$.
- После окончания текущей макрозадачи event loop обрабатывает очередь микрозадач — там находится продолжение `f()`, которое выполняет `console.log(1)`, печатает $1$.
Общие правила (кратко и важно):
- Макрозадачи (tasks) — это основной цикл: обработка синхронного кода, таймеры (`setTimeout`/`setInterval`), I/O callbacks и т.п. Браузер и Node имеют свои наборы фаз/типов макрозадач.
- Микрозадачи (microtasks) — это колбэки промисов (`Promise.then`/`catch`/`finally`), `queueMicrotask`, `MutationObserver` (в браузере). В Node дополнительно есть `process.nextTick`, который имеет ещё более высокий приоритет (выполняется перед обычными промис-микрозадачами).
- После выполнения каждой макрозадачи event loop полностью опорожняет очередь микрозадач (выполняет их все подряд) перед переходом к следующей макрозадаче. Поэтому микрозадачи выполняются раньше, чем следующая отложенная макрозадача (например, `setTimeout($0$)`).
- В браузере перед перерисовкой страницы тоже выполняются все микрозадачи текущей задачи.
- Вывод: `await` (на уже resolved промисе) ставит продолжение в микрозадачи, поэтому оно выполнится после синхронного кода текущей макрозадачи, но до следующей макрозадачи.