Mengapakah `append()` Golang Nampaknya Mengubah Suai Slice Selepas Ia Dihantar Melalui Saluran?

Bilakah Golang append() Mencipta Slice Baharu?

Dokumentasi untuk append() menunjukkan bahawa ia akan memperuntukkan kepingan baharu dan salin elemen apabila kapasiti kepingan asal tidak mencukupi. Walau bagaimanapun, percanggahan timbul apabila memeriksa output kod berikut, yang menghasilkan gabungan abjad boolean.

<code class="go">package main

import (
    "fmt"
)

func AddOption(c chan []bool, combo []bool, length int) {
    if length == 0 {
        fmt.Println(combo, "!")
        c <- combo
        return
    }
    var newCombo []bool
    for _, ch := range []bool{true, false} {
        newCombo = append(combo, ch)
        AddOption(c, newCombo, length-1)
    }
}

func main() {
    c := make(chan []bool)
    go func(c chan []bool) {
        defer close(c)
        AddOption(c, []bool{}, 4)
    }(c)
    for combination := range c {
        fmt.Println(combination)
    }
}</code>

Pemerhatian Berbeza

Dalam output, baris yang berakhir dengan tanda seru mewakili hirisan yang dihantar melalui saluran oleh AddOption, manakala baris tanpa tanda seru menunjukkan hirisan yang diterima dalam main(). Nyata, kepingan yang dihantar melalui saluran kelihatan diubah suai selepas dihantar, walaupun append() didakwa mengembalikan kepingan baharu.

Memeriksa Sumber

Sekatan kod yang boleh dipersoalkan ialah:

<code class="go">var newCombo []bool
for _, ch := range []bool{true, false} {
    newCombo = append(combo, ch)
    AddOption(c, newCombo, length-1)
}</code>

Menurut dokumentasi, append() harus mengembalikan deskriptor hirisan baharu yang menunjuk kepada tatasusunan data asas baharu apabila kapasiti kepingan asal tidak mencukupi. Walau bagaimanapun, nilai yang diluluskan sebagai argumen kedua kepada AddOption mungkin sama ada penunjuk kepada deskriptor hirisan atau salinan tulen deskriptor hirisan.

Menjelaskan Gelagat

Jawapan kepada soalan ini terletak pada membezakan antara jenis data kepingan dan perwakilan sebenar. Deskriptor hirisan terdiri daripada dua integer untuk panjang dan kapasiti, bersama-sama dengan penuding kepada data asas.

Walaupun append() mengembalikan deskriptor hirisan baharu dengan tatasusunan data asas yang berpotensi berbeza, penunjuk kepada data kekal sama melainkan kapasiti diperluaskan. Ini bermakna walaupun deskriptor hirisan itu sendiri adalah salinan, nilai penunjuk (alamat kepada data asas) dikongsi.

Contoh Tambahan

Untuk ilustrasi, pertimbangkan ini coretan kod:

<code class="go">package main

import "fmt"

func main() {
    s := make([]int, 0, 5)
    s = append(s, []int{1, 2, 3, 4}...)

    a := append(s, 5)
    fmt.Println(a)

    b := append(s, 6)
    fmt.Println(b)
    fmt.Println(a)
}</code>

Kod ini mencetak:

[1 2 3 4 5]
[1 2 3 4 6]
[1 2 3 4 6]

Pada mulanya, s mempunyai kapasiti yang mencukupi, jadi a dan b berkongsi penuding data asas yang sama. Walau bagaimanapun, jika kita mengurangkan kapasiti s kepada 4, output berubah kepada:

[1 2 3 4 5]
[1 2 3 4 6]
[1 2 3 4 5]

Ini menunjukkan bahawa a dan b hanya berkongsi data asas yang sama apabila s mempunyai kapasiti yang mencukupi.

Atas ialah kandungan terperinci Mengapakah `append()` Golang Nampaknya Mengubah Suai Slice Selepas Ia Dihantar Melalui Saluran?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!