Regla 0x500Bh: Inclusión obligatoria de cabeceras estándar para funciones de la biblioteca C

0x500Bh: Inclusión obligatoria de cabeceras estándar para funciones de la biblioteca C¶

Enunciado normativo¶

DEBE incluirse explícitamente la cabecera que declara cada función de la biblioteca estándar antes de invocarla: printf/scanf (<stdio.h>), malloc/free (<stdlib.h>), strlen/strcmp (<string.h>).

¿Por qué existe esta regla?¶

El problema¶

El compilador conoce las funciones por su declaración, no por su nombre. Sin la cabecera adecuada, en C89 se asumía una declaración implícita int f(); C99 eliminó esa concesión y C11 la considera directamente inválida. Cuando el programa compila por descuido, el compilador supone que la función devuelve int y no revisa los argumentos. Para una función que en realidad retorna double o un puntero, esa suposición genera corrupción silenciosa. Incluir la cabecera es lo que habilita la verificación de formatos de printf y de tipos.

Consecuencias de violarla¶

Fundamento en el estándar y en la cátedra¶

ISO/IEC 9899:2011 §6.5.2.2 rige las llamadas a función: sólo son válidas si existe una declaración en alcance. C99 suprimió la regla de «tipo int implícito». La cátedra exige la inclusión explícita porque el código se compila con -Werror y porque -Wformat sólo actúa con <stdio.h> presente.

Alcance y excepciones¶

Aplica a toda función de la biblioteca estándar. La cabecera debe incluirse en cada unidad de traducción que la use, no basta que otro .c la incluya. Excepción de enlace: <math.h> declara sin, sqrt, etc., pero en Linux hay que agregar -lm al enlazar; la cabecera no reemplaza la biblioteca.

Ejemplos exhaustivos¶

❌ Contraejemplo 1 — printf sin <stdio.h>¶

int main(void)
{
    printf("Hola\n");
    return 0;
}

Por qué falla: sin declaración, el compilador asume int printf(). Con -Werror la compilación se detiene; sin él, el formato no se valida y el comportamiento queda librado a la suerte.

❌ Contraejemplo 2 — malloc sin <stdlib.h>¶

int *crear(size_t n)
{
    int *v = malloc(n * sizeof(*v));
    return v;
}

Por qué falla: malloc devuelve void *, pero sin la cabecera el compilador cree que devuelve int. En una máquina de 64 bits el puntero de 8 bytes se trunca a 4 y el acceso posterior corrompe memoria.

✅ Ejemplo conforme 1 — Cabeceras explícitas¶

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
    char *s = malloc(16);
    if (s == NULL) {
        return 1;
    }
    strcpy(s, "hola");
    printf("%s\n", s);
    free(s);
    return 0;
}

Cada función tiene su declaración en alcance; el compilador valida argumentos, formatos y tipos de retorno, y -Werror convierte cualquier descuido en error.

✅ Ejemplo conforme 2 — Cabecera propia primero y la correcta después¶

#include "lista.h"

#include <stddef.h>
#include <stdlib.h>

nodo_t *nodo_crear(int valor)
{
    nodo_t *n = malloc(sizeof(*n));
    if (n != NULL) {
        n->dato = valor;
    }
    return n;
}

La cabecera del propio módulo va primero para detectar faltantes (0x0205h: En archivos .c la inclusión de la cabecera propia debe figurar en primer lugar) y luego se incluye <stddef.h> por size_t y <stdlib.h> por malloc. Es el orden que pide 0x5005h: Organizá la estructura de tus archivos .c de forma estándar.

⚠️ Casos límite¶

• <math.h> y -lm: la declaración está en la cabecera, pero el enlace necesita -lm en Linux; sin ella el error es del enlazador.

• Funciones en varias cabeceras: size_t vive en <stddef.h>, no en <stdlib.h>; incluí la que corresponde a cada uso.

• Funciones POSIX: strdup o getline requieren la macro de entorno adecuada además de su cabecera, y no son ISO C.

Cómo detectarla¶

Checklist de autocontrol¶

• ¿Cada función de la biblioteca invocada tiene su #include en este archivo?

• ¿Incluí <stdio.h>, <stdlib.h>, <string.h> según lo que uso?

• ¿Comprobé que -Werror no reporta declaraciones implícitas?

• ¿La cabecera propia está en primer lugar entre las de usuario?

Reglas relacionadas¶

• 0x5014h: Inclusión explícita obligatoria de cabeceras para funciones de biblioteca estándar — la formulación complementaria sobre declaraciones implícitas.

• 0x5002h: Desarrollá y compilá siempre con todas las advertencias del compilador activadas — -Wimplicit-function-declaration es una de las advertencias clave.