Taulukko (array) on kiinteän kokoisuus, joka on osa sen tyyppiä; slice on joustava, dynaamisesti mitoitettava näkymä taustalla olevaan taulukkoon. Käytännössä käytät lähes aina slice-objekteja — taulukot ovat harvinaisia tavallisessa Go-kehityksessä.
arr []
arr[] =
fmt.Println((arr))
Taulukon koko on kiinteä käännöshetkellä ja osa sen tyyppiä ([5]int ≠ [3]int). Taulukot ovat myös arvo-tyyppisiä — niiden osoittaminen tai välittäminen kopioi koko taulukon. Tämä jäykkyys on syy siihen, että niitä käytetään harvoin suoraan.
s := []int{1, 2, 3} // a slice (no size in the brackets)
s = append(s, 4) // grow it — append returns a new slice
fmt.Println(len(s), cap(s)) // length and capacity
nums := make([]int, 0, 10) // make a slice: length 0, capacity 10 (pre-allocated)
Slice-objektilla ei ole kiinteää kokoa — voit kasvattaa sitä append-funktiolla. Se on jokapäiväinen dynaaminen sekvenssi.
A slice is a small struct: { pointer to underlying array, length, capacity }
- len = number of elements currently in the slice
- cap = size of the underlying array from the slice's start
append: if len < cap, reuses the array; if len == cap, allocates a BIGGER array & copies
original := []int{1, 2, 3, 4, 5}
sub := original[1:3] // [2, 3] — a VIEW into the same backing array
sub[0] = 99 // ⚠️ also changes original[1] → [1, 99, 3, 4, 5]!
Slicing-operaatio (s[low:high]) ei kopioi — se luo uuden slice-headerin, joka osoittaa samaan taustalla olevaan taulukkoon. Toisen muokkaaminen voi vaikuttaa toiseen — tavallinen hienovaraisten virheiden lähde. Käytä copy()-funktiota itsenäisen kopion tekemiseen.
a := []int{1, 2, 3}
b := append(a, 4) // may or may not share a's array depending on capacity
// safe pattern: always use the RETURNED slice from append
a = append(a, 4)
Slice-objektit ovat yksi Go:n eniten käytetyistä ja väärinymmärretyimmistä ominaisuuksista.
Ymmärtäminen siitä, että taulukot ovat kiinteiden kokoiset arvo-tyypit (harvoin käytetyt suoraan) kun taas slice-objektit ovat joustavia, viitteeltään muistuttavia näkymiä taustalla olevaan taulukkoon (jokapäiväinen työkalu), on perustavaa laatua olevaa tietoa.
Ratkaisevaa on tietää jaetun taustalla olevan taulukon käyttäytyminen — että slicing-operaatio luo näkymän, ei kopiota, joten muutokset voivat vaikuttaa muihin slice-objekteihin, ja että append voi tai ei välttämättä uudelleenvaraa muistia — tämä estää hienovaraisten, vaikeasti debugattavien aliasing-virheiden luokan, joka huijaa jopa kokeneita kehittäjiä.
Slice-objektien hallitseminen (len vs cap, append, copy, jakamisen sudenkuopat) on välttämätöntä jokapäiväistä Go-tietoa ja usein kysytty haastattelu-aihe, koska lähes kaikki kokoelman käsittely käyttää niitä.