Задание размера статического массива run-time значением

В языке С++ такие массивы не поддерживаются

В типичной традиционной реализации 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.