云原生系列Go语言篇-指针

本文来自正在规划的Go语言&云原生自我提升系列,欢迎关注后续文章。

我们已学习过变量和函数,下面来快速了解下指针的语法。然后我们通过将Go中的指针与其它语言中的类进行对比来讲清指针的原理。我们还会学习如何以及何时使用指针、Go中如何分配内存以及正确使用指针及值是如何使Go程序变得更快速、更高效的。

指针快速入门

指针其实就一个存储了值所在内存位置的变量。如果读者学过计算机课的话,可能见过表示内存中如何存储变量的图。如下的两个变量可表示为图6-1:

1
2
var x int32 = 10
var y bool = true

图6-1. 在内存中存储两个变量

图6-1. 在内存中存储两个变量

每个变量都存储在一段或多段连续的内存中,称为内存地址。不同类型的变量所占的内存大小可能是不同的。本例中有两个变量x,它是一个32位的整型,以及布尔类型的y。存储32位的整型需要4个字节,因而x存储于4个字节中,从地址1到地址4。布尔类型只占一个字节(只需用一位来表示true或false,但独立寻址的内存大小是一个字节),因而y存储于地址5位的一个字节中,true通过1进行表示。

指针的内容就是存储了其它变量的地址 。图6-2演示了如何在内存中存储指针:

1
2
3
4
5
var x int32 = 10
var y bool = true
pointerX := &x
pointerY := &y
var pointerZ *string

图6-2:在内存中存储指针

图6-2:在内存中存储指针

虽然不同变量类型占用的内存空间不同,但不管是什么类型的指针都占据相同的大小:也即存储数据在内存中空间的字节数相同。x的指针pointerX存储在位置6,值为1,也即x的地址。类似地y的指针pointerY存储于位置10,值为5,即为y的地址。最后一个变量pointerZ,存储于位置14,值为0,因为它没有指向任何变量。

指针的零值为nil。前面的文章中已经多次使用到了nil,用作切片、字典和函数的零值。所有这些类型都通过指针实现。(还有两种类型,通道和接口,也是用接口实现。我们会在类型、方法和接口一章的快速讲解接口以及并发一章中进行讲解)。在复合类型一章中,nil是表示缺少值的某种类型的无类型标识符。与C语言中的NULL不同,nil不是0的别名,它与数字间不可互转。

警告:在代码块,遮蔽和控制结构一章中提到,nil定义于全局代码块中。因其是在全局代码块中定义,可能会被遮蔽。不要将变量或函数命名为nil,除非你是和同事恶作剧,或是完全不care年终评审。

Go指针的语法部分来自C和C++。因Go自带垃圾回收器,大部分内存管理的痛楚都不存在了。此外,C和C++中一些指针黑活,包括指针运算,在Go语言中都不再允许。

注:Go标准库中有一个unsafe包,可对数据结构执行一些底层运算。虽然在C中操作指针是常见运算,但Go开发者极少使用unsafe。在恶龙三剑客:反射、Unsafe 和 Cgo一章中会进行讲解。

&是地址运算符。放在值类型的前面用于返回所存储值的内存地址:

1
2
x := "hello"
pointerToX := &x

*为间接运算符。放在指针类型的变量前可返回其所指向的值。这称为解引用:

1
2
3
4
5
6
x := 10
pointerToX := &x
fmt.Println(pointerToX) // 打印内存地址
fmt.Println(*pointerToX) // 打印10
z := 5 + *pointerToX
fmt.Println(z) // 打印15

在对指针解引用之前,必须确保指针不为nil。对nil指针解引用会崩溃(panic):

1
2
3
var x *int
fmt.Println(x == nil) // 打印true
fmt.Println(*x) // 程序崩溃

指针类型是用于表示指针的类型。写法为在类型名前加*。指针类型可基于任意类型:

1
2
3
x := 10
var pointerToX *int
pointerToX = &x

内置函数new可创建指针变量。它返回指定类型零值实例的指针:

1
2
3
var x = new(int)
fmt.Println(x == nil) // 打印false
fmt.Println(*x) // 打印0

较少使用new函数。对于结构体,可在结构体字面量前加&创建指针实例。不能在原生类型字面量(数字、布尔值和字符串)或常量前加&,因为它们没有内存地址,仅在编译时存在。要用原生类型的指针时,声明一个变量指向它:

1
2
3
x := &Foo{}
var y string
z := &y

不能获取常的地址有时会带来不便。结构体中包含原生类型指针字段时,就无法直接对字段赋字面量:

1
2
3
4
5
6
7
8
9
10
11
type person struct {
FirstName string
MiddleName *string
LastName string
}

p := person{
FirstName: "Pat",
MiddleName: "Perry", // 该行无法通过编译
LastName: "Peterson",
}

编译这段代码返回如下错误:

1
cannot use "Perry" (type string) as type *string in field value

倘若在"Perry"前添加&,会报如下错误:

1
cannot take the address of "Perry"

解决这个问题有两种方法。第一种上面讲到了,引入一个存储常量值的变量。第二种是编译一个接收布尔值、数值或字符串并返回该类型指针的帮助函数:

1
2
3
func stringp(s string) *string {
return &s
}

借助这个函数,可以改写成这样:

1
2
3
4
5
p := person{
FirstName: "Pat",
MiddleName: stringp("Perry"), // 正常运行
LastName: "Peterson",
}

为什么这样就正常了呢?对函数传递常量时,会将常量拷贝到参数变量。因其是一个变量,就在内存中有一段地址。然后这个函数会返回变量的内存地址。

小贴士:帮助函数会将常量值转化为指针。

不要畏惧指针

学习指针的第一条就是不要畏惧。读者如果习惯了使用Java、JavaScript、Python或Ruby,可能会觉得指针很可怕。但指针其实和读者所熟知的类相似。Go语言中非指针结构体才是异类。

在Java和JavaScript中,原生类型和类不同(Python和Ruby中并没有原始值,而是使用不可变实例来进行模拟)。在将原始值赋给另一个变量或传递给函数或方法时,另一个变量对值的修改不会体现在原变量中,见例6-1。

例6-1 Java中原始变量赋值不共享内存

1
2
3
4
int x = 10;
int y = x;
y = 20;
System.out.println(x); // 打印10

我们再来看将类实例赋值给另一个变量或传递给函数或方法的情况(例6-2使用Python编写,Java、JavaScript和Ruby中相应的代码参见GitHub)。

例6-2 将类实例传递给函数

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
class Foo:
def __init__(self, x):
self.x = x


def outer():
f = Foo(10)
inner1(f)
print(f.x)
inner2(f)
print(f.x)
g = None
inner2(g)
print(g is None)


def inner1(f):
f.x = 20


def inner2(f):
f = Foo(30)


outer()

运行这段代码会打印:

1
2
3
20
20
True

这是由于Java、Python、JavaScript和Ruby具有如下特征:

  • 如果对函数传递类的实例且修改其字段值,修改会作用于所传递的变量。
  • 如重新赋值参数,修改不会作用于所传入的变量。
  • 如使用nil/null/None传递参数值,将参数设为其它值不会修改调用函数中的变量。

有人在讲解这一行为时,会说这些语言中类实例通过指针传递。这是不对的。如果真是通过指针传递,第二、三种情况会修改调用函数中的变量。这些语言和Go一样都是值传递。

这里看到各种编程语言中的类实例使用指针实现。在将类实例传入函数或方法时,所拷贝的值是实例的指针。因outerinner1指向相同的内存,inner1中对f的修改会体现在outer的变量中。在inner2f赋一个新的类实例时,会单独创建一个实例且不会影响到outer中的变量。

在Go语言中使用指针变量效果相同。Go与其它语言的差别是可以选择使用原生类型和结构体的指针或是值。大部分情况下应使用值。这会更容易理解数据是在何时以及如何发行修改的。使用值的另一个好处是用值会减少垃圾回收器的工作量。在降低垃圾回收器的工作量一节中会再做讨论。

指针表明参数可变

我们已经知道,Go常量可对字面量表达式添加名称并在运行时进行计算。语言中没有其它声明不可变量值的机制。现在软件工程包含不可变量性。MIT的Software Construction课程总结原因为:“不可变量类型不易产生 bug,更易于掌握,也更能应对变化。可变性会使用理解程序变难,强制合约则更难。”

Go语言中不可变声明的匮乏看起来是个问题,但通过允许选择值和指针参数类型解决了这一问题。在软件构造的课程资料中讲到:“如果仅在方法内部使用可变量对象且对向的引用唯一就没有问题。”Go开发者不是将部分变量和参数声明为不可变,而是通过使用指针来表示参数可变。

因Go一种值传递的编程语言,传入函数的值是一份拷贝。对于原生类型、结构体和数组等非指针类型,这意味着调用函数无法修改其原始值。而调用函数中为原始数据的拷贝,进而保障了原始数据的不可变性。

注:我们会在字典和切片的区别一节中讨论对函数传递字典和切片。

但如果将指针传递给函数的话,函数会得到指针的拷贝。它仍会指向原数据,也就意味着调用函数可修改原数据。

这里有两种潜在情况。

第一是如果将nil指针传递给函数,无法将值变为非空。只能对已赋值的指针重新赋值。乍一听让人困扰,但是有道理的。因内容空间是通过值传递传给函数的,我们无法改变其内存地址,就像我们不能修改int参数值一样。可通过如下程序进行演示:

1
2
3
4
5
6
7
8
9
10
func failedUpdate(g *int) {
x := 10
g = &x
}

func main() {
var f *int // f为nil
failedUpdate(f)
fmt.Println(f) // 打印nil
}

代码运行的流程见图6-3。

图6-3 无法更新nil指针
图6-3 无法更新nil指针
刚开始main中的f是一个nil变量。调用failedUpdate后,我们将f的值,也就是nil,拷贝到参数g中。也就是说g被设置成了nil。然后在failedUpdate中声明了一个变量x,值为10。接着修改failedUpdate中的g指向x。这不会修改main中的f,在退出failedUpdate并返回main时,f仍为nil

第二种情况是在退出函数时希望赋值给指针参数的值依然存在,就必须解引用指针并设置值。修改指针改变的是其拷贝而非原始指针。解引用会将新值放入原始指针和拷贝指针共同指向的内存空间。下面是一段简短演示程序:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
func failedUpdate(px *int) {
x2 := 20
px = &x2
}

func update(px *int) {
*px = 20
}

func main() {
x := 10
failedUpdate(&x)
fmt.Println(x) // 打印10
update(&x)
fmt.Println(x) // 打印20
}

其流程见图6-4。

在这个例子中,我们先将main中的x设置为10。调用failedUpdate时,我们将x的地址拷入参数px。然后,我们在failedUpdate中声明了x2,设置为20。接着将failedUpdate中的px指向x2的地址。在返回main时,x的值未发生改变。在调用update时,我们再次将x的地址拷入参数px。但这次修改的是updatepx所指向的值,也即main中的变量x。返回mainx发生了改变。

图6-4 更新指针的错误方式和正确方式
图6-4 更新指针的错误方式和正确方式

指针非首选

在Go中使用指针应谨慎。前面也讨论过,那样会更难理解数据流并会给垃圾回收器带来额外的工作。可以将传入函数的结构体指针改成让函数实例化并返回结构体(参见例6-3和例6-4)。

例6-3 别这么干

1
2
3
4
5
func MakeFoo(f *Foo) error {
f.Field1 = "val"
f.Field2 = 20
return nil
}

例6-4 应当这么干

1
2
3
4
5
6
7
func MakeFoo() (Foo, error) {
f := Foo{
Field1: "val",
Field2: 20,
}
return f, nil
}

使用指针参数修改变量的唯一场景是在函数接收接口时。在操作JSON时会看到这种用法(在讲解Go的标准库时会说到encoding/json对JSON的支持):

1
2
3
4
5
f := struct {
Name string `json:"name"`
Age int `json:"age"`
}{}
err := json.Unmarshal([]byte(`{"name": "Bob", "age": 30}`), &f)

Unmarshal函数使用JSON字节对切片变量赋值。该函数接收字节切片和interface{}参数。传给interface{}参数的值必须为指针。如若不是,则会报错。这种用法是因为最早Go中没有泛型。这也就导致了根据传入类型指向反序列化的方式不方便,并且无法动态地按传入函数的类型指定返回类型。

而JSON的集成非常广泛,有时Go开发者便将这一API看作常规操作,而非什么特例。

注:通过使用reflect包中的Type类型可以用变量表示类型。reflect包预留在没有其它方法的场景中使用。在恶龙三剑客:反射、Unsafe 和 Cgo中会做讲解。

函数返回值应优先值类型。仅在类型中有状态需要做变更时才使用指针作为返回类型。在标准库一章的io及其朋友们一节会讲到I/O,我们会学到读取或写入数据的缓冲。此外,并发所使用数据须以指针传递。这会在并发一章中讨论。

指针提升性能

如果结构体过大,使用结构体指针作为入参或返回值可改善性能。向函数传递任意大小数据的指针耗时是恒定的。这很容易理解,因为所有数据类型的指针大小相同。对函数传值时数据越大耗时越久。在数据达到10 MB时耗时约一毫秒。

返回指针和返回值的效果更有趣。对于小于1 MB 的数据结构,返回指针类型实际上要慢于值类型。例如,返回一个100字节的数据耗费约10纳秒,而返回该数据结构的指针耗时约30纳秒。一旦数据结构大于1 MB,则出现反转。返回10 MB 的数据约耗时2微秒,而返回其指针仅半微秒多点。

这是非常小的时间维度。对于大部分情况,使用指针和值的这点不同并不会影响到程序的性能。但如果在函数间传递数MB 的数据时,即使数据不可变也请考虑使用指针。

以上数据均使用32GB内存i7-8700电脑进行采样。读者可使用GitHub上的代码自行进行性能测试。

零值和无值

Go中另一种指针的常见用途是区分赋零值和未赋值的变量或字段。如果在你的程序中这点很重要,使用nil指针表示未赋值的变量或结构体字段。

因指针同时表示可变,使用时应注意。一般将指针设置为nil供函数返回,而时使用字典所用的逗号ok语法来返回一个值类型和一个布尔值。

记信如果通过参数或参数中的字段向函数传递nil指针,则无法在函数中对其设置值,因为没有存储该值的空间。如果传入的是非nil值,仅在清楚后果时进行修改。

同样的JSON转化是印证这一规则的特例。在数据与JSON进行互转时(在讲解Go的标准库时会说到encoding/json对JSON的支持),经常需要区别零值和未赋值的情况。这时对结构体中可为空的字段使用指针。

在不操作JSON(或其它外部协议)时,抑制信使用指针字段表示无值的诱惑。虽然指针用于表示无值很方便,但在需要修改值时,应当使用值类型配合布尔值。

字典和切片的区别

在前一章我们了解到,对传入函数的字典做任意修改都会体现在原始变量中。既然我们已经学习了指针,就来讲下原理:在Go运行时中,字典通过结构体的指针实现。传入字典也即向函数拷贝指针。

因此,应避免使用字节作为入参或返回值,对外的API尤其如此。在API设计层面,字典是糟糕的选择,因其没有说明其中包含的是什么值,并没有显式定义字典中的键名,因此知晓的唯一方式是追踪代码。从不可变性的角度来看,字典很糟的原因是只要在追踪了所有与其交互过的函数后才知道其结果。这就达不到API自描述的效果了。如果读者习惯了动态语言,请不要因其它语言缺乏结构而使用字典来替代。Go是一种强类型语言,请使用结构体来替代字典传给函数。(在降低垃圾回收器的工作量一节中讨论内存布局时会讲到推荐使用结构体的另一个原因。)

同时,将切片传递给函数情况更为复杂,对切片内容的任何修改都会体现在原变量中,但使用append修改切片的长度不会体现在原变量中,即使切片的容量本身大于这一长度。这是因为切片由三个字段实现:表示长度的int字段,表示容量的int字段以及一段内存块的指针。图6-5演示了其关系。

图6-5 切片的内存布局

图6-5 切片的内存布局

将切片拷贝给其它变量或是传入函数时,拷贝由长度、容量和指针组成。图6-6展示了两个切片变量指向同一块内存。

图6-6 切片及其拷贝的内存布局

图6-6 切片及其拷贝的内存布局

修改切片中的值改变的是指针所指向的内存,因而变化对拷贝和原切片均可见。图6-7中为内存中的状况。

图6-7 修改切片的内容

图6-7 修改切片的内容

对长度和容量的修改不会体现在原切片中,因为这只发生在拷贝上。修改容量表示指针指向了一段新的更大的内存块。图6-8展示了这两个切片变量分别指向了不同的内存块。

图6-8 修改容量改变了存储

图6-8 修改容量改变了存储

如果对切片进行追加时容量足以放下新切片,拷贝的长度发生变化,新值存储于拷贝和原切片共享的内存块中。但原切片不发生改变。也就是说Go运行时不会让原切片看到这些值,因为它们在原切片的长度之外。图6-9表示了这些值在一个切片变量中可见,而在另一个中不可见。

图6-9 修改切片长度对原切片不可见

图6-9 修改切片长度对原切片不可见

结果就是传入函数的切片内容可修改,但无法重置大小。切片是Go中唯一适用的线性数据结构,经常在程序间进行传递。默认应假定切片未由函数修改。应在函数的文档中说明是否修改了切片的内容。

注:可对函数传递任意大小的切片,原因在于传入函数的数据对于任意大小的切片都相同:两个int值和一个指针。而不能编写接收任意大小数组的函数,原因大于传递的是整个数组,而不是数据的指针。

切片作为入参还有另一个用途:它们是可复用缓冲的理想载体。

将切片用作缓冲

在从外部(比如文件或网络连接)读取数据时,很多编程语言的代码如下:

1
2
3
4
5
6
r = open_resource()
while r.has_data() {
data_chunk = r.next_chunk()
process(data_chunk)
}
close(r)

这种方式的问题在于每次进行while循环的迭代时,虽然每一个只用了一次也要重新分配data_chunk。这会产生大量不必要的内存分配。带内存回收的语言会自动处理这些分配,但在完成操作后还是要进行清理。

虽然Go是带垃圾回收的语言,编写地产的Go代码要求避免不必要的内存分配。我们不是在每次从数据源读取时返回新的分配,而是一次性创建一个切片,将其用作读取数据的缓冲:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
file, err := os.Open(fileName)
if err != nil {
return err
}
defer file.Close()
data := make([]byte, 100)
for {
count, err := file.Read(data)
if err != nil {
return err
}
if count == 0 {
return nil
}
process(data[:count])
}

在将切片传递给函数时无法修改其长度或容量,但我们可以修改到当前升度的内容。在以上代码中,我们创建了一个100字节的缓冲,每次循环时,我们将下个字节块(最多100)拷贝入切片。然后将传入的缓冲交给process。在标准库一章的io及其朋友们一节会讲到I/O。

降低垃圾回收器的工作量

使用缓冲只是减少垃圾回收器工作量的一个例子。程序员眼中的“垃圾”是“不再有指针指向的数据”。一旦某一数据不再有指针指向它,数据所占用的内存即可被复用。如果不回收内存,程序的内存占用量会膨胀到内存溢出。内存回收器的任务是自动监测未使用的内存并进行回收以供复用。Go贴心地为我们提供了垃圾回收器,因为几十年的经验表明很难妥善地手动管理内存。但有了垃圾回收器并不表示可以随意制造垃圾。

如果读者花时间研究过编程语言是如何实现的,就会知道堆和栈。对于不熟悉的读者,栈是一段连续的内存块,执行线程的每次函数调用共享相同的栈。栈上分配内存简单快速。栈指针追踪内存分配的最后位置,通过移动栈指针可分配额外的内存。在调用函数时,会为函数数据创建新的栈桢。本地变量以及传入函数的参数存储在栈上。每个新变量会导致栈指针移动该值的大小。函数退出时,返回值会通过栈拷贝回调用函数,栈指针则会移至退出函数的起始栈帧,回收函数本地变量和参数使用的所有栈内存。

注:Go的不寻常在于它可以在程序运行期间增加栈的大小。这是因为每个协助有自己的栈,而协程由Go运行时而非底层操作系统管理(我们会在并发一章中讨论协程)。这有其优势(Go的初始栈很小、占用更少内存)及劣势(栈需要扩容时,所有数据都会被拷贝,这是缓慢的)。这也使得可能会写出栈反复扩容和收缩的糟糕代码。

要在栈上存储内容,需要知道其在编译时的具体大小。在学习Go中的值类型(原生类型、数组和结构体)时,会发现一个共同点:在编译时都能知道占用的具体内存大小。这也是为什么大小是成为了数组的一部分。因为其大小已知,可分配到栈上,不必放到堆上。指针类型的大小也是固定的,同样存储在栈上。

对于指针指向的数据,规则就更为复杂。要在Go中将指针指向的数据分配到栈上,必须满足一些条件。必须为编译时大小已知的本地变量。不能是函数返回的指针。如果是传入函数的指针,必须要保证这些条件仍能满足。如果大小不固定,无法通过移动栈指针来获取空间。如果返回指针变量,指针指向的内存会在函数返回时失效。在编译器决定数据无法存储于栈上时,可以称为指针指向的数据逃逸出了栈,编译器将数据存储于堆上。

堆是由垃圾回收器管理的内存(在C和C++等编程语言中手动管理)。我们不会讨论垃圾回收器算法的实现细节,但远比移动栈帧要复杂。只要能回溯到栈上的指针类型变量,堆所存储的数据就有效。一旦没有指针指向该数据(或指向该数据的数据),这段数据就会成为垃圾,将由垃圾回收器进行清理。

注:C程序中常见的bug是返回本地变量指针。在C中,这会导致指针指向无效内存。Go编译器更为智能。在发现已返回本地变量的指针时,本地变量的值会存储到堆上。

Go编译器的逃逸分配并不完美。有时可存储在栈上的数据逃逸到了堆上。但编译器要要保守些,不能冒需放到堆上的数据存储到栈上的风险,否则对无效数据的引用会导致内存崩溃。Go的新发行版中改良了逃逸分配。

读者可能会想在堆上存储内容有什么坏处呢?有两个性能相关的问题。第一是垃圾回收器执行操作会耗费时间。追踪堆中所有空闲内存的可用块或哪些已用内存堆还持有有效指针消耗并不算小。这会占用程序执行本可使用的宝贵时间。编写了很多种内存回收算法,粗略分为两类:设计用于高吞吐(在单次扫描中发现尽可能多的垃圾)或低延时(尽快完成垃圾扫描)。Jeff Dean,Google工程化成功的幕后大神,作为联合作者于2013年发表了名为The Tail at Scale的论文。其中论述到系统应优化延时,保持低响应时间。Go运行所使用的垃圾回收器更倾向低延时。每次垃圾回收周期被设计为小于500毫秒。但如果你的Go程序创建了大量的垃圾,那么在一个周期中就无法发现发现的垃圾,这会拖慢回收器并增加内存占用。

注:如果读者对实现细节感兴趣,可以听一听Rick Hudson在2018内存管理国际研讨会上的演讲,讲到了Go垃圾回收器的历史和实现

第二个问题与计算机硬件性质有关。RAM虽然是“随机读取内存”,便读取内存最快速的方式是序列化读取。Go中的结构体切片将数据按序放于内存中。这样加载和处理数据都很快。结构体指针(或字段为指针的结构体)的切片的数据RAM中分散存储,读取和处理就会更慢。Forrest Smith写了一篇深入的博文探讨了这会在多大程度上影响性能。他的数据表明通过指针访问随机存储在内存的数据会慢两个数量级。

这种在写软件时考虑其所运行的硬件的方式称为机械同理(mechanical sympathy)。这个词来赛车界,意思是驾驶员熟知赛车可以压榨出其性能极限。2011年,Martin Thompson将这一词用于软件开发。遵守Go的最佳实践可以自动实现机械同理。

比较下Go与Java的方式。Java中,本地变量和参数和Go一样存储于栈中。但前面也提到过,Java中的对象按指针实现。这表示对每个对象变量实例,仅会将指针分配到栈中,对象中的数据位于堆中。仅原生类型值(数字、布尔值、字符)存储于栈上。这就意味着Java的垃圾回收器要完成大量的工作。同时也表示Java中的列表实际上是一个指针数组的指针。虽然它看起来像是线性数据结构,读取时实际也在内存中横跳,效率打折。Python、Ruby和JavaScript中类似。为解决这一低效问题,Java虚拟机内置了一个智能的垃圾回收器,完成大量的工作,有些是优化吞量,有些优化延时,都具有配置项来完成最佳性能调优。Python、Ruby和JavaScript的虚拟机优化则不足,因而性能受到很大影响。

现在读者已经明白Go为什么很少鼓励使用指针。我们尽可能将内容存放在栈上来减轻垃圾回收器的负载。结构体或原生类型切片的数据在内存按序排列以达到快速访问。在垃圾回收器运行时,对快速返回的优化要多于收集更多垃圾。这种方法的核心是一开始就创建尽量少的垃圾。虽然聚焦于优化内存分配可能看上去是不成熟的优化,Go中地道的方式也是最高效的。

如果想学习堆栈以及Go中逃逸分析的更多知识,有一些很好的博客文章,比如Arden Labs上Bill KennedySegment上Achille Roussel和Rick Branson的文章。

小结

本章稍微深入了一下底层来辅助我们理解指针,指针是什么、如何使用指针,以及最重要的,何时使用指针。下一章中,我们会学习Go语言中方法、接口和类型的实现,与其它语言的差别,以及所具备的能力。