Guardas de inclusión

Las cabeceras suelen incluir otras cabeceras. Es fácil que una cabecera termine incluyéndose dos veces en el mismo archivo de código fuente.

Cuando ocurre, todas sus declaraciones aparecen dos veces. En el caso de definiciones de tipos como struct o typedef, esto provoca un error de compilación: un tipo no puede definirse más de una vez.

Suponga que a.h y b.h incluyen ambas types.h. Un archivo de código fuente que incluya las dos acabará teniendo types.h pegado dos veces.

El preprocesador copia a ciegas el texto de las cabeceras, por lo que las definiciones de types.h se duplican y provocan un error de redefinición.

Una protección de inclusión es un pequeño recurso del preprocesador que permite incluir una cabecera muchas veces de forma segura.

Envuelve toda la cabecera en una condición para que el cuerpo se procese solo la primera vez. Las inclusiones posteriores se omiten por completo.

La primera vez que se encuentra la cabecera, TYPES_H no está definido, por lo que #ifndef es verdadero y el cuerpo se procesa. A continuación, #define establece la macro.

En cualquier inclusión posterior, TYPES_H ya existe, por lo que #ifndef es falso y el preprocesador salta hasta #endif.

Aquí tiene una cabecera realista con una protección que protege una definición de tipo.

Aunque muchos archivos incluyan point.h directa o indirectamente, la estructura Point se define exactamente una vez por unidad de traducción.

La macro de protección debe ser única en todo el proyecto; de lo contrario, dos cabeceras podrían entrar en conflicto y ocultarse entre sí silenciosamente.

Una convención habitual deriva el nombre del nombre del archivo en mayúsculas: point.h se convierte en POINT_H y net/socket.h en NET_SOCKET_H.

Los identificadores que comienzan con un guion bajo seguido de una letra mayúscula, o que contienen dos guiones bajos seguidos, están reservados para el compilador y la biblioteca estándar.

Evite protecciones como __POINT_H__. Una forma sencilla con el guion bajo al final, como POINT_H, es segura y clara.

La mayoría de los compiladores modernos admiten #pragma once, una única línea al principio de una cabecera que realiza la misma función.

Es más breve y evita conflictos de nombres, pero no forma parte del estándar de C. Las protecciones tradicionales con #ifndef funcionan en todas partes.

Las protecciones con #ifndef son totalmente portables y estándar, pero requieren una macro única para cada cabecera.

#pragma once es compacto y no genera conflictos, pero depende de que el compilador lo admita. Algunos proyectos usan ambos: un pragma y una protección clásica para obtener la máxima seguridad.

Una protección de inclusión evita la inclusión duplicada dentro de un mismo archivo de código fuente mientras se compila.

No evita que una cabecera se procese una vez en cada archivo .c independiente. Esto es correcto, porque cada archivo de código fuente es una unidad de traducción distinta.

Añada una protección de inclusión a cada cabecera que escriba, desde la primera línea. Solo requiere tres líneas y evita toda una clase de errores confusos.

Incluso las cabeceras sencillas pueden incluirse indirectamente a través de otras, por lo que protegerlas desde el principio evita problemas.

Compruebe cuánto domina las protecciones de inclusión.

Ha aprendido por qué incluir una cabecera dos veces provoca errores de redefinición y cómo evitarlo mediante una protección de inclusión.

Use #ifndef/#define/#endif con una macro única, o #pragma once. A continuación veremos cómo compartir variables entre archivos con extern.