Ответ.

История вопроса

Массивы переменной длины (VLA — Variable Length Arrays) появились в стандарте C99, до этого все размеры массивов должны были быть известны на этапе компиляции. Позволяют объявлять массивы, размер которых определяется переменной, известной только во время выполнения.

Проблема

Неверное использование VLA приводит к необработанным ошибкам выделения памяти (например, слишком большой размер массива приведёт к stack overflow), невозможности передать VLA между разными компиляторами (не все их поддерживают), и ограниченной совместимости с более старыми стандартами C и C++. Также отладки осложняются тем, что память выделяется на стеке, а не в куче, что не всегда ожидаемо.

Решение

Используя VLA, нужно помнить, что они живут на стеке и не могут быть глобальными или статическими. Лучше предпочитать динамические массивы через malloc, если необходима гибкость и гарантированное взаимодействие с C++. Для совместимости стоит ограничиться статическими массивами или стандартами C90, если поддержка VLA не гарантирована.

Пример кода:

#include <stdio.h>

void process(size_t n) {
    int arr[n]; // VLA
    for(size_t i = 0; i < n; i++) arr[i] = i;
    for(size_t i = 0; i < n; i++) printf("%d ", arr[i]);
}

int main() {
    process(5);
    return 0;
}

Ключевые особенности:

VLA выделяются на стеке, их размер задаётся переменной
VLA нельзя использовать для глобальных/статических переменных
Поддержка VLA не обязательна в некоторых компиляторах и стандартах (например, в C11 это опционально)

Вопросы с подвохом.

Можно ли объявить статический массив переменной длины как static int arr[n]; внутри функции?

Нет, статические переменные должны иметь определённый размер на этапе компиляции. Поэтому static int arr[n]; с переменным размером вызовет ошибку компиляции.

Будут ли VLA автоматически освобождены при выходе из функции?

Да, VLA размещаются на стеке и их память освобождается автоматически при выходе из блока/функции, так же как у обычных локальных переменных.

Безопасно ли выделять VLA очень большого размера?

Нет, размер стека ограничен (например, 1 МБ или 8 МБ). Попытка выделить большой VLA приведёт к ошибке выполнения (stack overflow).

Типовые ошибки и анти-паттерны

Использование VLA с огромными размерами без проверки ошибок
Передача VLA в функции как int arr[] без указания их размера
Ожидание, что VLA поддерживаются компилятором всегда

Пример из жизни

Негативный кейс

Писали кросс-платформенный код с VLA, код не компилировался на старых или строго настроенных компиляторах.

Плюсы:

Удобство синтаксиса и читаемость

Минусы:

Потеря переносимости, проблемы с сопровождением

Позитивный кейс

Использовали VLA только для локальных задач и там, где гарантирован небольшой размер, для крупных массивов — malloc/free.

Плюсы:

Надёжная работа программы
Предсказуемое поведение даже на старых компиляторах

Минусы:

Дополнительная сложность при ручном управлении памятью