• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

Go语言规格说明书 之 select语句(Select statements)

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

go version go1.11 windows/amd64

 

本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 select语句(Select statements)。

 

前面写了 Go语句、通道类型(也有翻译为 信道 的)、发送语句和接收操作符 的博文,再加上本文的 select语句,Go语言中 关于 信道和goroutine(协程) 的内容就学习完毕了。

阅读参考链接1,可以获得更多信息。

 

通过前面的学习,俺知道——select语句和switch语句不同的是,其case条件都是 通信操作——信道,select语句会被阻塞,也可以执行,执行时,只会 随机选择 多个 可执行case语句 中的一个 执行,如果每一个case语句都不可以执行,那么,在有default语句时执行default,没有default就一直阻塞。在使用select语句时,要特别注意每个case语句的通信是否可以执行,或者会阻塞,而这也是使用select语句的重难点。

 

下面是官文的翻译(水平有限,欢迎指正、补充):

select语句用来 挑选一系列发送和接收操作中的一个来执行。它看起来和switch语句很像,但它的所有case子句 涉及到 通讯操作

在一个用于接收语句的case子句中,可以把接收语句的结果赋值给1个或2个变量,这里的赋值可以使用 简短变量声明的方式(:=),这里的接收表达式必须是一个接收操作(可以用圆括号括起来)。

select语句中最多可以出现一个default子句,而这个default子句可以出现在case子句列表的任意位置。

 

select语句将按照下面的步骤来执行:

1.对于所有case子句,接收操作的 信道操作数 和 信道(<- ch) 和 发送语句的右侧表达式(ch <- x) 只会被 求值 1次,而且是按照源码的顺序。

结果 是 一系列信道 接收到或发送出,以及发送的相关值。

上句原文:The result is a set of channels to receive from or send to, and the corresponding values to send.

在求值过程中的任何负面效应,...

上句原文:Any side effects in that evaluation will occur irrespective of which (if any) communication operation is selected to proceed.

使用简短变量声明或赋值 的 接收语句左侧的表达式 还没有被求值。(本步骤翻译存在问题)

2.如果一个或更多的通信可以执行,只有一个会被随机选中(a uniform pseudo-random selection)执行。

否则(没有通信可以执行),如果有default子句,则default子句会被选择,,如果没有default子句,那么,select语句会被阻塞——直到任何一个case子句的通信可以执行。

3.除非选择的语句是default子句,否则,选择的case子句的通信操作会被执行(翻译不太准确)。

4.如果选择的case子句是一个简短声明或赋值的接收操作,那么,其左侧的表达式会被求值,并且接收到的值(1个或2个)会被赋值给左侧表达式。

5.被选择的case子句下的语句列表被执行。

 

说明,上面的翻译有问题,也说明自己不是很理解,尤其是第一步,有些不明所以。还需要更多理解,后面再找机会完善(可能)。另外,原文中的proceed翻译有问题,其和block是相对的。

 

由于和值为 nil 的信道通信是不会得到执行的,因此,如果select语句中只有 值为 nil 的信道 的 发送和接收操作的话,select语句将会永久被阻塞。

 

官文示例:

var a []int
var c, c1, c2, c3, c4 chan int // 信道只是 被声明,但没有被初始化,值为nil,因此,下面的select语句的case子句会被阻塞,因为有default子句,因此,输出no communication
var i1, i2 int
select {
case i1 = <-c1:
	print("received ", i1, " from c1\n")
case c2 <- i2:
	print("sent ", i2, " to c2\n")
case i3, ok := (<-c3):  // same as: i3, ok := <-c3
	if ok {
		print("received ", i3, " from c3\n")
	} else {
		print("c3 is closed\n")
	}
case a[f()] = <-c4:
	// same as:
	// case t := <-c4
	//	a[f()] = t
default:
	print("no communication\n")
}

for {  // send random sequence of bits to c
	select {
	case c <- 0:  // note: no statement, no fallthrough, no folding of cases
	case c <- 1:
	}
}

select {}  // block forever

 

参考链接

1.RUNOOB.COM 之 Go 语言 select 语句

 

后记

本文得分:50。

虽然学习了 信道和协程 相关内容,可是,自己对如何使用它们还是处于 模糊不清 状态的。该怎么进阶呢?看代码?看官文Effective Go的相关内容?

还要琢磨清楚 一些代码的具体运行原理。

目前自己学习的水平,可以用Golang来解决什么问题呢?怎么用它最特色的 信道和协程 呢?

信道和协程 的设计,到底有什么好处?为何Docker是使用Go开发的?不用Go,能用其它编程语言开发出来吗?


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
Go从入门到放弃之数据类型发布时间:2022-07-10
下一篇:
Go-延时函数defer发布时间:2022-07-10
热门推荐
热门话题
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap