Почему можно foo[len(foo):]?

Question

[uvelichitel]

foo := [5]int{0, 1, 2, 3, 4}
fmt.Println(foo[:5]) //так можно
fmt.Println(foo[5:]) //и так
fmt.Println(foo[5])  //так нет. Почему?
//Где это документировано? Как это понимать

https://play.golang.org/p/J55-p3hW_tB

Comments

[longclaps]

Издеваешься штоле? Индекс последнего элемента - 4, foo[5] - перебор.

[Animkim]

Я даже зашёл и ткнул, думаю может го не пишет ошибки и что бы на нем разрабатывать нужно быть экстрасенсом, но нет там явно написано почему ×_×

[uvelichitel]

Animkim, [:5] где явно написано?

[uvelichitel]

Animkim, извините, опечатка. [:5] тоже явно не прописано, но хотябы понятно. Почему можно [ 5 : ] но нельзя [5] ?

[Animkim]

uvelichitel, всё до меня начал доходить смысл вопроса, вы о том что срез не падает, а доступ по индексу падает?

Answer 1

[Алексей 〒.]

Потому что foo[5] это обращение к несущесвующему 5 элементу в массиве. Адресация начинается с 0 индекса и элемент с индексом 4 в нем последний.

Первая граница включается в срез последняя не включается, поэтому и пишем foo[:5]
fmt.Println(foo[5:]) //и так — это пустой срез, можно еще так его получить: fmt.Println(foo[:0])
или так: fmt.Println(foo[1:1])

Answer 2

[iveronanomi]

Вы ошибаетесь, по поводу отсутствия документации на эту тему
https://golang.org/ref/spec#Slice_expressions

For convenience, any of the indices may be omitted. A missing low index defaults to zero; a missing high index defaults to the length of the sliced operand:

a[2:]  // same as a[2 : len(a)]
a[:3]  // same as a[0 : 3]
a[:]   // same as a[0 : len(a)]