Respuesta.

Historia de la cuestión

Los arreglos de longitud variable (VLA — Variable Length Arrays) aparecieron en el estándar C99; antes de esto, todos los tamaños de los arreglos debían ser conocidos en el momento de la compilación. Permiten declarar arreglos cuyo tamaño es determinado por una variable que solo es conocida en tiempo de ejecución.

Problema

El uso incorrecto de VLA puede llevar a errores no gestionados en la asignación de memoria (por ejemplo, un tamaño de arreglo demasiado grande puede provocar un desbordamiento de pila), la imposibilidad de pasar VLA entre diferentes compiladores (no todos los soportan), y una compatibilidad limitada con estándares más antiguos de C y C++. Además, la depuración se complica porque la memoria se asigna en la pila y no en el montón, lo cual no siempre es esperado.

Solución

Al utilizar VLA, es necesario recordar que viven en la pila y no pueden ser globales o estáticos. Es mejor optar por arreglos dinámicos a través de malloc si se necesita flexibilidad y una interacción garantizada con C++. Para asegurar la compatibilidad, es preferible limitarse a arreglos estáticos o a los estándares C90 si el soporte para VLA no está garantizado.

Ejemplo de código:

#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;
}

Características clave:

VLA se asignan en la pila, su tamaño es determinado por una variable
VLA no se pueden usar para variables globales/estáticas
El soporte para VLA no es obligatorio en algunos compiladores y estándares (por ejemplo, en C11 es opcional)

Preguntas trampa.

¿Se puede declarar un arreglo estático de longitud variable como static int arr[n]; dentro de una función?

No, las variables estáticas deben tener un tamaño definido en el momento de la compilación. Por lo tanto, static int arr[n]; con tamaño variable provocará un error de compilación.

¿Se liberarán automáticamente los VLA al salir de la función?

Sí, los VLA se colocan en la pila y su memoria se libera automáticamente al salir del bloque/o de la función, igual que las variables locales normales.

¿Es seguro asignar VLA de tamaño muy grande?

No, el tamaño de la pila es limitado (por ejemplo, 1 MB o 8 MB). Intentar asignar un gran VLA resultará en un error de ejecución (desbordamiento de pila).

Errores comunes y antipatrones

Uso de VLA con tamaños enormes sin verificar errores
Pasar VLA a funciones como int arr[] sin especificar su tamaño
Esperar que el compilador siempre soporte VLA

Ejemplo de la vida real

Caso negativo

Escribimos código multiplataforma con VLA, el código no se compilaba en compiladores antiguos o estrictamente configurados.

Pros:

Conveniencia de sintaxis y legibilidad

Contras:

Pérdida de portabilidad, problemas con el mantenimiento

Caso positivo

Utilizamos VLA solo para tareas locales y donde se garantiza un tamaño pequeño; para arreglos grandes — malloc/free.