Modularidad, headers y linkage

Un programa real no cabe en un archivo. Dividirlo bien —qué va en el header, qué en el .c, qué se exporta y qué se oculta— es lo que hace un código mantenible. Y conecta directamente con el proceso de compilación: cada archivo es una unidad de traducción que el linker luego une.

Unidades de traducción

Cada archivo .c es una unidad de traducción: se compila de forma independiente a un .o (recuerda el nivel 3). El linker luego une todos los .o. Esto permite compilar solo lo que cambió, no todo el programa.

gcc -c mates.c -o mates.o     # compila una unidad
gcc -c main.c  -o main.o      # otra, independiente
gcc mates.o main.o -o programa # el linker las une

Header e implementación

La convención universal: el header (.h) declara la interfaz (qué existe); el .c define la implementación (cómo funciona). Los demás archivos incluyen el header, no el .c.

// mates.h — la interfaz pública
#pragma once
int  sumar(int a, int b);        // declaración
extern int contador_global;       // variable compartida (declarada)

// mates.c — la implementación
#include "mates.h"
int contador_global = 0;          // definición (una sola)
int sumar(int a, int b) { return a + b; }

// main.c — el consumidor
#include "mates.h"                 // ve las declaraciones, no la implementación
int main(void) { return sumar(2, 3); }

Linkage: qué se ve desde fuera

Cada símbolo global tiene un linkage que decide su visibilidad entre unidades de traducción:

// utils.c
static int estado = 0;             // privado: ningún otro .c lo ve
static void ayudante(void) { }     // función interna del módulo
int api_publica(void) { return 0; } // exportada

Higiene de headers