Môžete vysvetliť, čo sa rozumie pod pojmom Escape analýza v kontexte práce s pamäťou v programovaní?

Analýza úniku je proces v kompilátoroch (napríklad v Go), ktorý určuje presne, kde v pamäti má byť objekt uložený: na zásobníku alebo na halde.

Ak objekt "neunikne" z funkcie (ne ju "pokrýva"), môže byť umiestnený na zásobníku — je to rýchlejšie a bezpečnejšie, pretože pamäť sa automaticky uvoľní pri opustení funkcie.

Ak však objekt "pokrýva" funkciu (napríklad, je z nej vrátený alebo uložený v globálnej premennej), musí byť umiestnený na halde, aby žil dlhšie ako doba volania funkcie.

Príklad v Go:

func foo() *int {
    x := 10
    return &x // x "pokrýva" funkciu, preto je alokovaný na halde
}

Analýza úniku pomáha optimalizovať využitie pamäte a zlepšiť výkon programu.