Большинство думают, что корутины — это просто синтаксический сахар. На деле это хирургическая операция над указателем стека.
🍉 При вызове co_await компилятор генерирует код, который:
1. Сохраняет текущий RSP (указатель стека)
2. Копирует локальные переменные в heap-allocated фрейм
3. Переключает RSP на стек другой корутины
‼️ Магия в одной инструкции:
mov rsp, [coroutine_stack_ptr]
Процессор продолжает выполнение, но теперь все push/pop идут в другую область памяти. Регистры RBP, RIP тоже меняются — полная иллюзия «другой функции».
💡 В C++20 stackless корутины делают иначе — вообще не трогают RSP, храня состояние в объекте. Но stackful (Boost.Context) именно так и работают.
📍Навигация: Вакансии • Задачи • Собесы
Библиотека C/C++ разработчика
#под_капотом