Come potrebbe essere scritto il primo compilatore C ++ in C ++?

Stroustrup afferma che Cfront, il primo compilatore C ++, è stato scritto in C ++ ( Stroustrup FAQ ).

Tuttavia, come è possibile che il primo compilatore C ++ sia scritto in C ++?

Anche il codice che compone il compilatore deve essere compilato, e quindi il primo compilatore C ++ non avrebbe potuto essere scritto in C ++, vero?

La chiave è proprio qui:

Il primo compilatore C ++ (Cfront) è stato scritto in C ++. Per costruirlo, per prima cosa ho usato C per scrivere un preprocessore da "C con classi" a C. "C with Classes" era un dialetto C che divenne l'antenato immediato del C ++. Quel preprocessore tradusse i costrutti "C con classi" (come classi e costruttori) in C. Era un preprocessore tradizionale che non capiva tutto il linguaggio, lasciava la maggior parte del controllo del tipo da compilare per il compilatore C e traduceva il singolo costruisce senza conoscenza completa. Ho quindi scritto la prima versione di Cfront in "C with Classes".

Quindi la prima versione di Cfront non è stata scritta in C ++, piuttosto nel linguaggio intermedio. La possibilità di creare compilatori e preprocessori C direttamente in C ha portato a molte delle innovazioni (e enormi buchi di sicurezza ) in C. Quindi scrivi il tuo nuovo preprosessor che trasforma il tuo codice "C con classi" in C dritto (perché C dritto può fare qualsiasi cosa) e poi usi "C with Classes" per scrivere un compilatore C ++ (non che non potresti farlo in C, ci vorrebbe un po 'di tempo) e poi usi quel compilatore C ++ per scrivere un compilatore più efficiente / completo in C ++. Fatto?

È stato avviato. Non appena una funzionalità C ++ è stata aggiunta a cfront, allora cfront potrebbe anche utilizzare quella funzione da quel punto in poi (ma non per implementare quella funzione). Questo ha funzionato perché cfront ha avuto la possibilità di convertire il codice C ++ in codice C. Quindi, se uscisse una nuova piattaforma, potresti usare cfront su un'altra piattaforma per convertire cfront da C ++ a C, quindi utilizzare il compilatore C della nuova piattaforma per completare la compilazione da C a codice oggetto.

Penso che BS risponda a questa domanda:

Il primo compilatore C ++ (Cfront) è stato scritto in C ++. Per costruirlo, per prima cosa ho usato C per scrivere un preprocessore da "C con classi" a C. "C with Classes" era un dialetto C che divenne l'antenato immediato del C ++. Quel preprocessore tradusse i costrutti "C con classi" (come classi e costruttori) in C. Era un preprocessore tradizionale che non capiva tutto il linguaggio, lasciava la maggior parte del controllo del tipo da compilare per il compilatore C e traduceva il singolo costruisce senza conoscenza completa.

Ho quindi scritto la prima versione di Cfront in "C with Classes". Cfront era un compilatore tradizionale che eseguiva la sintassi completa e il controllo semantico del sorgente C ++. Per questo, aveva un parser completo, costruiva tabelle di simboli e costruiva una rappresentazione ad albero interna completa di ogni classe, funzione, ecc. Inoltre, faceva un'ottimizzazione a livello di sorgente sulla sua rappresentazione ad albero interna dei costrutti C ++ prima di produrre C. La versione che generato C, non si basava su C per alcun controllo del tipo. Ha semplicemente usato C come assemblatore. Il codice risultante è stato incredibilmente veloce.

In primo luogo ha creato qualcosa che ha chiamato "C con classi" implementato da un semplice preprocessore in C. Era sostanzialmente C ++, ma il preprocessore ha fatto poco o nessun controllo. Ha quindi usato quello per scrivere Cfront, la versione più potente del traduttore di C ++ in C, completa di controllo del tipo, tabelle dei simboli, ecc.

Aggiungerò questa risposta poiché nessuna risposta ha coperto questo aspetto.

Tecnicamente non hai bisogno di software per compilare il codice. Finché si dispone delle specifiche del compilatore necessarie, è possibile eseguire manualmente la compilazione effettiva. Non è così che è stato compilato il primo compilatore C ++. Sto solo dicendo che è possibile.

Confronta con il linguaggio assembly. All'inizio, non esistevano software di assemblaggio per convertire il codice di assemblaggio in codice macchina. È stato fatto a mano, ma il linguaggio assembly ha dato ai programmatori una migliore visione d'insieme.