Go의 Append() 함수는 언제 새 슬라이스를 생성합니까?

Go의 Append()는 언제 새 슬라이스를 생성합니까?

Go 언어의 Append() 함수는 기존 슬라이스를 확장하는 데 사용됩니다. 내장된 API 문서에 따르면 원래 슬라이스의 용량이 부족할 때 추가()는 더 큰 용량의 새 슬라이스를 생성할 수 있습니다.

그러나 이 동작은 재귀 알고리즘의 맥락에서 고려할 때 의문을 제기합니다. 특히 다음 알고리즘은 알파벳 조합을 생성합니다.

<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>

이 코드에서 AddOption 함수는 알파벳 멤버를 슬라이스에 재귀적으로 추가하여 결과를 채널을 통해 보냅니다. 그러나 관찰 결과에 따르면 채널로 전송된 슬라이스는 전송된 후 수정됩니다.

append()가 새 슬라이스를 반환해야 한다고 문서에 나와 있지만 코드의 동작은 그렇지 않음을 암시하기 때문에 모순이 발생합니다. 이 문서에서는append()의 기본 메커니즘을 조사하고 새 슬라이스를 생성하는 시기를 명확히 설명합니다.

슬라이스 표현 이해

append()의 동작을 이해하려면 다음을 수행하세요. 슬라이스의 내부 표현을 이해하는 데 중요합니다. 슬라이스는 독립형 모양에도 불구하고 독립적인 데이터 구조가 아닙니다. 대신 실제 데이터의 기본 배열을 가리키는 설명자로 구성됩니다.

슬라이스 설명자는 세 가지 구성 요소로 구성됩니다.

1. 길이: 현재 슬라이스에 있는 요소 수 .
2. 용량: 기본 배열이 보유할 수 있는 요소 수.
3. 데이터 포인터: 기본 배열의 첫 번째 요소에 대한 포인터.

Append()의 반환 값

append()가 사용될 때 함수는 고유한 길이, 용량 및 데이터 포인터를 가진 새로운 슬라이스 설명자를 생성합니다. 이는 add() "새 배열 블록에 재할당 및 복사"라는 문서와 일치합니다.

그러나 이로 인해 또 다른 질문이 제기됩니다. 왜 슬라이스를 변경합니까? 설명자는 채널로 전송된 후 원본 슬라이스에 유지됩니까?

공유 참조 이해

이 문제를 해결하는 열쇠는 슬라이스 설명자. 이 포인터는 기본 데이터의 복사본을 생성하지 않습니다. 이는 원본 슬라이스와 동일한 데이터를 가리킵니다.

따라서 슬라이스에 추가()를 사용할 때 새 슬라이스 설명자를 생성하더라도 데이터 포인터는 동일하게 유지됩니다. 즉, 두 슬라이스 설명자의 요소에 대한 모든 수정 사항은 수정이 발생한 위치에 관계없이 두 슬라이스에 모두 반영됩니다.

데모

이 개념을 설명하려면 , 다음 코드 조각을 고려하세요.

<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>

이 코드가 실행되면 다음이 출력됩니다.

<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>

이 예에서 슬라이스 a와 b는 처음에 동일한 기본 데이터를 공유합니다. 그러나 b에 새 값이 할당되면 새로운 기본 데이터 배열이 생성되고 b의 데이터 포인터가 이를 가리키도록 업데이트됩니다. 은 여전히 ​​동일한 데이터 포인터를 참조하므로 이전 데이터 배열에 계속 액세스합니다.

슬라이스 용량을 수정하면 용량이 재할당을 방지할 만큼 충분할 때 슬라이스가 실제로 기본 데이터를 공유한다는 것을 입증할 수 있습니다.

결론

Go의 추가() 함수는 새 슬라이스 설명자를 할당하지만 원본 데이터 배열에 대한 참조를 유지합니다. 즉, 재귀 알고리즘 내의 조각 수정 사항은 동일한 데이터 참조를 공유하는 모든 조각에 표시됩니다. Go에서 슬라이스를 효과적으로 작업하려면 이 동작을 이해하는 것이 중요합니다.

위 내용은 Go의 Append() 함수는 언제 새 슬라이스를 생성합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!