欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  头条

你好,我是你的小可爱“GO语言”

程序员文章站 2022-05-15 09:29:35
...
你好,我是你的小可爱“GO语言”

本专栏全方面解读软件领域相关知识,偏向技术深度内容,主要覆盖编程语言、系统架构、开源框架、技术管理等,又分为多个主题,每个主题包含多篇文章。

本文是专栏的第一篇文章,也是GO语言系列的第一篇文章,今天我想从方方面面讲下我对于GO语言的大致印象,后续文章会深入介绍各个特性、编程技巧。

介绍

从历史说起,Go语言的作者是Robert Griesemer、Rob Pike和Ken Thompson,其中Ken Thompson以在UNIX和C语言开发中的巨大贡献为程序员所熟知。目前为止有哪些软件是用Go语言编写的呢?容器软件Docker、基础软件ETCD和Kubernetes,数据库软件TiDB和InfluxDB、消息系统NSQ、缓存组件GroupCache。

可以看到,几乎在基础架构软件的每一个领域,都涌现了由Go语言编写的新软件,这些软件的市场占有率持续攀高。除了作为基础架构软件的语言之外,Go语言作为服务器端通用语言的机会也越来越多,从Beego、Gorilla等Go语言Web框架的热门程度也可以看出一些发展趋势。

示例程序

我们通过一个简单的示例程序看看GO的编码风格:

  1. Package main

  2. import "fmt"

  3. func main(){

  4. fmt.Println("hello,world");

  5. }

如何运行上述代码呢?GO语言是编译型语言,GO的工具链将程序的源文件转变成机器相关的原生指令(二进制),最基础的工具是run命令,它可以将一个或者多个GO源文件(以.go为后缀)进行编译、链接,链接后就开始运行生成的可执行文件,看一下实际的操作:

1.$go run helloworld.go

打印:hello,world

上面的编译、链接、运行,都是一次性工作,也就是说下次运行go run命令时,内部流程会全部重做。我们可以通过go build命令生成二进制程序,随后就可以任意调用了,如下所示:

  1. $go build helloworld.go

  2. $./helloworld

  3. hello,world

这里我们提到了编译型语言,什么是编译型语言?如果编译型语言编写的程序需要被机器认识,它需要经过编译和链接两个步骤,编译是把源代码编译成机器码,链接是把各个模块的机器码和依赖库串联起来生成可执行文件。

我们来看看编译型语言的优缺点,由于预编译过程的存在,对代码可以进行优化,也只需要一次编译,运行时效率也会较高,并且可以脱离语言环境独立运行,缺点是修改后的整个模块需要编译。

相对编译型语言,解释型语言只会在运行程序的时候才逐行翻译。那么什么是链接?准确地说是链接和装入,即在编译后执行这两个步骤,程序才能在内存中运行。链接是通过连接器完成的,它将多个目标文件链接成一个完整的、可加载的、可执行的目标文件,整个过程包括了符号解析(将目标文件内的应用符号和该符合的定义联系起来)和将符号定义与存储器的位置联系起来两个步骤。

命名规范

GO语言中的函数、常量、变量、类型、语句、标签、包的名称有较统一的命名规则,名称的开头是一个字母或下划线,后面可以是任意数量的字符、数字或下划线,注意,GO语言是区分大小写的,并且关键字不可以作为名称。当遇到由单词组成的名称时,GO程序员一般使用“驼峰式”的风格。

说到这点,我们来看看Java的命名规范。以$为例,Oracle官网建议不要使用$或者_开始作为变量命名,并且建议在命名中完全不要使用“$”字符,原文是“The convention,however,is to always begin your variable names with a letter,not ‘$’ or ‘_’”。对于这一条,腾讯的看法是一样的,百度认为虽然类名可以支持使用“$”符号,但只在系统生成中使用(如匿名类、代理类),编码不能使用。

这类问题在*上有很多人提出,主流意见为大家不需要过多关注,只需要关注原先的代码是否存在”_”,如果存在就继续保留,如果不存在则尽量避免使用。也有一位提出尽量不适用”_”的原因是低分辨率的显示器,肉眼很难区分”_”(一个下划线)和”__”(两个下划线)。

我个人觉得可能是由于受C语言的编码规范所影响。因为在C语言里面,系统头文件里将宏名、变量名、内部函数名用_开头,因此当你#include系统头文件时,这些文件里的名字都有了定义,如果与你用的名字冲突,就可能引起各种奇怪的现象。综合各种信息,建议不要使用”_”、”$”、空格作为命名开始,以免不利于阅读或者产生奇怪的问题。

对于类名,俄罗斯Java专家Yegor Bugayenko给出的建议是尽量采用现实生活中实体的抽象,如果类的名字以“-er”结尾,这是不建议的命名方式。他指出针对这一条有一个例外,那就是工具类,例如StringUtils、FileUtils、IOUtils。对于接口名称,不要使用IRecord、IfaceEmployee、RedcordInterface,而是使用现实世界的实体命名。

当然,上述都是针对Java的,与GO无关,GO语言受C语言的影响更多。

变量概述

GO语言包括四种主要的声明方式:变量(var)、常量(const)、类型(type)和函数(func)。我们来聊聊变量相关的几点感受:

1. var声明创建一个具体类型的变量,然后给它附加一个名称,并且设置它的初始值,每一个声明有一个通用的形式:var name type = expression。多说一句,GO语言允许空字符串,不会报空指针错误。

2. 可以采用name:=expression方式声明变量,注意:=表示声明,=表示赋值。

如果一个变量生命为var x int,表达式&x(x的地址)获取一个指向整形变量的指针,它的类型是整形指针(*int)。如果值叫做p,我们可以说p指向x,或者p包含x的地址。p指向的变量写成*p。表达式*p获取变量的值(此例为整形),因为*p代表一个标量,所以它也可以出现在赋值操作符左边,用于更新变量的值。

  1. x:=1

  2. p:=&x//p是整形指针,指向x

  3. fmt.Println(*p)//输出“1”

  4. *p=2//等同于x=2

  5. fmt.Println(x)//输出“2”

注意,相较于Java的NULL,GO表示指针类型的零值是nil。

3. 使用内置的new函数创建变量,表达式new(T)创建一个未命名的T类型变量,初始化为T类型的零值,并返回其地址(地址类型为*T)。使用new创建的变量和取其地址的普通局部变量没有什么区别,只是不需要引入(或声明)一个虚拟的名字,通过new(T)就可以直接在表达式中使用。

  1. func newInt() *int{

  2. return new(int)

  3. }

等同于:

  1. func newInt() *int{

  2. var dummy int

  3. return &dummy

  4. }

gofmt工具

GO语言提供了很多工具,例如gofmt,它可以将代码格式化,我们来看看具体是怎么实现的。

Gofmt会读取程序并且进行格式化,例如gofmt filename命令,它会打印格式化后的代码。我们来看一个示例程序(程序名demo.go):

你好,我是你的小可爱“GO语言”

运行gofmt demo.go之后,输出的代码如下:

你好,我是你的小可爱“GO语言”

垃圾回收

对于高级语言的垃圾回收器,如何知道一个变量是否应该被回收?基本思路是每一个包级别的变量,以及每一个当前执行函数的局部变量,可以作为追溯变量的路径的源头,通过指针和其他方式的引用可以找到变量。如果变量的路径不存在,那么标量变得不可访问,因此它不会影响任何其他的计算过程。

因为变量的生命周期是通过它的是否可达来确定的,所以局部变量可以在包含它的循环的一次迭代之外继续存在。

GO语言的垃圾回收器设计的目标就是非阻塞式回收器,GO1.5实现了10毫秒内的回收(注意,根据实验证明,这种说法只有在GC有足够CPU时间的情况下才能成立)。从设计原理上来看,Go的回收器是一种并发的、三基色的、标记并清除回收器,它的设计想法是由Dijkstra在1978年提出的,目标是跟现代硬件的属性和现代软件的低延迟需求非常匹配。

总结

综上所述,每一门新的语言的出现都是有原因的,一般来说是两大原因:

1. 出现了当前主流语言无法解决的复杂场景或具体问题;

2. 需要性价比更高的语言。

我想,除了贝尔实验室会做一些完全出于个人情怀的东西以外,没有哪家会随便布局无出路的新技术吧。正如Rob Pike所说,“复杂性是以乘积方式增长的”,为了解决某个问题,一点点地将系统的某个部分变得更加复杂,不可避免地也给其他部分增加了复杂性。

在不断要求增加系统功能、选项和配置,以及快速发布的压力之下,简单性往往被忽视了。要实现简单性,就要求在项目的一开始就浓缩思想的本质,并在项目的整个生命周期制定更具体的准则,以分辨出哪些变化是好的,哪些是坏的或致命的。

只要足够努力,好的变化就既可以实现目的,又能够不损害Fred *s所谓软件设计上的“概念完整性”。坏的变化就做不到这一点,致命的变化则会牺牲简单性而换取方便性。但是,只有通过设计上的简单性,系统才能在增长过程中保持稳定、安全和自洽。Go语言不仅包括语言本身及其工具和标准库,也保持了极端简单性的行为文化。