除了Java、Python和JavaScript之外，如果要开始学习一门新语言的话，我想应该是Go!

Go语言正在被越来越多的公司使用。我们公司的后端服务已经全面采用Go语言实现了。

最开始接触Go语言是去年将一份Go代码“翻译”成Python并集成到测试平台上，说来也挺神奇，我从来没学过Go却完成了这个工作，这也侧面反应了Go的语法还是很平易近人的。

今年，在海翔飞调岗之后已经没有太多时间写代码了，但如果要开始学习一个新的语言或技术的话，我最想学的是Go！

目前来看，Go似乎还并没有太多测试人员使用的场景，不过，我之前介绍过的BDD行为驱动框架gauge是由Go开发的，当然，它也支持使用Go来编写BDD测试代码。

对于，已经有一定开发经验的同学，如何快速的开始学习Go语言呢？我这里给一些思路。

#### 第一步：下载和安装

在配置环境的时候你需要重点了解GOROOT、GOPATH的作用。

你还要准备一款称手的编辑器，如果你像我一样，一直都在使用VS Code的话，那么就它就可以了。

#### 第二步：从hello world开始

先运行一个hello world程序，认识Go语言的语法。

package main

import (    "fmt")

func main(){

fmt.Println("helloworld!")

}

#### 第三步：熟悉Go的语法

接下来，你可能要花一周左右的时间熟悉Go语言的语法。比如，变量定义、if/for、函数、Map、跨文件的程序调用…等，当然，还有一些Go特有的知识。

当然，我更喜欢看视频教程，虽然质量参差不齐，但我仍然觉得看视频比我自己看书更有效率。

熟悉一段Go代码：

package main

import"fmt"

func myFunc() {

i := 0

Here:   //这行的第一个词，以冒号结束作为标签

fmt.Println(i)

i++    if i <10{        goto Here   //跳转到Here去

}

}func main() {    //调用函数

myFunc()

}

#### 第四步：Go如何做单元测试

针对Go做测试也非常简单。比如，这是一个被测试文件：add.go。

package test_demofunc Add(a int, b int) int{    return a + b

}

下面针对Add()函数编写测试用例，test_add.go

package test_demo

import (    "testing")

func TestAdd1(t *testing.T){

r:= Add(1, 2)    if r !=3{

t.Errorf("Add(1, 2)failed. Got %d, expected 3.", r)

}

}

func TestAdd2(t *testing.T){

r:= Add(2, 2)    if r !=4{

t.Errorf("Add(2, 2)failed. Got %d, expected 4.", r)

}

}

你只需要执行 go test 命令就可以运行上面的测试了。

#### 第五步：从哪儿找第三方库

当然，你只学习go语言本身，基本是做不了什么事的，必须要使用第三方扩展库。

这里罗列了Go语言的第三方库，通过这些第三方库的介绍，我们也可以大概知道Go可以用来干什么。

如果你知道库的名字的话，也可以在这个网站上搜索。

据我了解，Go的第三方库大多都在GitHub上面。

#### 第六步：用Go做Web开发

Go是静态语言，而且支持并发编程，所以，他有天然的性能优势，大多公司主要使用Go也是开发后端服务（即API）。

终于到了实战阶段，如果我们真的要掌握一门语言，那么一定要用它来开发一个项目出来。这个过程大概需要一个月。

Beego是Go下在主流的Web开发框架，资料相对比较丰富，而且有完善的文档。你可为此制定一个目标，比如用它来开发一个Blog，为此，你需要详细阅读Beego文档，以及学习相关的Web开发技术。

等你完成这个项目的时候，我想你已经会使用Go语言了。

Go 语言较之 C 语言一个很大的优势就是自带 GC 功能，可 GC 并不是没有代价的。写 C 语言的时候，在一个函数内声明的变量，在函数退出后会自动释放掉，因为这些变量分配在栈上。如果你期望变量的数据可以在函数退出后仍然能被访问，就需要调用malloc 方法在堆上申请内存，如果程序不再需要这块内存了，再调用 free 方法释放掉。Go 语言不需要你主动调用 malloc 来分配堆空间，编译器会自动分析，找出需要 malloc 的变量，使用堆内存。编译器的这个分析过程就叫做逃逸分析。

所以你在一个函数中通过dict := make(map[string]int) 创建一个 map 变量，其背后的数据是放在栈空间上还是堆空间上，是不一定的。这要看编译器分析的结果。

可逃逸分析并不是百分百准确的，它有缺陷。有的时候你会发现有些变量其实在栈空间上分配完全没问题的，但编译后程序还是把这些数据放在了堆上。如果你了解 Go 语言编译器逃逸分析的机制，在写代码的时候就可以有意识地绕开这些缺陷，使你的程序更高效。

Go 语言虽然在内存管理方面降低了编程门槛，即使你不了解堆栈也能正常开发，但如果你要在性能上较真的话，还是要掌握这些基础知识。

这里不对堆内存和栈内存的区别做太多阐述。简单来说就是， 栈分配廉价，堆分配昂贵。 栈空间会随着一个函数的结束自动释放，堆空间需要时间 GC 模块不断地跟踪扫描回收。如果对这两个概念有些迷糊，建议阅读下面 2 个文章：

这里举一个小例子，来对比下堆栈的差别：

stack 函数中的变量 i 在函数退出会自动释放；而 heap 函数返回的是对变量 i 的引用，也就是说 heap() 退出后，表示变量 i 还要能被访问，它会自动被分配到堆空间上。

他们编译出来的代码如下：

逻辑的复杂度不言而喻，从上面的汇编中可看到，heap() 函数调用了 runtime.newobject() 方法，它会调用 mallocgc 方法从 mcache 上申请内存，申请的内部逻辑前面文章已经讲述过。堆内存分配不仅分配上逻辑比栈空间分配复杂，它最致命的是会带来很大的管理成本，Go 语言要消耗很多的计算资源对其进行标记回收（也就是 GC 成本）。

Go 编辑器会自动帮我们找出需要进行动态分配的变量，它是在编译时追踪一个变量的生命周期，如果能确认一个数据只在函数空间内访问，不会被外部使用，则使用栈空间，否则就要使用堆空间。

我们在go build 编译代码时，可使用 -gcflags '-m' 参数来查看逃逸分析日志。

以上面的两个函数为例，编译的日志输出是：

日志中的&i escapes to heap 表示该变量数据逃逸到了堆上。

需要使用堆空间，所以逃逸，这没什么可争议的。但编译器有时会将 不需要 使用堆空间的变量，也逃逸掉。这里是容易出现性能问题的大坑。网上有很多相关文章，列举了一些导致逃逸情况，其实总结起来就一句话：

多级间接赋值容易导致逃逸 。

这里的多级间接指的是，对某个引用类对象中的引用类成员进行赋值。Go 语言中的引用类数据类型有func , interface , slice , map , chan , *Type(指针) 。

记住公式Data.Field = Value ，如果 Data , Field 都是引用类的数据类型，则会导致 Value 逃逸。这里的等号 = 不单单只赋值，也表示参数传递。

根据公式，我们假设一个变量data 是以下几种类型，相应的可以得出结论：

下面给出一些实际的例子：

如果变量值是一个函数，函数的参数又是引用类型，则传递给它的参数都会逃逸。

上例中te 的类型是 func(*int) ，属于引用类型，参数 *int 也是引用类型，则调用 te(&j) 形成了为 te 的参数(成员) *int 赋值的现象，即 te.i = &j 会导致逃逸。代码中其他几种调用都没有形成 多级间接赋值 情况。

同理，如果函数的参数类型是 slice , map 或 interface{} 都会导致参数逃逸。

匿名函数的调用也是一样的，它本质上也是一个函数变量。有兴趣的可以自己测试一下。

只要使用了Interface 类型(不是 interafce{} )，那么赋值给它的变量一定会逃逸。因为 interfaceVariable.Method() 先是间接的定位到它的实际值，再调用实际值的同名方法，执行时实际值作为参数传递给方法。相当于 interfaceVariable.Method.this = realValue

向 channel 中发送数据，本质上就是为 channel 内部的成员赋值，就像给一个 slice 中的某一项赋值一样。所以chan *Type , chan map[Type]Type , chan []Type , chan interface{} 类型都会导致发送到 channel 中的数据逃逸。

这本来也是情理之中的，发送给 channel 的数据是要与其他函数分享的，为了保证发送过去的指针依然可用，只能使用堆分配。

可变参数如func(arg ...string) 实际与 func(arg []string) 是一样的，会增加一层访问路径。这也是 fmt.Sprintf 总是会使参数逃逸的原因。

例子非常多，这里不能一一列举，我们只需要记住分析方法就好，即，2 级或更多级的访问赋值会 容易 导致数据逃逸。这里加上 容易 二字是因为随着语言的发展，相信这些问题会被慢慢解决，但现阶段，这个可以作为我们分析逃逸现象的依据。

下面代码中包含 2 种很常规的写法，但他们却有着很大的性能差距，建议自己想下为什么。

Benchmark 和 pprof 给出的结果:

熟悉堆栈概念可以让我们更容易看透 Go 程序的性能问题，并进行优化。

多级间接赋值会导致 Go 编译器出现不必要的逃逸，在一些情况下可能我们只需要修改一下数据结构就会使性能有大幅提升。这也是很多人不推荐在 Go 中使用指针的原因，因为它会增加一级访问路径，而map , slice , interface{} 等类型是不可避免要用到的，为了减少不必要的逃逸，只能拿指针开刀了。

大多数情况下，性能优化都会为程序带来一定的复杂度。建议实际项目中还是怎么方便怎么写，功能完成后通过性能分析找到瓶颈所在，再对局部进行优化。