Go语言入门分享
简介: Go语言出自Ken Thompson、Rob Pike和Robert Griesemer之手,起源于2007年,并在2009年正式对外发布。Go的主要目标是“兼具Python等动态语言的开发速度和C/C++等编译型语言的性能与安全性”,旨在不损失应用程序性能的情况下降低代码的复杂性,具有“部署简单、并发性好、语言设计良好、执行性能好”等优势。
作者 | 赋行
来源 | 阿里技术公众号
前言
曾经我是一名以Java语言为主的开发者,做过JavaWeb相关的开发,后来转Android,还是离不开Java,直到转去做大前端了,其实也就是一直在用JS写业务。如今由于个人发展原因,来到阿里云,由于项目需要就撸起了Go语言;多年编程经验告诉我,语言只是工具罢了,重要的还是其思想与逻辑,所以只需学学语法就好了,于是我便三天入门Go,期间主要用Java和JS来类比,语法变化之大,差点让我从入门到放弃了!其实,还真不是学习语法就好了呢,其中包含了很多Go的设计理念。正所谓好记性不如敲烂键盘,学过的东西,还是要沉淀沉淀,也可以分享出来一起探讨,更有助于成长,于是我就简单记录了一下我的Go语言入门学习笔记。
一 简介
Go语言出自Ken Thompson、Rob Pike和Robert Griesemer之手,起源于2007年,并在2009年正式对外发布,其实都是Google的,设计Go语言的初衷都是为了满足Google的需求。Go的主要目标是“兼具Python等动态语言的开发速度和C/C++等编译型语言的性能与安全性”,旨在不损失应用程序性能的情况下降低代码的复杂性,具有“部署简单、并发性好、语言设计良好、执行性能好”等优势。最主要还是为了并发而生,并发是基于goroutine的,goroutine类似于线程,但并非线程,可以将goroutine理解为一种虚拟线程。Go语言运行时会参与调度goroutine,并将goroutine合理地分配到每个CPU中,最大限度地使用CPU性能。
二 环境
我们玩Java的时候需要下载JDK,类似于此,用Go开发也需要下载Go,里面提供各种develop-kit、library以及编译器。在官网下载mac版本pkg后直接安装,最后用 go version 命令验证版本:
然后就是设置这两个环境变量,mac系统是在 .bash_profile 文件里面:
- GOROOT:表示的是Go语言编译、工具、标准库等的安装路径,其实就相当于配置JAVA_HOME那样。
- GOPATH:这个和Java有点不一样,Java里并不需要设置这个变量,这个表示Go的工作目录,是全局的,当执行Go命令的时候会依赖这个目录,相当于一个全局的workspace。一般还会把$GOPATH/bin设置到PATH目录,这样编译过的代码就可以直接执行了。
1 纯文本开发
编写代码,可以保存在任意地方,例如新建一个helloworld目录,创建hello.go文件:
然后执行 go build hello.go 就可以编译出hello文件,在./hello就可以执行了;或者直接 go run hello.go 合二为一去执行。执行这个命令并不需要设置环境变量就可以了。看起来和c差不多,但是和Java不一样,运行的时候不需要虚拟机。早期的GO工程也是使用Makefile来编译,后来有了强大的命令 go build、go run,可以直接识别目录还是文件。
2 GoLand
自动import,超爽的体验!不用按command + /了!
运行项目需要设置build config,和Android、Java的都差不多,例如创建一个hello-goland项目:
导入go module项目的时候需要勾选这项,否则无法像maven/gradle那样sync下载依赖:
3 VSCODE
直接搜索Go插件,第一个最多安装量的就是了,我还没用过所以不太清楚如何。
三 工程结构
在设置GOPATH环境变量的时候,这个目录里面又分了三个子目录bin、pkg、src,分别用于存放可执行文件、包文件和源码文件。当我们执行Go命令的时候,如果我们指定的不是当前目录的文件或者绝对路径的目录的话,就会去GOPATH目录的去找。这样在GOPATH目录创建了xxx的目录后,就可以在任意地方执行 go build xx 命令来构建或者运行了。
pkg目录应该是在执行 go install 后生成的包文件,包括.a这样的文件,相当于一个归档。
这样对于我们具体项目来说并不好,没有Workspace的概念来隔离每个项目了,所以我觉得这个GOPATH目录放的应该是公用的项目,例如开源依赖的。我们在开发过程中,也会下载很多的依赖,这些依赖都下载到这个目录,和我们的项目文件混在一起了。
另外,通过IDE可以设置project的GOPATH,相当于在执行的时候给GOPATH增加了一个目录变量,也就是说,我们创建一个项目,然后里面也有bin、src、pkg这三个目录,和GOPATH一样的,本质上,IDE在运行的时候其实就是设置了一下GOPATH:
GOPATH=/Users/fuxing/develop/testgo/calc-outside:/Users/fuxing/develop/go #gosetup
Go语言在寻找变量、函数、类属性及方法的时候,会先查看GOPATH这个系统环境变量,然后根据该变量配置的路径列表依次去对应路径下的src目录下根据包名查找对应的目录,如果对应目录存在,则再到该目录下查找对应的变量、函数、类属性和方法。
其实官方提供了Go Modules的方法更好解决。
1 Go Modules
从Go 1.11版本开始,官方提供了Go Modules管理项目和依赖,从1.13版本开始,更是默认开启了对Go Modules的支持,使用Go Modules的好处是显而易见的 —— 不需要再依赖GOPATH,你可以在任何位置创建Go项目,并且在国内,可以通过 GOPROXY 配置镜像源加速依赖包的下载。也就是说,创建一个项目就是一个mod,基本上目前Go开源项目都是这样做的。其实就是类似于Maven和Gradle。
用GoLand来打开不同的项目,显示依赖的外部库是不一样的,如果是用GOPATH创建的项目,需要用命令下载依赖包到GOPATH:
go get -u github.com/fuxing-repo/fuxing-module-name
四 语法
1 包:Package 和 Import
Java里面的包名一般是很长的,和文件夹名称对应,作用就是命名空间,引入的时候需要写长长的一串,也可以用通配符:
Go里面一般的包名是当前的文件夹名称,同一个项目里面,可以存在同样的包名,如果同时都需要引用同样包名的时候,就可以用alias区分,类似于JS那样。一般import的是一个包,不像Java那样import具体的类。同一个包内,不同文件,但是里面的东西是可以使用的,不需要import。这有点类似于C的include吧。如果多行的话,用括号换行包起来。
Go语言中,无论是变量、函数还是类属性及方法,它们的可见性都是与包相关联的,而不是类似Java那样,类属性和方法的可见性封装在对应的类中,然后通过 private、protected 和 public 这些关键字来描述其可见性,Go语言没有这些关键字,和变量和函数一样,对应Go语言的自定义类来说,属性和方法的可见性根据其首字母大小写来决定,如果属性名或方法名首字母大写,则可以在其他包中直接访问这些属性和方法,否则只能在包内访问,所以Go语言中的可见性都是包一级的,而不是类一级的。
在Java里面,只有静态,或者对象就可以使用点运算符,而且是极其常用的操作,而在Go里面,还可以用一个包名来点,这就是结合了import来使用,可以点出一个函数调用,也可以点出一个结构体,一个接口。另外区别于C,不管是指针地址,还是对象引用,都是用点运算符,不需要考虑用点还是箭头了!
入口的package必须是main,否则可以编译成功,但是跑不起来:
Compiled binary cannot be executed.
原因就是找不到入口函数,跟C和Java一样吧,也需要main函数。
2 变量
- 用 var 关键字修饰(类似于JS),有多个变量的时候用括号 () 包起来,默认是有初始化值的,和Java一样。
- 如果初始化的时候就赋值了那可以不需要 var 来修饰,和Java不同的是变量类型在变量后面而不是前面,不过需要 := 符号。
- 最大的变化就是类型在变量后面!
- 语句可以省略分号 ;
多重赋值
可以实现变量交换,有点像JS的对象析构,但是其实不一样。有了这个能力,函数是可以返回多个值了!
匿名变量
用 _ 来表示,作用就是可以避免创建定义一些无意义的变量,还有就是不会分配内存。
指针变量
和C语言一样的,回想一下交换值的例子即可,到底传值和传址作为参数的区别是啥。
Go语言之所以引入指针类型,主要基于两点考虑,一个是为程序员提供操作变量对应内存数据结构的能力;另一个是为了提高程序的性能(指针可以直接指向某个变量值的内存地址,可以极大节省内存空间,操作效率也更高),这在系统编程、操作系统或者网络应用中是不容忽视的因素。
指针在Go语言中有两个使用场景:类型指针和数组切片。
作为类型指针时,允许对这个指针类型的数据进行修改指向其它内存地址,传递数据时如果使用指针则无须拷贝数据从而节省内存空间,此外和C语言中的指针不同,Go语言中的类型指针不能进行偏移和运算,因此更为安全。
变量类型
Go语言内置对以下这些基本数据类型的支持:
- 布尔类型:bool
- 整型:int8、byte、int16、int、uint、uintptr 等
- 浮点类型:float32、float64
- 复数类型:complex64、complex128
- 字符串:string
- 字符类型:rune,本质上是uint32
- 错误类型:error
此外,Go语言也支持以下这些复合类型:
- 指针(pointer)
- 数组(array)
- 切片(slice)
- 字典(map)
- 通道(chan)
- 结构体(struct)
- 接口(interface)
还有const常量,iota这个预定义常量用来定义枚举。可以被认为是一个可被编译器修改的常量,在每一个const关键字出现时被重置为0,然后在下一个const出现之前,每出现一次iota,其所代表的数字会自动增1。
类型强转
数组与切片
字典
其实就是Java里的map,使用上语法有很多不同。
make和new
区别就是返回值和参数不同,一个是值,一个是指针,slice、chan、map只能用make,本身就是指针。其他make、new都行。
神奇的nil
Java里面用null比较舒服,直接就判空了,除了在string类型的时候,还要判断字符为 "",但是Go里面的string要判断为空就简单一点,不能判断nil,只能判断 ""。然而Go里面的nil却和null不一样,其实是和JS里面 ==、=== 很像。
nil也是有类型的。
根对象:Object
在Java里面,如果不用多态,没有接口,父类,超类的话,就用Object作为根对象,在Go里面,如果函数参数不知道用什么类型,通常会用 interface{},这是个空接口,表示任意类型,因为不是弱类型语言,没有any类型,也不是强面向对象语言,没有Object,所以就有这个空接口的出现。
3 语句
比较大的一个特点就是能不用括号的地方都不用了。
控制流程
if语句的判断条件都没有了括号包起来,还可以前置写变量初始化语句,类似于for循环,左花括号 { 必须与 if 或者 else 处于同一行。
switch语句变得更强大了,有这些变化:
- switch关键字后面可以不跟变量,这样case后面就必须跟条件表达式,其实本质上就是美化了if-else-if。
- 如果switch后面跟变量,case也变得强大了,可以出现多个结果选项,通过逗号分隔。
- swtich后面还可以跟一个函数。
- 不需要用break来明确退出一个case,如果要穿透执行一层,可以用 fallthrough 关键字。
循环流程
去掉了 while、repeat 这些关键字了,只保留了 for 这个关键字,其实用起来差不多。break , continue 这些关键字还是有的。
跳转流程
Go很神奇的保留了一直被放弃的goto语句,记得是Basic、Pascal那些语言才会有,不知道为啥。
defer流程有点像Java里面的finally,保证了一定能执行,我感觉底层也是goto的实现吧。在后面跟一个函数的调用,就能实现将这个xxx函数的调用延迟到当前函数执行完后再执行。
这是压栈的变量快照实现。
4 函数
- 关键字是 func,Java则完全没有 function 关键字,而是用 public、void 等等这样的关键字,JS也可以用箭头函数来去掉 function 关键字了。
- 函数的花括号强制要求在首行的末尾。
- 可以返回多个值!返回值的类型定义在参数后面了,而不是一开始定义函数就需要写上,跟定义变量一样,参数的类型定义也是一样在后面的,如果相同则保留最右边的类型,其他省略。
- 可以显式声明了返回值就可以了,必须每个返回值都显式,就可以省略 return 变量。
匿名函数和闭包
在Java里面的实现一般是内部类、匿名对象,不能通过方法传递函数作为参数,只能传一个对象,实现接口。
Go则和JS一样方便,可以传递函数,定义匿名函数。
不定参数
和Java类似,不同的是在调用是也需要用 ... 来标识。
五 面向对象
在C语言里面经常会有用到别名的用法,可以用 type 类起一个别名,很常用,特别是在看源码的时候经常出现:
type Integer int
1 类
没有 class 的定义,Go里面的类是用结构体来定义的。
2 成员方法
定义类的成员函数方法比较隐式,方向是反的,不是声明这个类有哪些成员方法,而是声明这个函数是属于哪个类的。声明语法就是在 func 关键字之后,函数名之前,注意不要把Java的返回值定义给混淆了!
3 继承
没有 extend 关键字,也就没有了继承,只能通过组合的方式来实现。组合就解决了多继承问题,而且多继承的顺序不同,内存结构也不同。
这种语法并不是像Java里面的组合,使用成员变量,而是直接引用Animal并没有定义变量名称(当然也是可以的,不过没必要了),然后就可以访问Animal中的所有属性和方法(如果两个类不在同一个包中,只能访问父类中首字母大写的公共属性和方法),还可以实现方法重写。
4 接口
Java的接口是侵入式的,指的是实现类必须明确声明自己实现了某个接口。带来的问题就是,如果接口改了,实现类都必须改,所以以前总是会有一个抽象类在中间。
Go的接口是非侵入式的,因为类与接口的实现关系不是通过显式声明,而是系统根据两者的方法集合进行判断。一个类必须实现接口所有的方法才算是实现了这个接口。接口之间的继承和类的继承一样,通过组合实现,多态的实现逻辑是一样的,如果接口A的方法列表是接口B的方法列表的子集,那么接口B可以赋值给接口A。
六 并发编程
目前并发编程方面还没学习多少,就简单从网上摘了这一个经典的生产者消费者模型例子来初步感受一下,后续深入学习过后再进行分享。
七 总结
这只是一个简单入门,其实Go还有很多很多东西我没有去涉及的,例如context、try-catch、并发相关(如锁等)、Web开发相关的、数据库相关的。以此贴开始,后续继续学习Go语言分享。
本文为阿里云原创内容,未经允许不得转载。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· AI与.NET技术实操系列(二):开始使用ML.NET
· 单线程的Redis速度为什么快?
2020-07-15 杭州湾跨海大桥视频上云,夯实智慧高速“云基建”