Fases de la traducción

El compilador procesa el archivo fuente C++ como si tuvieran lugar las siguientes fases, en este orden exacto:

Fase 1

Fase 2

Fase 3

Se mantienen las nuevas líneas, y no se especifica si las secuencias de espacios en blanco que no son de nueva línea pueden colapsarse en caracteres de un solo espacio.

Si la entrada se transformó en tókenes de preprocesamiento hasta un carácter dado, generalmente el siguiente token de preprocesamiento se toma como la secuencia más larga de caracteres que puede formar un token de preprocesamiento, incluso si eso causa un error en el análisis posterior. Comúnmente esto se conoce como maximal munch o "mascada máxima" debido a que el preprocesamiento "masca" un número máximo de caracteres de la entrada.

int foo = 1;
int bar = 0xE+foo;   // error, preproceso erróneo de número 0xE+foo
int baz = 0xE + foo; // correcto

int quux = bar+++++baz; // error: bar++ ++ +baz, no bar++ + ++baz.

Las únicas excepciones a la regla maximal munch son:

#define R "x"
const char* s = R"y"; // literal cadena sin formato mal formada, no "x" "y"
const char* s2 = R"(a)" "b)"; // un literal de cadena sin formato seguido 
                              // de un literal de cadena normal

struct Foo { static const int v = 1; };
std::vector<::Foo> x;  // Correcto, <: no se entiende como el token alternativo para [
extern int y<::>;      // Correcto, lo mismo que extern int y[].
int z<:::Foo::value:>; // Correcto, int z[::Foo::value];

• Los tókenes de preprocesamiento de nombres de encabezado solo se forman dentro de una directiva #include

std::vector<int> x; // Correcto, <int> no es el nombre de un encabezado

Fase 4

Fase 5

Fase 6

Los literales de cadena contiguos se concatenan.

Fase 7

Tiene lugar la compilación: cada token de preprocesamiento se convierte en un token. Los tókenes son analizados sintácticamente y semánticamente y traducidos como una unidad de traducción.

Fase 8

Se examina cada unidad de traducción para producir una lista de instancias de plantillas requeridas, incluidos las solicitadas por instancias explícitas. Se localizan las definiciones de las plantillas, se realizan las instanciaciones requeridas para producir unidades de instanciación.

Fase 9

Las unidades de traducción, las unidades de instanciación y los componentes de biblioteca necesarios para satisfacer las referencias externas se recopilan en una imagen de programa que contiene la información necesaria para la ejecución en su entorno de ejecución.

Notas

Algunos compiladores no implementan las unidades de instanciación (también conocidas como repositorio de plantillas o registros de plantillas) y simplemente compila cada instanciación de plantilla en la fase 7, almacenando el código en el archivo objeto donde se solicita implícita o explícitamente, y luego el enlazador une esas instancias compiladas en una en la fase 9.

Referencias

Véase también