Корутины C++ изнутри

Функция становится корутиной, если в ней есть co_await, co_yield или co_return. Компилятор переписывает её в машину состояний: локальные переменные и номер точки возобновления хранятся в кадре корутины, который по умолчанию выделяется в куче (оптимизатор может убрать аллокацию). Управлять ею можно через std::coroutine_handle. Поведение определяет promise_type из возвращаемого типа: он создаёт объект-результат, решает, приостановиться ли в начале и в конце (initial_suspend, final_suspend), принимает значения из co_yield и co_return и необработанные исключения. co_await expr работает с awaitable-объектом: await_ready говорит, можно ли не засыпать, await_suspend получает handle и решает, кто и когда нас возобновит, например планировщик ввода-вывода, await_resume возвращает результат. Корутины бесстековые, поэтому они лёгкие, но приостановиться можно только в самой корутине. Сами по себе они не дают параллелизма. Применяют для генераторов, в C++23 есть std::generator, и для асинхронного кода без колбэков. Главная ловушка: параметры по ссылке и захваты лямбд должны пережить корутину, которая может продолжиться позже.