Як міг записати перший компілятор C ++ в C ++?

Stroustrup стверджує, що Cfront, перший компілятор C ++, був написаний на C ++ ( Stroustrup FAQ ).

Однак як можливо навіть перший компілятор C ++ записати на C ++?

Код, що складається з компілятора, теж повинен бути скомпільований, і тому перший компілятор C ++ не міг бути записаний на C ++, чи не так?

Ключ тут:

Перший компілятор C ++ (Cfront) був написаний на C ++. Щоб побудувати це, я вперше застосував C, щоб записати "C з класами" -процесором C. "C з класами" - це діалект С, який став безпосереднім предком С ++. Цей препроцесор переклав на C. конструкти "C з класами" (наприклад, класи та конструктори). Це був традиційний препроцесор, який не розумів усі мови, залишив більшість перевірок типу для компілятора C і переклав окремі конструкції без повних знань. Тоді я написав першу версію Cfront у "C з класами".

Отже, перша версія Cfront була написана не на C ++, а на проміжній мові. Можливість створювати компілятори C і препроцесори безпосередньо в C призвела до багатьох нововведень (і масивних отворів у захисті ) в C. Отже, ви пишете свій новий препросесор, який перетворює ваш код "C з класами" в прямий C (адже прямий C може зробити що-небудь), а потім ви використовуєте "C з класами", щоб написати компілятор C ++ (не те, що ви не могли зробити це в C, просто це займе деякий час), а потім ви використовуєте цей компілятор C ++, щоб написати більш ефективний / повний компілятор у C ++. Зрозумів?

Це було завантажено. Як тільки функція C ++ була додана до cfront, тоді cfront також може використовувати цю функцію з цього моменту (але не для реалізації цієї самої функції). Це спрацювало, оскільки cfront мав можливість конвертувати C ++ код у код C. Отже, якщо вийшла якась нова платформа, ви можете використовувати cfront на іншій платформі для перетворення cfront з C ++ в C, а потім використовувати компілятор C нової платформи для завершення компіляції з C в об'єктний код.

Я думаю, що BS відповідає на це питання:

Перший компілятор C ++ (Cfront) був написаний на C ++. Щоб побудувати це, я вперше застосував C, щоб записати "C з класами" -процесором C. "C з класами" - це діалект С, який став безпосереднім предком С ++. Цей препроцесор переклав на C. конструкти "C з класами" (наприклад, класи та конструктори). Це був традиційний препроцесор, який не розумів усі мови, залишив більшість перевірок типу для компілятора C і переклав окремі конструкції без повних знань.

Тоді я написав першу версію Cfront у "C з класами". Cfront був традиційним компілятором, який робив повний синтаксис та семантичну перевірку джерела C ++. Для цього він провів повний аналізатор, побудував таблиці символів та побудував повне внутрішнє подання дерев кожного класу, функції тощо. Він також здійснив деяку оптимізацію рівня джерела на своєму внутрішньому представленні дерева конструкцій C ++ перед виведенням C. Версія, що згенерований C, не покладався на C для будь-якої перевірки типу. Він просто використовував С як асемблер. Отриманий код був безкомпромісно швидким.

Спочатку він створив щось, що він назвав "C з класами", реалізований простим препроцесором у C. Це був C ++, але препроцесор мало перевіряв або не перевіряв. Потім він використав це для написання Cfront, більш потужної версії перекладача C ++ на C, у комплекті з перевіркою типів, таблицями символів тощо.

Я додам цю відповідь, оскільки жодна відповідь не охоплювала цей аспект.

Технічно вам не потрібно програмне забезпечення для складання коду. Поки у вас є необхідні специфікації компілятора, ви можете робити фактичну компіляцію вручну. Це не так, як був складений перший компілятор C ++. Я просто кажу, що це можливо.

Порівняйте з мовою складання. Коли вони використовувались в перші дні, не було програмного забезпечення асемблера для перетворення коду складання в машинний код. Це було зроблено вручну, але мова складання дала програмістам кращий огляд.