Go Slices에서 `a[len(slice)]`가 패닉을 일으키지 않는 이유는 무엇입니까?

Go의 당혹스러운 슬라이싱: a[len(slice)]가 당황하지 않는 이유

소개

In Go, 배열이나 슬라이스를 슬라이싱할 때 기본 배열이나 슬라이스의 길이를 초과하면 다음과 같은 결과가 발생할 것으로 예상할 수 있습니다. 공황. 그러나 슬라이스의 경우 이 동작이 이상하게 달라집니다.

문제

다음 Go 코드를 고려하세요.

a := []int{1, 2, 3}
fmt.Println(a[0:])
fmt.Println(a[1:])
fmt.Println(a[2:])
fmt.Println(a[3:]) // Surprisingly, doesn't panic
fmt.Println(a[4:]) // Panics as expected

슬라이스 a가 당황스러워요. [3:]은 길이를 초과하는 것처럼 보이지만 패닉을 일으키지 않습니다. array.

대답

이 동작은 Go 언어 사양에 따라 결정됩니다:

• 배열 및 문자열의 경우, 범위를 벗어난 인덱스는 low >로 정의됩니다. len(a) 또는 high > len(a), 여기서 a는 기본 배열입니다.
• 슬라이스의 경우 범위를 벗어난 인덱스는 high > cap(a), 여기서 cap(a)는 슬라이스의 용량을 나타냅니다.

이 예에서 a는 배열이고 길이는 3입니다. 그러나 배열의 길이만큼 접합하면, 즉, a[3:]는 기본 배열의 길이가 3이기 때문에 유효한 범위 내로 간주됩니다.

사양에 설명된 대로 "상위 인덱스 경계는 슬라이스입니다. 길이보다는 용량 한도(a)입니다." 따라서 이 경우 a[3:]는 high - low = 3 - 3 = 0이기 때문에 빈 슬라이스를 생성합니다.

핵심 구별

다음이 중요합니다. 슬라이스 용량을 초과하는 인덱스(예: 이 예에서는 a[4:])를 사용하면 범위를 벗어나 런타임 패닉이 발생합니다. 사양에는 다음과 같이 명시적으로 명시되어 있습니다. "인덱스가 런타임 시 범위를 벗어나면 런타임 패닉이 발생합니다."

위 내용은 Go Slices에서 `a[len(slice)]`가 패닉을 일으키지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!