GO通道:无缓冲通道与缓冲通道
转载请注明出处:
(相关资料图)
1.通道定义在多个协程之间进行通信和管理,可以使用 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 := <- ch2.无缓冲通道
无缓冲通道是 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("消息接收完成。")}3.带缓冲通道
带缓冲通道(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之间使用通道必然存在写入和获取操作,这种模式类型的典型例子为生产者消费者模式。如果不限制通道长度,当写入数据速度大于获取速度,内存将不断膨胀直到应用崩溃。因此,限制通道的长度有利于约束数据生产速度,生产数据量必须在数据消费速度+通道长度的范围内,这样才能正常地处理数据。