Go语言规格说明书 之 Go语句,Go statements

go version go1.11 windows/amd64

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

0920-0918更新:

goroutine 在很多地方被翻译为 协程,而不是本文中的 Go例程。

Go语句 用于将一个 函数调用 作为一个 独立的并发线程(an independent concurrent thread of control) 或者 叫做 Go例程(goroutine) 来执行——新建一个Go例程、立即执行,这个 新的Go例程 和 之前的程序 在同一个地址空间。

疑问,Go程序运行后——从main()函数进入——是运行一个 进程 吧?这个进程有 主线程 吧?Go例程 就是 建立了一个新的线程,和 主线程 并发 运行——在仅有一个CPU时交替使用CPU资源,在有多个CPU时,是否在不同的CPU上运行?后者是并行吧?那么,这里的并发,是否包含了并行?Go例程里面 还可以 启动新的Go例程吗?如果可以,允许的最大层级是怎样的?对于Go例程和创建它的程序共享地址空间这个问题,还不是很清楚,有什么用呢?Go例程可以使用原程序中的 变量、常量 等——读和写?

GoStmt = "go" Expression .

上面是Go语句的 语法,其中的 表达式(Expression)必须是 函数 或 方法调用,并且不能用圆括号括起来(是指Expression不能被括起来吧?把go Expression用一起括起来应该是可以的)。

虽然Expression可以是 法术 或 方法调用,但是,对于内建函数的使用是有限制的(Expression statements),下面这些 内建函数 不能出现在 语句上下文——包括Go语句 中:

append cap complex imag len make new real
unsafe.Alignof unsafe.Offsetof unsafe.Sizeof

说明,append不可以,但copy可以;复数的三个内建函数都不可以;获取长度、容量的函数不可以;new、make不可以;还有unsafe包中的几个函数——暂不清楚它们的用处。

在Go例程中,函数的值和参数 和 正常调用 一样被求值,但和正常调用不同的是,程序的执行 不会 等到被调用的函数完成,相反,程序开始在一个新的Go例程中独立地执行。

在函数 终止 时,它的Go例程也会终止。如果函数有返回值,这些返回值会在函数完成时被 丢弃。

解读,根据上面的信息,Go例程 有什么用途呢?可以用在什么地方呢?耗时操作?Web服务器 的一个用户请求处理程序?一个程序 可以新建多少Go例程呢?和计算机的资源多少有关系?新建的Go例程只能在本机运行吗?可以指派到其它计算机上执行——实现分布式执行?一台电脑的程序 被 放到 另一台电脑执行,感觉像是 控制了另一台电脑?Go语言本身是否支持这样的操作?不然的话,一定会有其它软件实现方式的。毕竟那么多病毒程序都已经实现了。

官文示例:

go Server()
go func(ch chan<- bool) { for { sleep(10); ch <- true }} (c) // 注意这里的 (c),这是函数调用 的 括号 及 参数

上面的官文示例就太简单了,下面给出一个复杂一些的——来自网络:

通过 筛选法 寻找素数——这个程序俺大致看懂了,晚点会彻底看懂它。

原文链接不知道在哪里了,网上可以搜索到类似的链接,比如,http://www.yankay.com/go-clear-concurreny/ (Go-简洁的并发),

package main 

import (
        "fmt"
)

// Send the sequence 2, 3, 4, ... to channel 'ch'
func generate(ch chan<- int) {
        for i := 2; ; i++ {
                ch <- i // Send 'i' to channel 'ch'
        }
}

// Copy the values from channel 'src' to channel 'dst',
// removing those divisible by 'prime'.
func filter(src <-chan int, dst chan<- int, prime int) {
        for i := range src { // Loop over values received from 'src'
                if i%prime != 0 {
                        dst <- i // Send 'i' to channel 'dst'
                }
        }
}

// The prime sieve: Daisy-chain filter processes together.
func sieve() {
        ch := make(chan int) // Create a new channel.
        go generate(ch) // Start generate() as a subprocess.
        for {
                prime := <-ch
                fmt.Print(prime, "\n")
                ch1 := make(chan int)
                go filter(ch, ch1, prime)
                ch = ch1
        }
}

func main() {
        sieve()
}

参考链接

1.Go语言并发的设计模式和应用场景

2.Go-简洁的并发

后记

好了,很清楚Go例程是什么了,但是还有一些疑问需要搞清楚!

另外,Go语言 内置 的并发特性有什么好处呢?好需要更多实践来体会才是!

官文Effective Go中有一节名为Concurrency,稍候会好好看看,有需要,再补充此文——估计不会的了。

学习编程语言,就是为了 解决问题,要亲自写代码去解决问题。

比如上面的寻找素数的问题,若是自己来写,用Go语言来写,会写成什么样呢?估计是不会用Go例程的!可先行者们知道用Go例程了,看来自己的Go学习之路还有些漫长呢!

只有继续投入精力了!

还有Go开发者可以使用Go语言开发区块链程序了,感觉好高级啊!

什么时候自己也可以写点 高级的程序呢?

从上月末开始学(接触)Go开发,直到现在都还没 用Go写一个Web服务器出来,方式方法&行动力都存在严重问题啊!

需反省,改进!