Что находится между Source Code и Bytecode

Java Compilation Pipeline - От исходного кода к Bytecode

Между исходным Java кодом и байт-кодом происходит несколько критических этапов обработки.

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

Source Code (.java) → Bytecode (.class)

┌─────────────────────────────────────────────────────────┐
│  Source Code (.java файл)                               │
│  ┌────────────────────────────────────────────────────┐ │
│  │ public class HelloWorld {                          │ │
│  │     public static void main(String[] args) { }    │ │
│  │ }                                                  │ │
│  └────────────────────────────────────────────────────┘ │
└─────────────┬───────────────────────────────────────────┘
              │
              ▼
         COMPILATION
    (javac HelloWorld.java)
              │
┌─────────────▼───────────────────────────────────────────┐
│  Bytecode (.class файл)                                 │
│  ┌────────────────────────────────────────────────────┐ │
│  │ CA FE BA BE (Java class file magic)               │ │
│  │ 00 00 00 37 (Version Java 1.8)                    │ │
│  │ ... (методы, поля, атрибуты в бинарном формате)  │ │
│  └────────────────────────────────────────────────────┘ │
└─────────────────────────────────────────────────────────┘

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

1. Лексический анализ (Lexical Analysis)

// Исходный код
public class Parser {
    public void test() { }
}

// Лексер разбирает на токены:
// Token(KEYWORD: public)
// Token(KEYWORD: class)
// Token(IDENTIFIER: Parser)
// Token(LBRACE: {)
// Token(KEYWORD: public)
// Token(KEYWORD: void)
// Token(IDENTIFIER: test)
// Token(LPAREN: ()
// Token(RPAREN: ))
// ... и т.д.

2. Синтаксический анализ (Syntax Analysis)

Парсер проверяет, что токены следуют правилам Java грамматики.

// Синтаксическое дерево (AST - Abstract Syntax Tree)
CompilationUnit
├── ClassDeclaration (Parser)
│   ├── Modifier: public
│   ├── Identifier: Parser
│   └── MethodDeclaration (test)
│       ├── Modifier: public
│       ├── ReturnType: void
│       ├── Identifier: test
│       └── Block: { }

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

Проверяет:

• Типизация переменных
• Видимость методов и полей
• Наследование и интерфейсы
• Исключения

// ✓ Правильно
List<String> list = new ArrayList<>();
list.add("Hello");

// ✗ Ошибка типизации (будет поймана на семантическом анализе)
List<String> list = new ArrayList<>();
list.add(123);  // Error: incompatible types

4. Оптимизация (Optimization)

Компилятор может:

• Свернуть константы
• Удалить мёртвый код
• Встроить методы
• Оптимизировать циклы

// Оригинальный код
public int calculate() {
    int a = 5;
    int b = 10;
    int c = a + b;
    return c * 2;  // Всегда 30
}

// После оптимизации
public int calculate() {
    return 30;  // Результат вычислен на compile-time
}

Структура Java Bytecode

Заголовок .class файла:

Magic number:        CA FE BA BE (0xCAFEBABE)
Minor version:       00 00 (Java 1.0+)
Major version:       00 37 (Java 1.8 = 52)

// Пример для Java 1.8:
// Major 52 (Java 8)
// Major 55 (Java 11)
// Major 61 (Java 17)

Основные секции:

┌──────────────────────────────────────────┐
│ Class file structure                     │
├──────────────────────────────────────────┤
│ Magic + Version                          │
├──────────────────────────────────────────┤
│ Constant Pool                            │
│ - String constants                       │
│ - Class references                       │
│ - Method references                      │
├──────────────────────────────────────────┤
│ Access Flags (public, final, abstract)   │
├──────────────────────────────────────────┤
│ Class, Super class, Interfaces           │
├──────────────────────────────────────────┤
│ Fields (переменные)                      │
├──────────────────────────────────────────┤
│ Methods (методы с bytecode)              │
├──────────────────────────────────────────┤
│ Attributes (SourceFile, LocalVariableTable, etc)
└──────────────────────────────────────────┘

Пример преобразования кода в Bytecode

Java код:

public class SimpleExample {
    public int add(int a, int b) {
        return a + b;
    }
}

Соответствующий Bytecode (javap -c):

public int add(int, int);
    0: iload_1              // Загрузить первый параметр (a)
    1: iload_2              // Загрузить второй параметр (b)
    2: iadd                 // Сложить два значения
    3: ireturn              // Вернуть результат

Компилятор javac - детали

# Базовая компиляция
javac HelloWorld.java

# С debug информацией
javac -g HelloWorld.java

# Для конкретной версии Java
javac -source 1.8 -target 1.8 HelloWorld.java

# Verbose вывод
javac -verbose HelloWorld.java

Перепроверка типов (Type Erasure)

Java использует Type Erasure для Generics:

// Оригинальный код с генериками
List<String> list = new ArrayList<String>();
list.add("Hello");

// После Type Erasure (в bytecode)
List list = new ArrayList();  // Generic информация удалена
list.add("Hello");

Инструменты для анализа Bytecode

# Просмотр структуры .class файла
javap -c HelloWorld.class

# Более подробный вывод
javap -private -v HelloWorld.class

# Декомпиляция обратно в Java (если возможно)
cfr HelloWorld.class

Bytecode — это промежуточное представление, которое JVM может интерпретировать или компилировать in runtime (JIT compilation).