『GCTT 出品』Go 中不定长度集合

互联网技能图谱 07-29 135

前言：

如今大家对“java中波浪号是什么意思”大概比较注重，小伙伴们都需要知道一些“java中波浪号是什么意思”的相关资讯。那么小编在网上汇集了一些对于“java中波浪号是什么意思””的相关知识，希望姐妹们能喜欢，看官们快快来学习一下吧！

首发于：

如果你在使用像 C# 或 Java 这样的编程语言后来到 go，你发现的第一件事就是没有像 List和 Dictionary 这样的传统集合类型。这真让我困惑了好几个月。我找到了一个名为container/list 的软件包，并且几乎用它做所有的东西。

我脑后一直有一个声音在唠叨。语言设计者不应该不直接支持对未知长度的集合管理的功能。每个人都在讨论切片是如何在语言中被广泛使用，但我只是在有明确定义的容量或者它们通过函数返回时我才使用切片，这有点不对劲!!

因此，我在本月早些时候写了一篇文章，揭开了切片的盖子，希望能找到一些我不知道的魔法。我现在知道切片是如何工作的，但最终我仍然需要一个不断进行长度增长的数组。我在学校学过，使用链表更有效率，是存储大量数据更好的方法。特别是当你需要的集合长度未知时。这对我来说很有意义。

当我思考使用一个空切片时，我头脑中有一张非常错误的图片：

slice-copy

我一直在想 go 是如何创建大量新的切片值和底层数组做大量内存分配，并且不断进行复制值。然后垃圾回收器会因为所有这些小变量被创建和销毁而过度工作。

我无法想象需要做数千次这种操作。其实有更好的方法或更效率的方式我没有意识到。

在研究并提出了很多问题之后，我得出的结论是，在大多数实际情况下，使用切片比使用链表更好。这就是为什么语言设计者花时间使切片尽可能高效工作，并且没有引入集合类型的原因。

我们可以连续几天讨论各种边界情况和性能问题，但 go 希望我们使用切片。因此切片应该是我们的首选，除非代码告诉我们存在问题。掌握切片就像学国际象棋游戏，易于学习但需要一辈子才能成为大师。因为底层数组可以共享，所以在使用中需要注意一些问题。

在继续阅读之前，你最好看一下我的另一篇文章 Understanding Slices in Go Programming。

本文的其余部分将解释如何使用切片处理未知容量的问题以及切片的运行机制。

以下是使用空切片来管理未知长度集合的示例：

 1package main 2 3import ( 4 "fmt" 5 "math/rand" 6 "time" 7) 8 9type Record struct {10 ID int11 Name string12 Color string13}1415func main() {16 // Let’s keep things unknown17 random := rand.New(rand.NewSource(time.Now().Unix()))1819 // Create a large slice pretending we retrieved data20 // from a database21 data := make([]Record, 1000)2223 // Create the data set24 for record := 0; record < 1000; record++ {25 pick := random.Intn(10)26 color := "Red"2728 if pick == 2 {29 color = "Blue"30 }3132 data[record] = Record{33 ID: record,34 Name: fmt.Sprintf("Rec: %d", record),35 Color: color,36 }37 }3839 // Split the records by color40 var red []Record41 var blue []Record4243 for _, record := range data {44 if record.Color == "Red" {45 red = append(red, record)46 } else {47 blue = append(blue, record)48 }49 }5051 // Display the counts52 fmt.Printf("Red[%d] Blue[%d]\n", len(red), len(blue))53}

当我们运行这个程序时，由于随机数生成器，我们将得到不同长度的红色和蓝色切片。我们无法提前知道红色或蓝色切片的容量需要，这对我来说是一种典型的情况。

让我们分解出代码中更重要的部分：

这两行代码创建了空切片。

1var red []Record2var blue []Record

一个空切片长度和容量都是0，并且不存在底层数组。我们可以使用内置的 append 函数向切片中增加数据。

1red = append(red, record)2blue = append(blue, record)

append 函数功能非常酷，为我们做了很多东西。

Kevin Gillette 在我的小组讨论中进行了说明：

（）

在 go 语音规范中规定，前几千个元素在容量增长的时候每次都将容量翻倍，然后以~1.25的速率进行容量增长。

我不是学者，但我看到使用波浪号（~）相当多。有些人也许不知道这是什么意思，这里表示大约。因此，append 函数会增加底层数组的容量并为未来的增长预留空间。最终 append 函数将大约以1.25或25％的系数进行容量增长。

让我们证明 append 函数增长容量并高效运行：

 1package main 2 3import ( 4 "fmt" 5 "reflect" 6 "unsafe" 7) 8 9func main() {10 var data []string1112 for record := 0; record < 1050; record++ {13 data = append(data, fmt.Sprintf("Rec: %d", record))1415 if record < 10 || record == 256 || record == 512 || record == 1024 {16 sliceHeader := (*reflect.SliceHeader)((unsafe.Pointer(&data)))1718 fmt.Printf("Index[%d] Len[%d] Cap[%d]\n",19 record,20 sliceHeader.Len,21 sliceHeader.Cap)22 }23 }24}

输出结果：

 1Index[0] Len[1] Cap[1] 2Index[1] Len[2] Cap[2] 3Index[2] Len[3] Cap[4] - Ran Out Of Room, Double Capacity 4Index[3] Len[4] Cap[4] 5Index[4] Len[5] Cap[8] - Ran Out Of Room, Double Capacity 6Index[5] Len[6] Cap[8] 7Index[6] Len[7] Cap[8] 8Index[7] Len[8] Cap[8] 9Index[8] Len[9] Cap[16] - Ran Out Of Room, Double Capacity10Index[9] Len[10] Cap[16]11Index[256] Len[257] Cap[512] - Ran Out Of Room, Double Capacity12Index[512] Len[513] Cap[1024] - Ran Out Of Room, Double Capacity13Index[1024] Len[1025] Cap[1280] - Ran Out Of Room, Grow by a factor of 1.25

如果我们观察容量值，我们可以看到 Kevin 是绝对正确的。容量正如他所说的那样在增长。在前1千的元素中，容量增加了一倍。然后容量以1.25或25％的系数增长。这意味着以这种方式使用切片将满足我们在大多数情况下所需的性能，并且内存不会成为问题。

最初我认为会为每次调用 append 时都会创建一个新的切片值，但事实并非如此。当我们调用append 时，在栈中复制了 red 副本。然后当 append 返回时，会再进行一次复制操作，但使用的我们已有的内存。