这就是spec定义slice表达式的方式
对于数组或字符串，如果0 <=低<=高<= len（a），则索引在范围内，否则它们超出范围。对于切片，索引的上限是切片容量cap（a）而不是长度。
https://golang.org/ref/spec#Slice_expressions
这就是切片的索引表达式的定义方式
如果0 <= x <len（a），则索引x处于范围内，否则超出范围
如果x在运行时超出范围，则会发生运行时恐慌
https://golang.org/ref/spec#Index_expressions
例如：
v[1]恐慌，因为它属于上述定义的范围（因为
1不符合
0 <= x < len(a)要求）
v[1:]可以正常运行，因为它与要求相同
v[1:len(v)]并且符合
if 0 <= low <= high <= cap(a)要求。
