新年彩蛋 | 完整版思考题答案 基础概念篇 Go 语言在多个工作区中查找依赖包的时候是以怎样的顺序进行的? 答:你设置的环境变量GOPATH的值决定了这个顺序.如果你在GOPATH中设置了多个工作区,那么这种查找会以从左到右的顺序在这些工作区中进行. 你可以通过试验来确定这个问题的答案.例如:先在一个源码文件中导入一个在你的机器上并不存在的代码包,然后编译这个代码文件.最后,将输出的编译错误信息与GOPATH的值进行对比. 如果在多个工作区中都存在导入路径相同的代码包会产生冲突吗? 答:不会产生…

03 | 库源码文件 在我的定义中,库源码文件是不能被直接运行的源码文件,它仅用于存放程序实体,这些程序实体可以被其他代码使用(只要遵从 Go 语言规范的话). 这里的"其他代码"可以与被使用的程序实体在同一个源码文件内,也可以在其他源码文件,甚至其他代码包中. 那么程序实体是什么呢?在 Go 语言中,程序实体是变量.常量.函数.结构体和接口的统称.我们总是会先声明(或者说定义)程序实体,然后再去使用. 比如在上一篇的例子中,我们先定义了变量name,然后在main函数中调用fmt.P…

24 | 测试的基本规则和流程(下) Go 语言是一门很重视程序测试的编程语言,所以在上一篇中,我与你再三强调了程序测试的重要性,同时,也介绍了关于go test命令的基本规则和主要流程的内容.今天我们继续分享测试的基本规则和流程. 知识扩展 问题 1:怎样解释功能测试的测试结果? demo53.go package main import ( "errors" "flag" "fmt" ) var name string func init()…

14 | 接口类型的合理运用 前导内容:正确使用接口的基础知识 在 Go 语言的语境中,当我们在谈论"接口"的时候,一定指的是接口类型.因为接口类型与其他数据类型不同,它是没法被实例化的. 更具体地说,我们既不能通过调用new函数或make函数创建出一个接口类型的值,也无法用字面量来表示一个接口类型的值. 对于某一个接口类型来说,如果没有任何数据类型可以作为它的实现,那么该接口的值就不可能存在. 我已经在前面展示过,通过关键字type和interface,我们可以声明出接口类型. 接口…

22 | panic函数.recover函数以及defer语句(下) 我在前一篇文章提到过这样一个说法,panic 之中可以包含一个值,用于简要解释引发此 panic 的原因. 如果一个 panic 是我们在无意间引发的,那么其中的值只能由 Go 语言运行时系统给定.但是,当我们使用panic函数有意地引发一个 panic 的时候,却可以自行指定其包含的值.我们今天的第一个问题就是针对后一种情况提出的. 知识扩展 问题 1:怎样让 panic 包含一个值,以及应该让它包含什么样的值? 这其实很简…

07 | 数组和切片 我们这次主要讨论 Go 语言的数组(array)类型和切片(slice)类型. 它们的共同点是都属于集合类的类型,并且,它们的值也都可以用来存储某一种类型的值(或者说元素). 不过,它们最重要的不同是:数组类型的值(以下简称数组)的长度是固定的,而切片类型的值(以下简称切片)是可变长的. 数组的长度在声明它的时候就必须给定,并且之后不会再改变.可以说,数组的长度是其类型的一部分.比如,[1]string和[2]string就是两个不同的数组类型. 而切片的类型字面量中只有元…

09 | 字典的操作和约束 至今为止,我们讲过的集合类的高级数据类型都属于针对单一元素的容器. 它们或用连续存储,或用互存指针的方式收纳元素,这里的每个元素都代表了一个从属某一类型的独立值. 我们今天要讲的字典(map)却不同,它能存储的不是单一值的集合,而是键值对的集合. 在 Go 语言规范中,应该是为了避免歧义,他们将键值对换了一种称呼,叫做:"键 - 元素对".我们也沿用这个看起来更加清晰的词来讲解. 知识前导:为什么字典的键类型会受到约束? Go 语言的字典类型其实是一个哈希表…

10 | 通道的基本操作 作为 Go 语言最有特色的数据类型,通道(channel)完全可以与 goroutine(也可称为 go 程)并驾齐驱,共同代表 Go 语言独有的并发编程模式和编程哲学. Don't communicate by sharing memory; share memory by communicating. (不要通过共享内存来通信,而应该通过通信来共享内存.) 这是作为 Go 语言的主要创造者之一的 Rob Pike 的至理名言,这也充分体现了 Go 语言最重要的编程理…

11 | 通道的高级玩法 我们已经讨论过了通道的基本操作以及背后的规则.今天,我再来讲讲通道的高级玩法. 首先来说说单向通道.我们在说"通道"的时候指的都是双向通道,即:既可以发也可以收的通道. 所谓单向通道就是,只能发不能收,或者只能收不能发的通道.一个通道是双向的,还是单向的是由它的类型字面量体现的. 还记得我们在上篇文章中说过的接收操作符<-吗?如果我们把它用在通道的类型字面量中,那么它代表的就不是"发送"或"接收"的动作了,而是表示…

12 | 使用函数的正确姿势 在前几期文章中,我们分了几次,把 Go 语言自身提供的,所有集合类的数据类型都讲了一遍,额外还讲了标准库的container包中的几个类型. 在几乎所有主流的编程语言中,集合类的数据类型都是最常用和最重要的.我希望通过这几次的讨论,能让你对它们的运用更上一层楼. 从今天开始,我会开始向你介绍使用 Go 语言进行模块化编程时,必须了解的知识,这包括几个重要的数据类型以及一些模块化编程的技巧.首先我们需要了解的是 Go 语言的函数以及函数类型. 前导内容:函数是一等的公…

13 | 结构体及其方法的使用法门 我们都知道,结构体类型表示的是实实在在的数据结构.一个结构体类型可以包含若干个字段,每个字段通常都需要有确切的名字和类型. 前导内容:结构体类型基础知识 当然了,结构体类型也可以不包含任何字段,这样并不是没有意义的,因为我们还可以为类型关联上一些方法,这里你可以把方法看做是函数的特殊版本. 函数是独立的程序实体.我们可以声明有名字的函数,也可以声明没名字的函数,还可以把它们当做普通的值传来传去.我们能把具有相同签名的函数抽象成独立的函数类型,以作为一组输入.输…

15 | 关于指针的有限操作 在前面的文章中,我们已经提到过很多次"指针"了,你应该已经比较熟悉了.不过,我们那时大多指的是指针类型及其对应的指针值,今天我们讲的则是更为深入的内容. 让我们先来复习一下. type Dog struct { name string } func (dog *Dog) SetName(name string) { dog.name = name } 对于基本类型Dog来说,*Dog就是它的指针类型.而对于一个Dog类型,值不为nil的变量dog,取址表达…

16 | go语句及其执行规则(上) 我们已经知道,通道(也就是 channel)类型的值,可以被用来以通讯的方式共享数据.更具体地说,它一般被用来在不同的 goroutine 之间传递数据.那么 goroutine 到底代表着什么呢? 简单来说,goroutine 代表着并发编程模型中的用户级线程.你可能已经知道,操作系统本身提供了进程和线程,这两种并发执行程序的工具. 前导内容:进程与线程 进程,描述的就是程序的执行过程,是运行着的程序的代表.换句话说,一个进程其实就是某个程序运行时的一个产…

17 | go语句及其执行规则(下) 知识扩展 问题 1:怎样才能让主 goroutine 等待其他 goroutine? 我刚才说过,一旦主 goroutine 中的代码执行完毕,当前的 Go 程序就会结束运行,无论其他的 goroutine 是否已经在运行了.那么,怎样才能做到等其他的 goroutine 运行完毕之后,再让主 goroutine 结束运行呢? 其实有很多办法可以做到这一点.其中,最简单粗暴的办法就是让主 goroutine"小睡"一会儿. for i := 0;…

18 | if语句.for语句和switch语句 现在,让我们暂时走下神坛,回归民间.我今天要讲的if语句.for语句和switch语句都属于 Go 语言的基本流程控制语句.它们的语法看起来很朴素,但实际上也会有一些使用技巧和注意事项.我在本篇文章中会以一系列面试题为线索,为你讲述它们的用法. 那么,今天的问题是:使用携带range子句的for语句时需要注意哪些细节? 这是一个比较笼统的问题.我还是通过编程题来讲解吧. 本问题中的代码都被放在了命令源码文件 demo41.go 的main函数中的…

19 | 错误处理(上) 提到 Go 语言中的错误处理,我们其实已经在前面接触过几次了. 比如,我们声明过error类型的变量err,也调用过errors包中的New函数. 我们说过error类型其实是一个接口类型,也是一个 Go 语言的内建类型.在这个接口类型的声明中只包含了一个方法Error.Error方法不接受任何参数,但是会返回一个string类型的结果.它的作用是返回错误信息的字符串表示形式. 我们使用error类型的方式通常是,在函数声明的结果列表的最后,声明一个该类型的结果,同时在…

21 | panic函数.recover函数以及defer语句 (上) 在本篇,我要给你展示 Go 语言的另外一种错误处理方式.不过,严格来说,它处理的不是错误,而是异常,并且是一种在我们意料之外的程序异常. 前导知识:运行时恐慌 panic 这种程序异常被叫做 panic,我把它翻译为运行时恐慌.其中的"恐慌"二字是由 panic 直译过来的,而之所以前面又加上了"运行时"三个字,是因为这种异常只会在程序运行的时候被抛出来. 我们举个具体的例子来看看. 比如说,一…

08 | container包中的那些容器 我们在上次讨论了数组和切片,当我们提到数组的时候,往往会想起链表.那么 Go 语言的链表是什么样的呢? Go 语言的链表实现在标准库的container/list代码包中.这个代码包中有两个公开的程序实体--List和Element,List 实现了一个双向链表(以下简称链表),而 Element 则代表了链表中元素的结构. 那么,我今天的问题是:可以把自己生成的Element类型值传给链表吗? 我们在这里用到了List的四种方法. MoveBefor…

20 | 错误处理 (下) 在上一篇文章中,我们主要讨论的是从使用者的角度看"怎样处理好错误值".那么,接下来我们需要关注的,就是站在建造者的角度,去关心"怎样才能给予使用者恰当的错误值"的问题了. 知识扩展 问题:怎样根据实际情况给予恰当的错误值? 我们已经知道,构建错误值体系的基本方式有两种,即:创建立体的错误类型体系和创建扁平的错误值列表. 先说错误类型体系.由于在 Go 语言中实现接口是非侵入式的,所以我们可以做得很灵活.比如,在标准库的net代码包中,有一…

23 | 测试的基本规则和流程 (上) 在接下来的日子里,我将带你去学习在 Go 语言编程进阶的道路上,必须掌握的附加知识,比如:Go 程序测试.程序监测,以及 Go 语言标准库中各种常用代码包的正确用法. 从上个世纪到今日今时,程序员们,尤其是国内的程序员们,都对编写程序乐此不疲,甚至废寝忘食(比如我自己就是一个例子). 因为这是我们普通人训练自我.改变生活.甚至改变世界的一种特有的途径.不过,同样是程序,我们却往往对编写用于测试的程序敬而远之.这是为什么呢? 我个人感觉,从人的本性来讲,我们…

目录 开篇词 | 跟着学,你也能成为Go语言高手 导读 | 写给0基础入门的Go语言学习者 导读 | 学习专栏的正确姿势 开篇词 | 跟着学,你也能成为Go语言高手 Go 语言是由 Google 出品的一门通用型计算机编程语言. Go 程序可以在装有 Windows.Linux.FreeBSD 等操作系统的服务器上运行,并用于提供基础软件支撑.API 服务.Web 服务.网页服务等等. Go 语言也在移动端进行了积极的探索,现在在 Android 和 iOS 上都可以运行其程序.另外,Go 语言…

25 | 更多的测试手法 在本篇文章,我会继续为你讲解更多更高级的测试方法.这会涉及testing包中更多的 API.go test命令支持的,更多标记更加复杂的测试结果,以及测试覆盖度分析等等. 前导内容:-cpu 的功能 续接前文.我在前面提到了go test命令的标记-cpu,它是用来设置测试执行最大 P 数量的列表的. 复习一下,我在讲 go 语句的时候说过,这里的 P 是 processor 的缩写,每个 processor 都是一个可以承载若干个 G,且能够使这些 G 适时地与 M…

26 | sync.Mutex与sync.RWMutex 从本篇文章开始,我们将一起探讨 Go 语言自带标准库中一些比较核心的代码包.这会涉及这些代码包的标准用法.使用禁忌.背后原理以及周边的知识. 既然 Go 语言是以独特的并发编程模型傲视群雄的语言,那么我们就先来学习与并发编程关系最紧密的代码包. 前导内容: 竞态条件.临界区与同步工具 我们首先要看的就是sync包.这里的"sync"的中文意思是"同步".我们下面就从同步讲起. 相比于 Go 语言宣扬的&quo…

36 | unicode与字符编码 在开始今天的内容之前,我先来做一个简单的总结. Go 语言经典知识总结 在数据类型方面有: 基于底层数组的切片: 用来传递数据的通道: 作为一等类型的函数: 可实现面向对象的结构体: 能无侵入实现的接口等. 在语法方面有: 异步编程神器go语句: 函数的最后关卡defer语句: 可做类型判断的switch语句: 多通道操作利器select语句: 非常有特色的异常处理函数panic和recover. 除了这些,我们还一起讨论了测试 Go 程序的主要方式.这涉及了…

40 | io包中的接口和工具 (上) 我们在前几篇文章中,主要讨论了strings.Builder.strings.Reader和bytes.Buffer这三个数据类型. 知识回顾 还记得吗?当时我还问过你"它们都实现了哪些接口".在我们继续讲解io包中的接口和工具之前,我先来解答一下这个问题. strings.Builder类型主要用于构建字符串,它的指针类型实现的接口有io.Writer.io.ByteWriter和fmt.Stringer.另外,它其实还实现了一个io包的包级私…

44 | 使用os包中的API (上) 我们今天要讲的是os代码包中的 API.这个代码包可以让我们拥有操控计算机操作系统的能力. 前导内容:os 包中的 API 这个代码包提供的都是平台不相关的 API.那么说,什么叫平台不相关的 API 呢? 它的意思是:这些 API 基于(或者说抽象自)操作系统,为我们使用操作系统的功能提供高层次的支持,但是,它们并不依赖于具体的操作系统. 不论是 Linux.macOS.Windows,还是 FreeBSD.OpenBSD.Plan9,os代码包都可以为…

46 | 访问网络服务 前导内容:socket 与 IPC 人们常常会使用 Go 语言去编写网络程序(当然了,这方面也是 Go 语言最为擅长的事情).说到网络编程,我们就不得不提及 socket. socket,常被翻译为套接字,它应该算是网络编程世界中最为核心的知识之一了.关于 socket,我们可以讨论的东西太多了,因此,我在这里只围绕着 Go 语言向你介绍一些关于它的基础知识. 所谓 socket,是一种 IPC 方法.IPC 是 Inter-Process Communication 的…

02 | 命令源码文件 我们已经知道,环境变量 GOPATH 指向的是一个或多个工作区,每个工作区中都会有以代码包为基本组织形式的源码文件. 这里的源码文件又分为三种,即:命令源码文件.库源码文件和测试源码文件,它们都有着不同的用途和编写规则. 对于 Go 语言学习者来说,你在学习阶段中,也一定会经常编写可以直接运行的程序.这样的程序肯定会涉及命令源码文件的编写,而且,命令源码文件也可以很方便地用go run命令启动. 那么,我今天的问题就是:命令源码文件的用途是什么,怎样编写它? 这里,我给出…

05 | 程序实体的那些事儿(中) 在前文中,我解释过代码块的含义.Go 语言的代码块是一层套一层的,就像大圆套小圆. 一个代码块可以有若干个子代码块:但对于每个代码块,最多只会有一个直接包含它的代码块(后者可以简称为前者的外层代码块). 这种代码块的划分,也间接地决定了程序实体的作用域.我们今天就来看看它们之间的关系. 我先说说作用域是什么?大家都知道,一个程序实体被创造出来,是为了让别的代码引用的.那么,哪里的代码可以引用它呢,这就涉及了它的作用域. 我在前面说过,程序实体的访问权限有三种:…

06 | 程序实体的那些事儿 (下) 在上一篇文章,我们一直都在围绕着可重名变量,也就是不同代码块中的重名变量,进行了讨论.还记得吗? 最后我强调,如果可重名变量的类型不同,那么就需要引起我们的特别关注了,它们之间可能会存在"屏蔽"的现象. 必要时,我们需要严格地检查它们的类型,但是怎样检查呢?咱们现在就说. 我今天的问题是:怎样判断一个变量的类型? 我们依然以在上一篇文章中展示过的 demo11.go 为基础. package main import "fmt"…