Можешь объяснить модель выполнения кода в Python, включая то, как исходный код обрабатывается на этапах компиляции и интерпретации?

Обзор

Модель выполнения Python включает два основных этапа: компиляцию и интерпретацию. Самая распространённая реализация, CPython, обрабатывает оба.

Этап 1: Компиляция

Когда ты запускаешь Python-скрипт, исходный код (файл .py) сначала компилируется в байт-код — низкоуровневое, независимое от платформы представление. Этот байт-код кэшируется в файлах .pyc внутри директории __pycache__, что позволяет Python пропустить перекомпиляцию, если исходный код не изменился.

Этап 2: Интерпретация

Скомпилированный байт-код затем выполняется виртуальной машиной Python (PVM), которая последовательно читает и интерпретирует каждую инструкцию. PVM не выполняет исходный код в сыром виде — она работает с оптимизированным байт-кодом, полученным на предыдущем этапе.

Альтернативные реализации

Не все реализации Python следуют этой точной модели:

• PyPy использует JIT-компиляцию, преобразуя часто выполняемый байт-код в нативный машинный код во время выполнения — что даёт значительно более высокую скорость
• Jython компилирует Python-код в Java-байт-код, работающий на JVM
• IronPython нацелена на среду выполнения .NET

Главные выводы

• CPython — это гибрид: компилирует в байт-код, затем интерпретирует его
• Python часто называют «интерпретируемым», но это упрощение — этап компиляции всегда происходит
• Файлы .pyc — это оптимизация, а не требование — Python автоматически пересоздаёт их при необходимости
• Выбор реализации существенно влияет на характеристики производительности