
Golang 无缓冲Channel阻塞行为详解
本文探讨Go语言中无缓冲channel的阻塞特性,特别是第一次写入为何不阻塞的现象。
问题描述:
以下代码片段展示了一个常见的误解:
立即学习“go语言免费学习笔记(深入)”;
package main
import (
"fmt"
"time"
)
func produce() {
// ... (代码省略) ...
}
func main() {
ch := make(chan int) // 无缓冲channel
go produce(ch)
// ... (代码省略) ...
}
开发者通常预期,对于无缓冲channel,第一次写入操作应该立即阻塞,直到有goroutine从channel读取数据。然而,实际情况并非如此。
预期结果与实际结果对比:
预期:无缓冲channel第一次写入应该阻塞。
实际:第一次写入不阻塞,只有第二次写入才会阻塞。
解答:
Go语言中无缓冲channel(缓冲区大小为0)的读写操作必须同步进行。这意味着,必须有一个goroutine执行读操作,另一个goroutine执行写操作,两者才能顺利进行数据交换。
第一次写入不阻塞的原因在于:produce goroutine在写入channel之前,main goroutine尚未执行任何读取操作。因此,produce goroutine可以顺利地将数据写入channel。只有当produce goroutine第二次尝试写入时,由于channel中已有数据且没有goroutine读取,写入操作才会阻塞,等待channel被读取。
简而言之,无缓冲channel的阻塞特性并非取决于写入操作的次数,而是取决于读写操作的同步性。只有当写入操作的数量超过读取操作的数量时,才会发生阻塞。










