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()
}
参考链接
2.Go-简洁的并发
后记
好了,很清楚Go例程是什么了,但是还有一些疑问需要搞清楚!
另外,Go语言 内置 的并发特性有什么好处呢?好需要更多实践来体会才是!
在官文Effective Go中有一节名为Concurrency,稍候会好好看看,有需要,再补充此文——估计不会的了。
学习编程语言,就是为了 解决问题,要亲自写代码去解决问题。
比如上面的寻找素数的问题,若是自己来写,用Go语言来写,会写成什么样呢?估计是不会用Go例程的!可先行者们知道用Go例程了,看来自己的Go学习之路还有些漫长呢!
只有继续投入精力了!
还有Go开发者可以使用Go语言开发区块链程序了,感觉好高级啊!
什么时候自己也可以写点 高级的程序呢?
从上月末开始学(接触)Go开发,直到现在都还没 用Go写一个Web服务器出来,方式方法&行动力都存在严重问题啊!
需反省,改进!
Go语言规格说明书 之 Go语句(Go statements)的更多相关文章
- Go语言规格说明书 之 select语句(Select statements)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
- Go语言规格说明书 之 通道 发送语句(send) 和 接收操作符(receive)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
- Go语言规格说明书 之 通道类型(Channel types)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
- Go语言规格说明书 之 内建函数(Built-in functions)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
- Go语言规格说明书 之 词汇元素(Lexical elements)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语 ...
- Go语言规格说明书 之 接口类型(Interface types)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
- Go语言规格说明书 之 变量声明(Variable/Short variable declarations)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语 ...
- Go语言规格说明书 之 类型(Types)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语 ...
- Go语言规格说明书 之 结构体类型(Struct types)
go version go1.11 windows/amd64 本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,介绍Go语言的 ...
随机推荐
- (转) JVM——Java类加载机制总结
背景:对java类的加载机制,一直都是模糊的理解,这篇文章看下来清晰易懂. 转载:http://blog.csdn.net/seu_calvin/article/details/52301541 1. ...
- random模块(十九)
1 ).random() 返回0<=n<1之间的随机实数n: 2 ).choice(seq) 从序列seq中返回随机的元素: 3 ).getrandbits(n) 以长整型形式返回n个随机 ...
- Java + 腾讯邮箱 SSL加密问题 重要通知
原来的jdk8版本如果不替换jce就会在发邮件的过程中报错,而此次使用的jdk1.8.0_131,并没有出现问题,也就是说,如果你使用的版本是 就不用考虑发邮件因为加密算法而导致的错误了
- idea中gitlab新创建分支查找不到的原因
问题: 很多人说是这样解决: https://blog.csdn.net/rodulf/article/details/51536532 然后对于我来说没用............ 这里先说下如何从m ...
- VBScript入门篇
VBScript入门篇 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.定义一个过程 定义一个过程:可以将相同的操作的代码提取出来,方便其他人来调用这段代码,可以减少你的代码的重 ...
- Linux命令之rm
rm命令 用处:删除文件 用法:在终端上输入rm加上要删除的文件的名字(如果有的话,包括后缀) 示例: (我要删除newfile这个文件)
- Swift学习笔记6
1.用类型检查操作符(is)来检查一个实例是否属于特定子类型.若实例属于那个子类型,类型检查操作符返回 true,否则返回 false. 2.某类型的一个常量或变量可能在幕后实际上属于一个子类.当确定 ...
- python---生成验证码图片
工具插件verifycode.py中,记得使用时需要在路由根目录中引入文字资源文件 # coding:utf8 # __author: Administrator # date: // # /usr/ ...
- docker部署安装
docker采用Linux内核技术,所以只能运行在Linux上,所谓的windows平台是使用boot2Docker工具,boot2Docker是在VisualBox构建一个linux精简化环境. B ...
- 【C++ STL】Set和Multiset
1.结构 set和multiset会根据特定的排序原则将元素排序.两者不同之处在于,multisets允许元素重复,而set不允许重复. 只要是assignable.copyable.comparab ...