Para entender dónde van las guardas de inclusión1 (no protectores de cabecera) debemos entender el...
Proceso de compilación de c++
En C++ el código pasa por nueve fases para generar un archivo ejecutable:
- Se ajustan los caracteres del código para que coincidan con los caracteres que acepta el estándar.
- Las instrucciones multilínea se juntan en una sola línea.
- Se eliminan los comentarios.
- Se ejecuta el preprocesador.
- Los caracteres de los literales de carácter o cadena se pasan a la codificación del sistema.
- Se concatenan los literales de cadena adyacentes.
- Se compila.
- Se examinan las instancias de plantillas que han sido instanciadas.
- Se enlazan todos los componentes en el archivo ejecutable.
El punto más relevante para tu pregunta es el cuarto, ya que una instrucción #include
es una directiva de preprocesador.
Cuando se procesa una instrucción #include
lo que hace el preprocesador es copiar todo el contenido de ese archivo en el archivo que se está compilando; vamos a suponer que tenemos los siguientes archivos:
A.hpp
void a() {}
B.hpp
#include "A.hpp"
void b() {}
main.cpp
#include "A.hpp"
#include "B.hpp"
int main() { return 0; }
En la cuarta fase de compilación, el archivo main.cpp
pasará por los siguientes estados:
- Original.
#include "A.hpp"
#include "B.hpp"
int main() { return 0; }
- Se procesa la primera inclusión.
void a() {}
#include "B.hpp"
int main() { return 0; }
- Se procesa la segunda inclusión.
void a() {}
#include "A.hpp"
void b() {}
int main() { return 0; }
- De manera recursiva, se procesa la segunda inclusión.
void a() {}
void a() {}
void b() {}
int main() { return 0; }
En el momento de compilar, tendremos un fallo por re-declarar la función a
. Veamos que pasaría con guardas de inclusión, main.cpp
no cambiaría:
A.hpp
#ifndef A
#define A
void a() {}
#endif
B.hpp
#ifndef B
#define B
#include "A.hpp"
void b() {}
#endif
En la cuarta fase de compilación, el archivo main.cpp
pasará por los siguientes estados:
- Original.
#include "A.hpp"
#include "B.hpp"
int main() { return 0; }
- Se procesa la primera inclusión.
#ifndef A
#define A
void a() {}
#endif
#include "B.hpp"
int main() { return 0; }
- Se procesa la segunda inclusión.
#ifndef A
#define A
void a() {}
#endif
#ifndef B
#define B
#include "A.hpp"
void b() {}
#endif
int main() { return 0; }
- De manera recursiva, se procesa la segunda inclusión.
#ifndef A
#define A
void a() {}
#endif
#ifndef B
#define B
#ifndef A
#define A
void a() {}
#endif
void b() {}
#endif
int main() { return 0; }
- Aplicamos las guardas de inclusión:
// A definido
void a() {}
// B definido
/* #ifndef A 'A' ya está definido, este código desaparece
#define A
void a() {}
#endif */
void b() {}
int main() { return 0; }
1Del inglés include guard.