Respuesta.

Historia de la pregunta

Las variables globales aparecieron en el lenguaje C desde el principio como medio para almacenar datos accesibles en todas las funciones del programa. Permiten organizar el intercambio de información entre diferentes partes del código sin la necesidad de transmitir valores a través de parámetros de funciones. Estas variables se almacenan en una zona de memoria separada y existen durante toda la vida del programa.

Problema

El uso excesivo y descontrolado de variables globales conlleva problemas de mantenimiento del código, complica la búsqueda de errores y aumenta los riesgos de conflictos de nombres. En proyectos grandes, es difícil entender dónde se producen cambios en los datos accesibles globalmente, lo que dificulta la depuración. Además, la declaración incorrecta de variables globales en diferentes archivos (módulos) puede llevar a errores de enlace (linker errors) y duplicación de datos.

Solución

La práctica óptima es declarar explícitamente las variables globales en un solo archivo .c y colocar sus prototipos con la palabra clave extern en archivos de encabezado .h. Así se obtiene un único lugar de almacenamiento, y el compilador previene duplicaciones. Para minimizar las variables globales, se utilizan variables estáticas con un ámbito de visibilidad dentro del archivo. El uso excesivo del estado global se sustituye por estructuras de datos que se pasan entre funciones.

Ejemplo de código:

// file.h
#ifndef FILE_H
#define FILE_H
extern int global_counter;
#endif

// file.c
#include "file.h"
int global_counter = 0;

// main.c
#include "file.h"
#include <stdio.h>
int main() {
    global_counter++;
    printf("%d\n", global_counter);
    return 0;
}

Características clave:

El ámbito de visibilidad de las variables globales es todo el programa, comenzando desde el punto de definición.
Para acceder a una variable global en otros archivos se utiliza extern.
Es mejor limitar el número de variables globales al mínimo para aumentar la modularidad y la legibilidad del código.

Preguntas capciosas.

¿Se puede declarar una variable global como estática? ¿En qué se diferenciará de una variable global normal?

Sí, una variable global declarada con la palabra clave static solo será visible dentro del archivo en el que se declara. Aún vive durante todo el tiempo de ejecución del programa, pero otra compilación (otro archivo .c) no podrá acceder a ella. Esto se usa para encapsular los datos a nivel de archivo.

¿Es obligatorio usar extern para acceder a una variable global desde otro archivo?

Sí, si deseas acceder a una variable global definida en otro módulo, es necesario declararla con la palabra clave extern (generalmente en el archivo de encabezado). De lo contrario, el compilador asumirá que estás redefiniendo la variable.

// a.c
int global_var = 1;
// b.c
extern int global_var;

¿Funcionará el siguiente código?

// a.c
int var;
// b.c
int var;

No, tal código resultará en un error de enlace, ya que la variable está definida dos veces. La definición de una variable global debe ser única; para acceder a ella debe usarse extern.

Errores comunes y anti-patrones

Múltiples definiciones de una misma variable global en diferentes archivos.
Uso de variables globales en lugar de pasar parámetros entre funciones.
Uso excesivo del estado global.

Ejemplo de la vida real

Caso negativo

El desarrollador coloca parámetros de configuración en variables globales sin restricciones de acceso:

Pros:

Facilidad de acceso desde cualquier archivo.

Contras:

Falta de transparencia en los cambios, alta complejidad de depuración, difícil de reutilizar el código.

Caso positivo

Las variables globales se definen solo en un archivo, se accede a ellas a través de extern y se documentan estrictamente. En otros casos, se utiliza un ámbito estático de archivo o estructuración de parámetros: