PE-файл и жизненный цикл процессаThe PE file & process lifecycle

PE (Portable Executable) — формат исполняемых файлов Windows (.exe, .dll). Это не «сплошной блоб машинного кода», а структура из заголовков и именованных секций, каждая из которых имеет собственные атрибуты доступа (читать/писать/исполнять) и собственное содержимое. Linux/macOS используют структурно похожие, но other форматы (ELF, Mach-O) — идея секций, заголовков и таблиц импорта у них та же, различаются детали и названия.PE (Portable Executable) is Windows's executable file format (.exe, .dll). It isn't "one solid blob of machine code" — it's a structure of headers and named sections, each with its own access attributes (read/write/execute) and its own content. Linux/macOS use structurally similar but different formats (ELF, Mach-O) — the idea of sections, headers, and import tables is the same; the details and names differ.

Разные виды «констант» физически лежат в разных секциях файла на диске — это прямой ответ на вопрос «а где это всё до запуска»:Different kinds of "constants" physically live in different sections of the file on disk — this directly answers "where is all this before the program even runs":

const char* greeting = "hello";   // "hello" → .rdata, указатель greeting → .data// "hello" → .rdata, the pointer greeting itself → .data
const int MAX_SIZE = 100;      // почти всегда инлайнится компилятором в .text напрямую как immediate// almost always inlined by the compiler straight into .text as an immediate
int global_counter = 0;       // в .bss — 0 не хранится, только "выдели 4 байта и обнули"// in .bss — the 0 isn't stored, just "allocate 4 bytes and zero them"
int initial_value = 42;      // в .data — 42 реально записано в файл на диске// in .data — the 42 is actually written into the file on disk
static int local_static = 7;  // тоже .data — область видимости не влияет на секцию// also .data — scope doesn't affect which section it lands in

void f() {
    int local = 5;             // нигде в файле — существует только на стеке в рантайме// nowhere in the file — exists only on the stack at runtime
}

.bss — самая контринтуитивная деталь: раздел называется Block Started by Symbol, и в файле на диске для него хранится только число — «здесь нужно N байт, заполненных нулями». Если бы 10 МБ глобального массива нулей реально записывались в файл побайтово, каждый такой файл был бы аномально раздут. Загрузчик сам выделяет и обнуляет эту память при старте процесса — на диске нулей физически нет.The .bss section is the most counterintuitive detail: the name stands for Block Started by Symbol, and on disk it stores only a number — "N bytes are needed here, filled with zeros." If a 10 MB global array of zeros were actually written byte-by-byte into the file, every such binary would be absurdly bloated. The loader allocates and zeroes that memory itself when the process starts — no zeros physically exist on disk.

• Microsoft Learn — PE Format specification
• Wikipedia — Portable Executable