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]}
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 205,132评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,802评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,566评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,858评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,867评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,695评论 1 282
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,064评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,705评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 42,915评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,677评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,796评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,432评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,041评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,992评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,223评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,185评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,535评论 2 343

推荐阅读更多精彩内容

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