Что делает компилятор в C?

Что делает компилятор в C

Общая картина

Компилятор преобразует исходный код на C в исполняемый бинарный файл через несколько этапов.

Этапы компиляции

1. Препроцессинг

Обработка директив #include, #define, условной компиляции.

#include <stdio.h>
#define MAX 100
int arr[MAX];  // MAX заменится на 100

Результат: expanded source file с раскрытыми макросами и включённые файлы.

2. Лексический анализ

Разбиение исходного кода на токены (tokens).

Строка "int x = 5;" преобразуется в последовательность: [INT] [ID(x)] [ASSIGN] [NUM(5)] [SEMICOLON]

Компилятор создаёт таблицу символов.

3. Синтаксический анализ (Parsing)

Токены объединяются в синтаксическое дерево (AST).

Проверяется корректность синтаксиса:

• Скобки открыты и закрыты
• Инструкции завершены точкой с запятой
• Операции выполняются в правильном порядке

Если синтаксис неправильный, выдаётся ошибка.

4. Семантический анализ

Проверка смысла кода:

• Существуют ли переменные и функции
• Совместимы ли типы
• Доступны ли переменные в этой области видимости
• Правильны ли параметры функции

5. Генерация промежуточного кода

Преобразование AST в промежуточное представление (IR) для оптимизации.

Это более низкоуровневое представление, которое легче оптимизировать.

6. Оптимизация

Компилятор проводит оптимизации:

• Constant folding: "int x = 5 + 3;" становится "int x = 8;"
• Dead code elimination: удаление неиспользуемого кода
• Inlining: встраивание малых функций
• Loop unrolling: развёртывание циклов
• Register allocation: оптимальное распределение регистров

7. Генерация ассемблерного кода

Преобразование IR в ассемблерный код для целевого процессора (x86, ARM, etc).

Пример (x86-64):

mov 5, eax
add 3, eax
mov eax, [rbp-4]

8. Ассемблирование

Преобразование ассемблерного кода в машинный код (binary).

Создаётся объектный файл (.o на Linux).

9. Компоновка (Linking)

Линкер объединяет:

• Ваш объектный файл
• Стандартную библиотеку (libc)
• Другие подключённые библиотеки

Линкер находит определения всех внешних функций и переменных и связывает их вместе.

Результат: исполняемый файл (a.out на Linux, .exe на Windows).

Полный процесс на примере

Для простого файла hello.c:

#include <stdio.h>

int main() {
    printf("Hello\n");
    return 0;
}

Команда: gcc hello.c -o hello

Компилятор:

1. Препроцессирует (раскроет stdio.h)
2. Лексически анализирует
3. Парсит и создаёт AST
4. Проверяет семантику
5. Генерирует промежуточный код
6. Оптимизирует
7. Генерирует ассемблер
8. Ассемблирует в машинный код
9. Линкер объединяет с libc
10. Создаёт исполняемый файл hello

Оптимизационные флаги

• -O0: нет оптимизаций (по умолчанию)
• -O1: базовые оптимизации
• -O2: агрессивные оптимизации (стандарт для production)
• -O3: максимальные оптимизации
• -Os: оптимизация по размеру

Высокие уровни оптимизации могут дать 10x и более прирост производительности.

Что видно разработчику

# Посмотреть ассемблерный код
gcc -S hello.c -o hello.s
cat hello.s

# Посмотреть объектный файл
gcc -c hello.c -o hello.o
objdump -d hello.o

# Просмотреть таблицу символов
nm hello.o

# Просмотреть зависимости
ldd hello

Резюме

Компилятор это сложная программа, которая:

1. Анализирует исходный код (препроцессинг, лексический и синтаксический анализ)
2. Проверяет корректность (семантический анализ)
3. Оптимизирует (различные оптимизации)
4. Генерирует машинный код (ассемблер и машинный код)
5. Связывает с библиотеками (линкинг)

Всё это происходит автоматически за одну команду gcc или clang.