На каком языке написан C++: разбор устройства компиляторов и самого языка

Представьте, что вам нужно построить дом, но у вас нет кирпичей - только чертежи того, как их делать. В программировании происходит примерно то же самое, когда мы задаемся вопросом, на чем написан язык. На первый взгляд кажется, что тут есть какой-то подвох: разве язык не является просто набором правил? Но чтобы эти правила превратились в работающую программу на вашем компьютере, нужен переводчик. Этот переводчик и есть главный секрет того, на чем «написан» C++.

Главный секрет: язык - это не программа

Прежде всего, давайте разделим две вещи: сам язык и инструмент, который его обрабатывает. C++ сам по себе - это спецификация. Это огромный документ, где описано, что значит слово int или как работает цикл for. В этом документе нет ни одной строчки кода, потому что это свод правил, стандарт. Когда мы спрашиваем «на каком языке написан C++», мы на самом деле имеем в виду: «На каком языке написан компилятор C++?». Компилятор - это программа, которая берет ваш текст на C++ и превращает его в машинный код, который понимает процессор. И вот тут начинается самое интересное, потому что в этой истории замешана «рекурсия» или, говоря по-простому, замкнутый круг.

Метод «самоприменимости»: Bootstrapping

Большинство современных компиляторов C++ написаны на самом C++. Вы можете спросить: «Погодите, если компилятор написан на C++, то кто скомпилировал сам компилятор?». Этот процесс называется бутстраппинг (от англ. bootstrap - «вытягивать себя за шнурки ботинка»). Это работает так:

1. Сначала создается очень простой компилятор на каком-то другом, уже существующем языке (например, на C или даже на Ассемблере).
2. С помощью этого простого компилятора пишут более сложный компилятор, но уже на самом языке C++.
3. Затем этот новый компилятор компилирует сам себя, становясь основным инструментом.

Если вы посмотрите на код GCC (GNU Compiler Collection) или Clang, вы увидите там огромное количество кода на C++, который отвечает за оптимизацию и анализ синтаксиса. Это позволяет разработчикам языка использовать все новые фишки C++ для улучшения самого компилятора.

Роль языка C в истории C++

Нельзя забывать, что Бьярне Страуструп, создатель языка, изначально задумывал его как «C с классами». В самом начале 1980-х годов C++ не был отдельным языком с собственным компилятором. Существовал инструмент под названием Cfront. Cfront не был компилятором в привычном смысле. Он был «транслятором». Он брал код на C++ и переписывал его в обычный код на C. После этого стандартный компилятор языка C превращал этот код в исполняемый файл. Таким образом, первые версии C++ фактически «жили» за счет языка C.

Спуск на самое дно: Ассемблер и машинный код

Если мы продолжим копать глубже, то поймем, что никакой язык высокого уровня (будь то C++ или C) не может напрямую общаться с «железом». В конечном итоге всё, что делает компилятор - это переводит сложные конструкции вроде std::vector в инструкции Ассемблера. Ассемблер - это фактически текстовое представление машинного кода. Каждой команде процессора (например, «сложить два числа в регистрах») соответствует короткое слово (например, ADD). Таким образом, цепочка выглядит так:

C++ $\rightarrow$ (Компилятор на C++/C) $\rightarrow$ Ассемблер $\rightarrow$ Машинный код (бинарный вид: 0 и 1) $\rightarrow$ Электрические сигналы в транзисторах процессора.

Современные реализации: Clang и LLVM

Сегодня одним из самых популярных способов превратить C++ в программу является связка Clang и LLVM. Clang выступает в роли «фронтенда». Он читает ваш код, проверяет его на ошибки и превращает в промежуточное представление (IR - Intermediate Representation). Это нечто среднее между C++ и ассемблером. Затем в дело вступает LLVM («бэкенд»). Он берет этот промежуточный код и оптимизирует его так, чтобы программа работала максимально быстро на конкретном процессоре (будь то Intel, AMD или Apple M3). И самое интересное: LLVM написан преимущественно на C++. Это еще один пример того, как язык используется для создания инструментов самого себя.

Почему нельзя написать язык «с нуля» без другого языка?

Это один из самых частых вопросов новичков. Ответ прост: процессор не понимает слова. Он понимает только напряжение тока. Чтобы создать первый язык программирования, человеку пришлось вручную переключать тумблеры на панели компьютера или использовать перфокарты, буквально вводя единицы и нули. Когда первый, примитивный компилятор был написан на машинных кодах вручную, он позволил создать язык более высокого уровня (например, Fortran или C). Как только у нас появился C, мы смогли писать на нем компиляторы для C++, что в сотни раз ускорило процесс разработки. Мы больше не возвращаемся к ручному вводу нулей, потому что создали надежную «лестницу» из языков.

Практический взгляд: что это значит для программиста?

Понимание того, что C++ написан на самом себе и в итоге превращается в машинный код, дает важные инсайты для оптимизации:

• Управление памятью: Поскольку C++ близок к железу, вы можете управлять тем, где именно в оперативной памяти лежат данные. Это делает его незаменимым для разработки игр (Unreal Engine) и операционных систем (Windows, macOS).
• Скорость: Отсутствие «посредника» в виде виртуальной машины (как в Java или C#) позволяет коду выполняться с максимальной скоростью, которую может выдать процессор.
• Переносимость: Чтобы C++ работал на новом устройстве, не нужно переписывать весь язык - достаточно написать новый «бэкенд» компилятора, который будет генерировать инструкции под конкретный процессор.

Сравнение уровней абстракции

Чтобы окончательно уложить всё в голове, давайте посмотрим, как данные проходят путь от вашего текстового редактора до физического выполнения в чипе.