Go slice 剖析

首先,我们得区分数组和slice的概念

  • 数组是值类型,赋值和传参会复制整个数组,⽽而不是指针
  • slice 并不是数组或数组指针。它通过内部指针和相关属性引⽤用数组⽚片段,以实现变⻓长⽅方案。(通常也会称作引用类型)
  • 引用类型:变量直接存放的就是一个地址值,这个地址值指向的空间存的才是值。
package main

type slice struct {
    array unsafe.Pointer
    len   int
    cap   int
}

func main() {
    **
      > array = 0xc00009e008, len = 0, cap = 1 的一个slice
      > 此时p的存储的其实是p.array, p.array存储的是底层数组的引用
      > 因为p其实是一个结构体对象,结构体对象的内存地址存储的为,首个元素的地址
    **
    
    // 1. 区分p 和 &p
    // p打印的为为底层存储结构slice结构体的首元素地址,p.array为底层数组的首元素地址。
    // &p打印出来的是slice结构体的地址
    p := make([]int, 0, 1)
    fmt.Printf("[p(引用地址)->%p],[&p(真实地址)->%p]\n", p, &p)

    // 2. 查看p的内部结构
    s := *(*slice)(unsafe.Pointer(&p))
    fmt.Printf("[&p(真实地址:%p)->%v]\n\n", &p, s)

    // 3. 直接赋值的方式
    p1 := p // 直接赋值
    fmt.Printf("[p1(引用地址)->%p],[&p1(真实地址)->%p]\n\n", p1, &p1) // 发现打印的真实地址是不一样的

    // 4. 函数传递的方式
    test1(p)
    fmt.Printf("[p(引用地址)->%p],[&p(真实地址)->%p]\n", p, &p)
    fmt.Printf("[&p(真实地址:%p)->%v],[p的值为:%v]\n", &p, *(*slice)(unsafe.Pointer(&p)), p) // 操作之后p的值
}

func test1(v []int) {
    fmt.Printf("[v(引用地址)->%p],[&v(真实地址)->%p]\n", v, &v) // 发现底层结构p没有变,但是slice地址改变了
    v = append(v, 1)
    fmt.Printf("[&v(真实地址:%p)->%v],[v的值为:%v]\n\n", &v, *(*slice)(unsafe.Pointer(&v)), v)
}

  • 运行结果
[p(引用地址)->0xc000096000],[&p(真实地址)->0xc000094000]
[&p(真实地址:0xc000094000)->{0xc000096000 0 1}]

[p1(引用地址)->0xc000096000],[&p1(真实地址)->0xc00000c060]

[v(引用地址)->0xc000096000],[&v(真实地址)->0xc00000c0a0]
[&v(真实地址:0xc00000c0a0)->{0xc000096000 1 1}],[v的值为:[1]]

[p(引用地址)->0xc000096000],[&p(真实地址)->0xc000094000]
[&p(真实地址:0xc000094000)->{0xc000096000 0 1}],[p的值为:[]]

扩容方式
cap在1024之前,为newcap += newcap 【double的方式】
大于1024后,为newcap += newcap / 4 【 1/4的方式】

源码解读
.
.
. 
newcap := old.cap
    doublecap := newcap + newcap
    if cap > doublecap {
        newcap = cap
    } else {
        if old.len < 1024 {
            newcap = doublecap
        } else {
            // Check 0 < newcap to detect overflow
            // and prevent an infinite loop.
            for 0 < newcap && newcap < cap {
                newcap += newcap / 4
            }
            // Set newcap to the requested cap when
            // the newcap calculation overflowed.
            if newcap <= 0 {
                newcap = cap
            }
        }
    }
...

黑科技(了解了slice的内部结构,我们能不能手动修改len,cap呢 ?)

答案是可以的!
  • 数组类型,转换切片直接使用如下 -> data[1:4:5] 这样的方式
package main

func main() {
    data := [...]int{0, 1, 2, 3, 4, 5, 6}
    s := data[1:4:5] // len = 4-1 ; cap = 5-1
    fmt.Printf("{&data[1]=%p},{s=%v}\n", &data[1], s)
    s1 := (*slice)(unsafe.Pointer(&s))
    fmt.Printf("[s(引用地址)->%p],[&s(真实地址)->%p]\n\n", s, &s)
    fmt.Printf("[&s(真实地址:%p)->%v]\n", &s, s1)
    fmt.Printf("{s=%v}\n", s)

    s1.len = 5 // 通过指针修改len为5
    fmt.Println("通过指针修改len=3,为len=5")
    //s = append(s, 10)
    fmt.Printf("[&s(真实地址:%p)->%v]\n", &s, s1)
    fmt.Printf("{s=%v}\n", s)

}

运行结果如下

{&data[1]=0xc000094008},{s=[1 2 3]}
[s(引用地址)->0xc000094008],[&s(真实地址)->0xc000096000]

[&s(真实地址:0xc000096000)->&{0xc000094008 3 4}]
{s=[1 2 3]}
通过指针修改len=3,为len=5
[&s(真实地址:0xc000096000)->&{0xc000094008 5 4}]
{s=[1 2 3 4 5]}
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 原文地址:深入理解 Go Slice 是什么 在 Go 中,Slice(切片)是抽象在 Array(数组)之上的特...
    EDDYCJY阅读 1,252评论 0 12
  • 切片是 Go 中的一种基本的数据结构,使用这种结构可以用来管理数据集合。切片的设计想法是由动态数组概念而来,为了开...
    一缕殇流化隐半边冰霜阅读 11,305评论 21 55
  • Part1 - Algo:[LeetCode 23] 问题描述 Merge k sorted linked lis...
    长颈猴阅读 331评论 0 0
  • 本文基于golang 1.10版本分析。 slice 结构 slice实际就是一个struct,在runtime/...
    123archu阅读 2,416评论 2 3
  • 一眨眼,我已是中年妇女了。小时候,看到或听到别人说已经三十岁,就感觉那人好成熟、年龄很大了。而今我已三旬,却仍...
    Agnes2001阅读 453评论 0 0