Go语言学习笔记

心血来潮学了两天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的吉祥物，见图