初始时两个切片引用同一个底层数组，在后续操作中对某个切片的操作超出底层数组的容量时，这两个切片引用的就不是同一个数组了，比如下面这个例子:
s1 := []int {1,2,3,4,5}
s2 := s1[0:5]

s2 = append(s2, 6)
s1[3] = 30

此时s1[3]的值为30, s2[3]的值仍然为4，因为s2的底层数组已是扩容后的新数组了。

老师您好！我对源码demo16中示例1、3实际运行结果与预期结果表示ok，但唯独示例2的运行结果觉得没有什么规则可供参考，为何不是下面我预期的结果呢，对于实际的运行结果表示不理解，还烦请老师有空帮忙解答下，感谢！

代码如下：
// 示例2
    s7 := make([]int, 1024)
    fmt.Printf("The capacity of s7: %d\n", cap(s7))
    s7e1 := append(s7, make([]int, 200)...)
    fmt.Printf("s7e1: len: %d, cap: %d\n", len(s7e1), cap(s7e1))
    s7e2 := append(s7, make([]int, 400)...)
    fmt.Printf("s7e2: len: %d, cap: %d\n", len(s7e2), cap(s7e2))
    s7e3 := append(s7, make([]int, 600)...)
    fmt.Printf("s7e3: len: %d, cap: %d\n", len(s7e3), cap(s7e3))
    fmt.Println()
实际运行结果：
The capacity of s7: 1024
s7e1: len: 1224, cap: 1280
s7e2: len: 1424, cap: 1696
s7e3: len: 1624, cap: 2048

预期运行结果：
The capacity of s7: 1024
s7e1: len: 1224, cap: 1280
s7e2: len: 1424, cap: 1600
s7e3: len: 1624, cap: 2000

老师，我对demo16的运行结果有疑惑，按1024*1.25*1.25*1.25来说，结果应该是这样：
实际运行结果：
The capacity of s7: 1024
s7e1: len: 1224, cap: 1280
s7e2: len: 1424, cap: 1696
s7e3: len: 1624, cap: 2048

预期运行结果：
The capacity of s7: 1024
s7e1: len: 1224, cap: 1280=1024*1.25
s7e2: len: 1424, cap: 1600=1024*1.25*1.25
s7e3: len: 1624, cap: 2000=1024*1.25*1.25*1.25

为什么结果不一样呢？

关于老 slice 容量大于等于 1024 时，没有严格按照1.25倍增长的问题，和大家一样有些困惑，上网查了下。给大家一个参考：
向 slice 追加元素的时候，若容量不够，会调用 growslice 函数
func growslice(et *_type, old slice, cap int) slice {
    // ……
    newcap := old.cap
    doublecap := newcap + newcap
    if cap > doublecap {
        newcap = cap
    } else {
        if old.len < 1024 {
            newcap = doublecap
        } else {
            for newcap < cap {
                newcap += newcap / 4
            }
        }
    }
    // ……
    capmem = roundupsize(uintptr(newcap) * ptrSize)
    newcap = int(capmem / ptrSize)

重点看最后两行代码。
对 newcap 作了一个内存对齐，这个和内存分配策略相关。进行内存对齐之后，新 slice 的容量是要 大于等于 老 slice 容量的 2倍或者1.25倍的。

虽然 slice 间接引用了底层数组的元素，但是其指针、长度和容量却是它自己的属性。要更新一个 slice 的指针、长度或容量必须使用显式的赋值。从这个角度看，slice 并不是“纯粹”的引用类型，而是像下面这种聚合类型：

```
type IntSlice struct {
    ptr *int
    len, cap int
}
```

所以，不仅是在调用 `append` 函数时需要更新 slice 变量。另外，对于任何函数，只要有可能改变 slice 的长度或者容量，或者使得 slice 指向不同的底层数组，都需要更新 slice 变量。