Kā atmiņā tiek saglabāti programmēšanas valodas griezumu izmēri un rezerves apjomi?

Go valodā, šķēle (slice) ir struktūra, kas satur trīs galvenos laukus:

1. Masīva norādītājs — adreses uz pirmo šķēles elementu atmiņā.
2. Garums (len) — pieejamo elementu skaits lasīšanai.
3. Jauda (cap) — maksimālais elementu skaits, ko šķēle var ietvert bez jaunas atmiņas piešķiršanas.

Atmiņā šķēle ir aptuveni šādi attēlota:

type SliceHeader struct {
    Data uintptr // norādītājs uz masīvu
    Len  int     // šķēles garums
    Cap  int     // šķēles jauda
}

Izveidojot šķēli, tiek piešķirts masīvs ar noteiktu jaudu. Ja pievienojot elementus, garums pārsniedz jaudu, tiek piešķirts jauns lielāks masīvs un dati tiek kopēti tur.

Rezervētā jauda (capacity) ļauj efektīvi pārvaldīt atmiņu, samazinot piešķiršanas reižu skaitu, palielinoties šķēlei.

Piemērs:

s := make([]int, 3, 5) // garums=3, jauda=5
s = append(s, 4)        // garums=4, jauda=5
s = append(s, 5)        // garums=5, jauda=5
s = append(s, 6)        // garums=6, jauda=10 (jauns atmiņas piešķiršana)

Tādējādi, šķēles izmēri un rezervētās jaudas tiek glabātas šķēles struktūrā un automātiski pārvaldītas izpildes laikā.