Go语言规格说明书 之 通道 发送语句(send) 和 接收操作符(receive)

时间:2024-01-11 15:51:38

go version go1.11 windows/amd64

本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 通道 发送语句(send) 和 接收操作符(receive)。

通道 主要用于 协程间通信,于是,就有发送、接收操作。在Go语言规格说明书中,发送 是 语句,接收 是 表达式——why?

疑惑,发送通道 和 接收通道 是怎么配合起来的呢?需要配合吗?前面看了一些代码和介绍,没看明白!希望本文完毕可以搞清楚!

发送语句(Send statement )

在一个通道上 发送 一个值,是 一个值。

需要注意的是,通道必须是 可以发送型的,而且发送的值 的类型 必须可以 赋值给(assignable) 通道的元素类型。

SendStmt = Channel "<-" Expression .
Channel = Expression .

在通信开始前,上面的channel、Expression都必须被求值(evaluated)。通信会阻塞 直到 发送可以执行。

对于 无缓冲区通道,只要 接收通道 准备好了 就可以发送;

对于 有缓冲区通道,只要 缓冲区有空余位置 就可以发送;

对于 已经关闭了的通道,发送会导致 运行时错误(run-time panic);

对于 值为 nil 的通道,发送会被 永久阻塞(blocks forever)。

ch <- 3  // send value 3 to channel ch // 无类型的 3 发送给 通道ch,这里的通道ch的元素类型 需要 可以给 3 赋值,比如,元素类型为 int、int32、int64、float32、float64(需要试验

好像,发送语句 挺简单的嘛!

接收操作符(Receive operator)

接收 操作符,即 <-。

对于一个 通道类型 的操作数 ch,接收操作 <-ch 的值就是 通道ch 接收到的值——从哪里接收的?

通道ch 必须支持 接收操作,接收操作 的类型 必须是 通道ch 的元素类型。

这是一个表达式。

此表达式会阻塞,直到有值被接收到为止;

从一个值为 nil 的通道接收,将永久阻塞;

从一个已经关闭的通道接收,会立即执行,但 会接收到 之前发送的数据 并跟着一个 通道的元素类型的0值(zero value)——以通道类型的0值结尾。

v1 := <-ch // 从通道ch接收到值并赋值给变量v1
v2 = <-ch // 从通道ch接收到值并赋值给v2
f(<-ch) // 调用函数f,参数为 接收型通道——支持接收的通道,,难度高点
<-strobe // wait until clock pulse and discard received value // 不懂

进阶:接收表达式 给 多个 左操作数赋值(也叫做 多值赋值 吧?)

x, ok = <-ch
x, ok := <-ch
var x, ok = <-ch
var x, ok T = <-ch // 多一个 T 是什么意思?

在前面的官文示例中,只是把接收到的值复制给1个变量,可上面这个示例确实赋值给两个变量,第二个变量名为 ok,有其意义,见下面的解读。

上面这种形式会产生一个 无类型的布尔量,用来 报告 通信是否成功。

如果ok的值是 true,表明 接收到的值 是被一个指向这个通道成功的发送操作 发送的;

如果ok的值是false,表明 接收到的是 特别制造的0值——因为发送通道关闭了并且为空(closed and empty)。

后记

发送、接收,官文就介绍这么多了。

仍然没有解决俺的问题——发送通道、接收通道 怎么配合的?

需要继续求索。