心血来潮学了两天Go,虽然有不少亮点,但感觉没什么吸引我的(既没有像Ruby那样简洁、统一的语法,也没有Lisp那样强大的抽象机制)。
- 简单明了的并发机制
Go提供了一种叫goroutine的并发机制。“叫做goroutine是因为已有的短语——线程、协程、进程等等——传递了不准确的含义。goroutine 有简单的模型:它是与其他goroutine 并行执行的,有着相同地址空间的函数。它是轻量的,仅比分配栈空间多一点点消耗。而初始时栈是很小的,所以它们也是廉价的,并且随着需要在堆空间上分配(和释放)。”[《学习Go语言》·第7章]
goroutine的语法很简单,在一个函数前加上关键字go:
ready("Tee", 2) // 普通函数调用 go ready("Tee", 2) // ready() 作为goroutine运行
下面这个例子来自Go语言入门教程——Eratosthenes素数筛法。
开始之前还得介绍一下Go语言中用于goroutine通信的机制——channel。channel好比Unix下的双向管道,其语法也很简单:
ci := make(chan int)
这就创建了一个收发整数的channel,ci。
下面进入正题——用Go实现的Eratosthenes筛法:
如上图所示,把待筛选的数灌入某个过滤器Fn(它将过滤掉所有n的倍数),将结果作为下一个过滤器的输入,重复这一过程。
generate()相当于初始化,从2开始一个个塞进channel。一轮筛选中,第一个从channel里出来的数肯定是素数,以它为这一轮筛选的基底筛掉合数,把剩下的数塞进另一个channel(作为下一轮筛选的输入)。
package main import fmt "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 'in' to channel 'out', // removing those divisible by 'prime'. func filter(in, out chan int, prime int) { for { i := <-in // Receive value of new variable 'i' from 'in'. if i % prime != 0 { out <- i // Send 'i' to channel 'out'. } } } func main() { ch := make(chan int) // Create a new channel. go generate(ch) // Start generate() as a goroutine. for { prime := <-ch fmt.Println(prime) ch1 := make(chan int) go filter(ch, ch1, prime) ch = ch1 } }
- 没有前自增++
你再也不要纠结于i++和++i了,Go只提供了后自增,即i++。
- 声明顺序
Go的语法与C的一个很大不同就是声明顺序是反的:先声明变量名,再限定类型。其实,这倒不重要,Go较之C很重要的一点改进就是它可以进行类型推演,即根据所赋值的类型推定变量的类型。比如:
s := “hello, world”
根据所赋值为字符串即可推定,变量s是string类型的。值得注意的一个地方是” := ”,其一般用于定义变量时顺带初始化(只能用在函数体内部)。
函数的声明也比较特别,返回类型是声明在最后的(印象中,C的返回类型是写在最前面的吧):
func foo(input string) (output int) {return 4} 更奇特地是,在函数名前还有一个可选项,用来指定函数的接受者(下面的例子表明函数bla()必须由S类型的变量调用):
package main type S struct { i int } func (p S) bla() int { return p.i } func main() { v := S{4} println(v.bla()) }在物件导向编程里估计很有用。
- ⋯⋯
(未完待续)
P.S. 最后说说Go-lang和Plan 9的吉祥物,见图
有疑问加站长微信联系(非本文作者)