2

Часто вижу, что процесс компиляции описывают примерно так: сорс -> ассемблер -> объектный файл -> бинарный файл. Но в том же gcc для получения ассемблера надо указать дополнительный флаг, а объектный файл в любом случае будет. Правда ли, что этот флаг выполняет другую (отдельную) процедуру, а не просто останавливает этот конвейер на втором шаге? Т.е. действительно ли C/С++ код компилируется в ассемблер, а после этого в байткод? Или ассемблера вообще может не быть в процессе генерации бинаря, если не указать флаг?

P.S.: вопрос не про стандарт (с его т.з. может быть что угодно), а про реальные компиляторы (gcc, clang, msvc).

9
  • 1
  • 1
    В реальных сценариях кодогенерация происходит только на последнем шаге, при создании бинаря. Собственно можете для проверки поглядеть, что хранится в объектных файлах. 14 янв в 9:01
  • @user7860670 хотите сказать, что в объектных файлах не бинарный код с незарезолвленными адресами, а текст?
    – cure
    14 янв в 9:08
  • 1
    Я не думаю, что там текст, скорее какое-то промежуточное представление. 14 янв в 9:16
  • 1
    Убедиться своими глазами элементарно — strace -f gcc -c test.c
    – user_587
    14 янв в 9:38

2 ответа 2

1

gcc сначала делает ассемблер, а потом с помощью as получает из него машинный код. clang и msvc сразу получают машинный код без промежуточного ассемблера.

1
  • clang транслирует в ассемблер LLVM, msvc в ассемблер 15 янв в 6:42
-3

Начать нужно с основ. Есть два вида программ: в машинных кодах (бинарник, исполняемый файл и пр.) и не в машинных кодах. Программу в машинных кодах исполняет непосредственно процессор. Программу не в машинных кодах исполняет интерпретатор, или иная исполняющая система, которая сама является программой в машинных кодах (либо ещё одним интерпретатором, но в конце концов всё доходит до машинных кодов).

Изначально компиляцией называлось преобразование программы в машинных код. Сейчас к этому добавилось преобразование в байт-код или промежуточный код, который потом выполняется интерпретатором. Компилятор, как правило, использует промежуточные т. н. объектные файлы. Это связано исключительно с многомодульностью и использованием каких-либо библиотек.

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

Примеры интерпретаторов: Питон, Руби, Ява-машина и пр. Обозреватель Интернета тоже является интерпретатором языка HTML и каких-то скриптовых языков. Может, при необходимости, подключать внешние интерпретаторы. Сам может быть как программой в машинных кодах, так и какой-то интерпретируемой программой.

Что касается компилятора C++. Генерация ассемблерного текста там - просто дополнительная опция.

И так, по пунктам:

  1. "Часто вижу, что процесс компиляции описывают примерно так: сорс -> ассемблер -> объектный файл -> бинарный файл" - Очевидно, это верно для языка C и компилятора gcc. Но для других компиляторов это может быть не так, ассемблер не является обязательным в этой цепочке.
  2. "Но в том же gcc для получения ассемблера надо указать дополнительный флаг, а объектный файл в любом случае будет" - похоже, что в качестве промежуточного языка согласно модели компилятора для C и gcc используется именно ассемблер.
  3. "Правда ли, что этот флаг выполняет другую (отдельную) процедуру, а не просто останавливает этот конвейер на втором шаге?" - нет.
  4. "Т.е. действительно ли C/С++ код компилируется в ассемблер, а после этого в байткод?" - для C и gcc да, но только не в байткод, а в машинный код.
  5. "вопрос не про стандарт (с его т.з. может быть что угодно), а про реальные компиляторы (gcc, clang, msvc)" - с другими компиляторами по-другому, как уже написали в комментариях.

Кстати, обратите вннимание, что assembler в буквальном переводе означает сборщик, то есть ассемблер - это язык для сборочных файлов. Скорее всего, когда-то так родилось, и с тех пор всё ещё используется в некоторых случаях. Большой проект мог быть написан на различных языках, потом он транслировался в ассемблер и потом собирался. А сейчас и памяти побольше, и дискового пространства, и технологии обработки информации усовершенствовались.

9
  • 1
    Реальный gcc (по крайней мере еще лет 10 назад) в ходе компиляции пишет ассемблер в .s и далее вызывает asm (а опция -S просто останавливает процесс в точке создения .s)
    – avp
    14 янв в 10:41
  • 1
    Кроме последнего предложения все не о том, что автор спрашивал. 14 янв в 10:43
  • @EugeneKrivenja как раз о том. Из вопроса видно, что автор, скорее всего, плохо понимает, о чём справшивает. А если бы он понимал тему, то искал бы ответ в другом месте.
    – rotabor
    14 янв в 10:48
  • @avp Очевидно, это особенность конкретного компилятора. Возможно, (некоторые) другие реализованы аналогично. Мы же понимаем, что ассемблер там совсем не нужен в качестве промежуточного языка. Скорее, это возможность для низкоуровневого программирования, анализа или чего-то подобного. Компилятор может использовать ассемблер, по ключу в командной строке выдавать текст в отдельный файл(ы).
    – rotabor
    14 янв в 10:53
  • 1
    А вы почитайте вопрос. Он про особенности конкретных компиляторов.
    – user_587
    14 янв в 10:54

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.