Golang切片疑点一_golang 切片越界

package main

import "fmt"

func main() {
	arr := [...]int{0, 1, 2, 3, 4, 5, 6, 7}
	s := arr[:]
	sa := s[2:6]
	fmt.Println(sa)
	sb := sa[3:5]
	fmt.Println(sb)
}

1
2
3
4
5
6
7
8
9
10
11
12
13

运行结果

在最后加上

fmt.Println(sa[4])
1

会报错：

那么切片sb是如何取到sa[3,5]的呢？
先来看一张图

go语言中的切片，是对底层数组的一个映射，这也是go中的函数时值传递，传递数组时传递的是拷贝过去的值，在函数中对数组做改变时是不会影响到原数组的值，但传递的参数为切片的时候，就可以对底层数组作出改变的原因。
回到问题，s1是arr数组的[2：6]的切片，注意阴影部分，arr中的6和7虽然表面上没有被切片进去，但切片还是知道在s1[3]后边还是有下标为4，5元素的，所以，在s2 := s1[3,5]时，s2可以取到下标为4的元素，但是，直接fmt.Println(s1[4])就不能找到s1[4]。
即：slice是可以扩展的

既然这样，那我们再来看看slice的实现

slice中有三个参数，ptr首个元素，len切片长度，当直接取的时候的长度超出len，就会报下标越界的错，重点是cap，cap是整个arr的长度，所以只要切片的实际长度没有超出cap，就可以实现slice的扩展。
ps：slice是可以向后扩展，但不可以向前扩展，因为ptr

package main

import "fmt"

func main() {
	arr := [...]int{0, 1, 2, 3, 4, 5, 6, 7}
	s := arr[:]
	fmt.Println(s)
	sa := s[2:6]
	fmt.Printf("s1 = %v, len = %d, cap = %d", sa, len(sa), cap(sa))
	fmt.Println()
	sb := sa[3:5]
	fmt.Printf("s2 = %v, len = %d, cap = %d", sb, len(sb), cap(sb))
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15