Что быстрее: выделение памяти на стеке или в куче? Разбираемся с производительностью в C++

Стек vs куча: почему стек быстрее и когда это действительно важно

Вы провели отличный эксперимент, и ваши результаты абсолютно верны: выделение на стеке в десятки, а иногда и сотни раз быстрее, чем в куче. Давайте разберёмся, почему так происходит и какие из этого следуют практические выводы.

Как работает стек

Стек — это простая структура данных LIFO (Last In, First Out). Для каждого потока существует свой стек фиксированного размера (обычно 1-8 МБ). Выделение памяти на стеке — это просто сдвиг указателя стека (stack pointer). Когда вы объявляете локальную переменную, компилятор уменьшает указатель стека на нужное количество байт. При выходе из области видимости указатель возвращается обратно. Всё это занимает буквально одну машинную инструкцию (sub rsp, N или add rsp, N).

Как работает куча

Куча (heap) — это гораздо более сложная структура. Выделение памяти в куче включает:

• Поиск свободного блока нужного размера в списке свободной памяти (free list).
• Разделение блока (если он больше, чем нужно) и обновление метаданных.
• Возможное обращение к ОС (системный вызов sbrk/mmap), если в куче нет свободного места — это очень дорого.
• Для освобождения — поиск блока по указателю, обновление списков, возможное слияние соседних свободных блоков.

Кроме того, аллокатор кучи должен быть потокобезопасным, что добавляет накладные расходы на мьютексы или lock-free механизмы.

Почему ваш тест не совсем корректен

В вашем тесте вы измеряете не только выделение памяти, но и:

• Время на delete[] (в куче).
• Время на инициализацию массива (одинаково для обоих случаев).
• Накладные расходы на вызов функций.

Попробуйте выделить память один раз и измерить только время доступа:

// Выделяем один раз
int* heapArr = new int[1000];
int stackArr[1000];

// Измеряем только доступ
auto start = std::chrono::high_resolution_clock::now();
for (int i = 0; i < 1000000; ++i) {
    stackArr[0] = i;
}
auto end = std::chrono::high_resolution_clock::now();
// ... то же для heapArr

delete[] heapArr;

Вы увидите, что доступ к памяти по скорости практически одинаков. Разница только в самом выделении/освобождении.

Когда стек не подходит

Несмотря на скорость, у стека есть ограничения:

• Размер: стек ограничен (обычно 1-8 МБ). Большие массивы или рекурсия могут вызвать Stack Overflow.
• Время жизни: стековая память живёт только внутри области видимости. Если данные нужно вернуть из функции или хранить дольше — нужна куча.
• Размер во время компиляции: размер стека должен быть известен на этапе компиляции (кроме VLA, которые не входят в стандарт C++).

Практические рекомендации

• Используйте стек по умолчанию для небольших объектов (до нескольких сотен байт).
• Используйте умные указатели (std::unique_ptr, std::shared_ptr) для управления кучей — они автоматически освобождают память.
• Избегайте частых выделений/освобождений в куче в критических по производительности участках. Используйте пулы объектов или стековые аллокаторы.
• Для контейнеров используйте std::vector (куча) или std::array (стек) в зависимости от размера и времени жизни.

В итоге: стек быстрее благодаря простоте механизма, но куча даёт гибкость. Выбирайте исходя из задачи, а не только из скорости.