В языке С++ такие массивы не поддерживаются
В типичной традиционной реализации VLA в языке C определение локального VLA
T arr[n];
будет втихаря заменено компилятором на два определения локальных переменных
size_t __size_arr;
T *arr;
Размер массива будет сохранен во внутренней переменной __size_arr
size_t __size_arr = n;
(то есть таким образом будет запомнено, каким было значение n
в тот момент, когда управление проходило по вашему объявлению).
А память для самого массива будет выделена на вершине стека при помощи некоей внутренней платформенно-зависимой функциональности вроде alloca
T *arr = alloca(__size_arr * sizeof(T));
Также, в точке(-ах) выхода из блока, содержащего определение такого массива (таких массивов), компилятор сгенерирует код, возвращающий вершину стека в то положение, в котором она находилась при входе в этот блок, т.е. фактически освобождающий весь стек, выделенный для VLA в этом блоке.
Вычисление размера такого массива через sizeof arr
будет порождать выражение вида
__size_arr * sizeof(T)
значение которого будет вычисляться во время выполнения. Если аргумент такого sizeof
имеет побочные эффекты, то они возымеют место во время выполнения
unsigned n = 42;
unsigned a[n];
unsigned s = sizeof(*(printf("Hello World\n"), &a));
// Напечатает "Hello World"
Также, по понятным причинам, компилятор не позволит вам передавать управление (goto
или switch
) в области видимости таких массивов через объявления таких массивов и объявления соответствующих типов
goto skip; // Ошибка: нелегальный `goto`
unsigned n = 42;
unsigned a[n];
skip:;
(Подробнее см. здесь: Как работает VLA?)
Также, язык накладывает определенные ограничения на использование стандартных функций setjmp
/longjmp
в присутствии VLA.
GCC
этот код компилируется, однако не под всеми версиями, а компилятор от майкрософт, честно вам отдаст ошибку. ДляC++
есть вектор, которому вы можете прямо во время выполнения менять размер, при помощи методаresize
.