当前聚焦：GO通道：无缓冲通道与缓冲通道

转载请注明出处：

(资料图片仅供参考)

在多个协程之间进行通信和管理，可以使用 Go 语言提供的通道（Channel）类型。通道是一种特殊的数据结构，可以在协程之间进行传递数据，从而实现协程之间的通信和同步。多个协程可以同时读写同一个通道，通过通道来进行数据的传递和共享。

通道遵循先入先出(First In First Out)的原则，保证收发数据的顺序。通道是一个特殊的数据类型，在使用之前必须定义和创建通道变量，定义通道的语法如下：

var name chan type

语法格式说明如下：

1）var是Go语言关键字，用于定义变量。

2）name是通道变量名称，可自行命名。

3）chan是Go语言关键字，将变量定义为通道类型。

4）type是通道存放的数据类型。

通道定义之后，还需要使用关键字make创建通道，通道的创建语法如下：

name := make(chan type, num)

语法格式说明如下：

1）name是通道变量名称，可自行命名。

2）make是Go语言关键字，用于创建通道。

3）chan type的chan是Go语言关键字，type是通道能存放的数据类型。

4）num是通道存放数据的数量上限。

在实际编程中，我们直接使用关键字make创建通道即可使用，这样能省去定义通道的过程，示例代码如下：

// 定义和创建通道    var ch chan string    ch = make(chan string)    // 直接创建通道，无须定义    ch := make(chan string)

通道创建之后，使用通道完成写入和读取数据操作。在通道里面写入和读取数据需要由<-操作符实现，使用说明如下：

// 构建通道    ch := make(chan string)    // 往通道写入数据    ch <- "Hello"    // 从通道获取数据，赋予变量s    s := <- ch

无缓冲通道是 Go 语言中一种常见的通道类型，也称为同步通道或阻塞通道。无缓冲通道的特点是在发送和接收数据时，必须有另外一个协程同时进行相反的操作，否则会阻塞当前协程。 具体来说，无缓冲通道的特点如下：

发送和接收操作是同步的，即发送操作必须等待接收操作完成后才能继续执行，接收操作也必须等待发送操作完成后才能继续执行。

无缓冲通道的容量为 0，即只有在发送和接收操作同时进行时才能传递数据，否则会阻塞当前协程。

无缓冲通道的数据传递是按照先进先出的顺序进行的，即发送的数据会按照发送的顺序被接收。 无缓冲通道可以用于协程之间的同步和通信，例如在生产者和消费者模式中，可以使用无缓冲通道来传递数据，从而保证生产者和消费者之间的同步和互斥。同时，无缓冲通道的使用也可以避免数据竞争问题，从而提高程序的安全性和可靠性。

通道是通过关键字make创建的，在创建过程中，如果没有设置参数num，则视为创建无缓冲通道。无缓冲通道(Unbuffered Channel)是指在获取数据之前没有能力保存数据的通道，这种类型的通道要求两个Goroutine同时处于执行状态才能完成写入和获取操作。

如果两个Goroutine没有同时准备，某一个Goroutine执行写入或获取操作将会处于阻塞等待状态，另一个Goroutine无法执行写入或获取操作，程序将会提示异常，这种类型的通道执行写入和获取的交互行为是同步，任意一个操作都无法离开另一个操作单独存在。

当我们使用无缓冲通道的时候，必须注意通道变量的操作，确保程序中有两个或两个以上的Goroutine同时执行通道的读写操作，读写操作必须是一读一写，不能只读不写或只写不读，示例如下：

// 只写入数据，不读取    ch := make(chan string)    ch <- "Tom"    fmt.Println("wait goroutine")    // 只读取数据，不写入    ch := make(chan string)    <- ch    fmt.Println("wait goroutine")

通道数据只写入不读取或者只读取不写入都会提示fatal error: all goroutines are asleep–deadlock异常，如果需要实现通道数据获取超时检测，可以使用关键字select实现。

如果程序中仅有一个Goroutine，使用通道读写数据也会导致异常，比如在主函数main()中对通道写入数据，再读取通道数据，示例如下：

package main    import (        "fmt"    )    func main() {        // 构建通道        ch := make(chan string)        // 写入通道数据        ch <- "Tom"        // 读取通道数据        <-ch        fmt.Println("wait goroutine")    }

如果在发送和接收数据时出现异常，则会引发程序异常。例如，如果我们在发送数据之前关闭通道，则会引发一个运行时异常。为了避免这种情况的发生，我们可以使用 defer语句在函数退出之前关闭通道。例如：

func main() {    ch := make(chan int)    defer close(ch) // 使用 defer 关闭通道    go func() {        fmt.Println("开始发送消息...")        ch <- 1        fmt.Println("消息发送完成。")    }()    fmt.Println("开始接收消息...")    msg := <-ch    fmt.Printf("接收到的消息是：%d\n", msg)    fmt.Println("消息接收完成。")}

带缓冲通道(Buffered Channel)是在被获取前能存储一个或者多个数据的通道，这种类型的通道并不强制要求Goroutine之间必须同时完成写入和获取。当通道中没有数据的时候，获取动作才会阻塞；当通道没有可用缓冲区存储数据的时候，写入动作才会阻塞。

在无缓冲通道的基础上，只要为通道增加一个有限大小的存储空间就能形成带缓冲通道。带缓冲通道在写入时无须等待获取即可再次执行下一轮写入，并且不会发生阻塞，只有当存储空间满了才会发生阻塞。同理，如果带缓冲通道中有数据，获取时将不会发生阻塞，直到通道中没有数据可读时，通道才会阻塞。

从通道的定义角度分析，带缓冲和无缓冲通道的区别在于参数num。创建通道的时候，如果没有设置参数num，则默认参数值为0，通道为无缓冲通道，所以写入和获取数据必须同时进行才不会因阻塞而异常；如果参数num大于0，则写入和获取数据无须同步执行，因为通道有足够的空间存放数据。

由于带缓冲通道没有读写同步限制，我们可以在同一个Goroutine中执行多次写入和获取操作，具体示例如下：

package main    import "fmt"    func main() {        // 创建一个3个元素缓冲大小的整型通道        ch := make(chan int, 3)        // 查看当前通道的大小        fmt.Println(len(ch))        // 发送3个整型元素到通道        for i := 0; i < 3; i++ {             ch <- i        }        // 查看当前通道的大小        fmt.Println(len(ch))        for i := 0; i < 3; i++ {             fmt.Println(<-ch)        }        // 查看当前通道的大小        fmt.Println(len(ch))        // 查看当前通道的容量        fmt.Println(cap(ch))    }

上述代码的说明如下：

1）通过for执行了3次循环，每次循环将变量i写入通道，然后通过3次循环从通道获取数据并输出。

2）通道写入和读取数据的时候，使用len()函数获取通道已有的数据量，判断当前通道存储的数据量是否达到上限，这样可以防止程序在运行时提示异常。

3）使用cap()函数能获取通道的容量大小，即获取创建通道make()的参数num的大小。带缓冲通道在很多特性上和无缓冲通道类似，无缓冲通道可以看作长度为0的带缓冲通道。

根据这个特性，带缓冲通道在下列情况下会发生阻塞：

1）带缓冲通道的存储数据达到上限时，再次写入数据将发生阻塞而导致异常。

2）带缓冲通道没有存储数据时，获取数据将发生阻塞而导致异常。

Go语言为什么对通道要限制长度？因为多个Goroutine之间使用通道必然存在写入和获取操作，这种模式类型的典型例子为生产者消费者模式。如果不限制通道长度，当写入数据速度大于获取速度，内存将不断膨胀直到应用崩溃。因此，限制通道的长度有利于约束数据生产速度，生产数据量必须在数据消费速度+通道长度的范围内，这样才能正常地处理数据。

关键词：