Respuesta.

El manejo de la memoria en el área de almacenamiento estático en el lenguaje C es una parte importante de la comprensión del ciclo de vida de las variables y recursos del programa.

Historia de la cuestión

En C se distinguen áreas de almacenamiento de variables: automática (stack), dinámica (heap) y estática (segmento data/bss). El área de almacenamiento estático es una parte de la memoria reservada para variables que existen durante toda la ejecución del programa. En ella se colocan variables declaradas con el modificador static (dentro y fuera de funciones) y variables globales.

Problema

Los errores con el área de almacenamiento surgen al gestionar incorrectamente el tiempo de vida de las variables, intentar una inicialización múltiple o suponer erróneamente el acceso multihilo. También se confunde con frecuencia la memoria estática con la dinámica o automática, especialmente entre los principiantes.

Solución

Las variables estáticas se almacenan en segmentos de datos (o bss, si no están inicializadas). Se inicializan una vez antes de que comience la ejecución de main() y conservan su valor entre las llamadas a funciones, pero no son accesibles fuera de su ámbito, si están declaradas con static dentro de una función o archivo. Se utilizan para almacenar el estado entre llamadas o para implementar la privacidad de los datos.

Ejemplo de código:

#include <stdio.h>

void counter() {
    static int count = 0;
    count++;
    printf("Llamado %d veces\n", count);
}

int main() {
    for (int i = 0; i < 3; i++) counter();
    return 0;
}

Características clave:

• Las variables estáticas se inicializan solo una vez, antes del inicio de main y viven hasta que termine el programa.
• Las variables static dentro de funciones preservan su valor entre las llamadas a la función.
• El ámbito de las variables static es limitado (a la función o archivo), pero su tiempo de vida es todo el período de ejecución del programa.

Preguntas engañosas.

¿Pueden las variables estáticas ser locales y globales? ¿Cuál es la diferencia?

Sí, las variables static locales se declaran dentro de funciones, las globales fuera de todas las funciones. Las locales son visibles solo dentro de la función, las globales dentro de todo el archivo (si se especifica static antes de la variable global, entonces es "privada" para el archivo).

Ejemplo de código:

static int g_val = 42; // accesible en todo este archivo
void foo() {
    static int count = 0; // solo visible en foo y vive todo el tiempo de ejecución del programa
}

¿Cuándo exactamente se inicializa una variable estática: en cada entrada a la función, en la primera llamada o antes de que comience main?

Todas las variables estáticas (globales o locales, declaradas con static) se inicializan antes de que comience main(), es decir, durante la carga del programa. Si la inicialización es explícita, se usa el valor indicado, de lo contrario, la variable se inicializa en cero.

¿Se puede declarar un arreglo de variables con el modificador static dentro del cuerpo de una función? ¿Cómo se comportará?

Sí, se puede. Tal arreglo conservará los valores entre las llamadas a la función, y en la primera llamada se inicializará en ceros (a menos que se indique lo contrario).

Ejemplo de código:

void bar() {
    static int arr[3]; // todos los elementos serán iguales a 0 en la primera llamada
    arr[0]++;
    printf("arr[0]=%d\n", arr[0]);
}

Errores comunes y anti-patrones

Ventajas: Es conveniente conservar el estado entre las llamadas a funciones, se pueden implementar datos "privados", no es necesario gestionar manualmente la memoria.

Desventajas: No son adecuados para programas seguros para hilos sin sincronización adicional, se utiliza erróneamente para almacenar grandes volúmenes de datos, pueden llevar a un comportamiento impredecible si se cambia incorrectamente su valor.

Ejemplo de la vida real

Caso negativo: Un desarrollador almacena una copia temporal de un enorme arreglo en static dentro de una función. Como resultado, la aplicación siempre ocupa una gran cantidad de memoria, incluso cuando este arreglo no es necesario. Ventaja: facilidad de acceso, desventaja: alto consumo de memoria, sin gestión explícita de la asignación.

Caso positivo: Un contador estático de llamadas a una función se utiliza para diagnóstico y perfilado (ver ejemplo anterior). Ventaja: no se requieren variables globales, desventaja: hay que tener cuidado con la concurrencia — se requiere sincronización.