Můžete vysvětlit, co se rozumí pod pojmem Escape analýza v kontextu práce s pamětí v programování?

Analýza úniku je proces v kompilátorech (například v Go), který určuje přesně, kde v paměti má být objekt uložen: na zásobníku nebo na haldě.

Pokud objekt "neunikne" z funkce (nebo ji "pokrývá"), může být umístěn na zásobníku — je to rychlejší a bezpečnější, protože paměť je automaticky uvolněna při opuštění funkce.

Pokud však objekt "pokrývá" funkci (například je z ní vrácen nebo uložen v globální proměnné), musí být umístěn na haldě, aby žil déle než doba volání funkce.

Příklad v Go:

func foo() *int {
    x := 10
    return &x // x "pokrývá" funkci, proto je alokován na haldě
}

Analýza úniku pomáhá optimalizovat využití paměti a zlepšit výkon programu.