定义

Channel是go的特色之一,甚至说是最大的特色也不为过,使用起来也非常简单。 
首先定义一个int类型的channel:

ch1 := make(chan int) 
ch2 := make(chan int, 10)

我们这里主要关注无缓冲通道。

场景

来看看这段代码:

package mainimport (
    "sync"
    "fmt")func main() {
    wg := sync.WaitGroup{}

    ch1 := make(chan int)

    wg.Add(1)

    for i := 0; i < 10; i++ {
        ch1 <- i
    }

    go func1(ch1, &wg) 

    wg.Wait()

    close(ch1)
    fmt.Println("Close channel: ", ch1)
}func func1(ch chan int, wg *sync.WaitGroup) {
    FOR:
    for {
        select {
        case i, ok := <- ch:
            if !ok {
                fmt.Println("1 chan closed, returning")
                break FOR
            } else {
                fmt.Println("1 Got number: ", i)
                if i == 9 {
                    break FOR
                }
            }
        default:
            fmt.Println("1 Got nothing")
        }
    }
    wg.Done()
}

乍眼一看似乎没毛病,但是当运行程序的时候:

fatal error: all goroutines are asleep - deadlock!

goroutine 1 [chan send]:
main.main()
    /Users/bruce/Code/go/src/GoCommonServices/sync-demo/demo.go:19 +0xb9exit status 2Process finished with exit code 1

为什么呢? 仔细看了看上面的程序,在定义了无缓冲通道ch1之后,立马向其中写入数据:

    ch1 := make(chan int)

    for i := 0; i < 10; i++ {
        ch1 <- i
    }

但此时并没有消费者,而无缓冲通道在写入一个数据之后,会等待消费者消费,程序阻塞,但启动消费者的代码:

    go func1(ch1, &wg)

恰好在for循环之后,所以这个goroutine永远没有启动的机会,这就是报错信息提示的,deadlock了,要修复这个有两种方法:

1 ch1定义为缓冲通道,足够容纳for中的数据,就不会阻塞
    ch1 := make(chan int, 10)
2 先启动消费者,再向通道中写数据
    go func1(ch1, &wg) 

    ch1 := make(chan int)

    for i := 0; i < 10; i++ {
        ch1 <- i
    }

小结

归根结底,还是因为channel的特性:

 
无缓冲的channel,不管是入还是出,都会阻塞,所以在同一个goroutine中,不能同时对同一个无缓冲channel进行入和出操作;
   
带缓冲的channel,在队列满之前,不会阻塞;队列满之后,依然会阻塞。

channel无疑是go并发程序开发的利器,但使用的时候还是需要仔细慎重,注意避免像本文提到的这些『陷阱』。