Go 语言 channel 第二个参数的迷思
在 Go 语言中使用 channel 时，你可能会对第二个参数（缓冲区大小）的作用产生疑问。很多人误以为它直接决定了 channel 的读写阻塞行为。为了验证这一点，你可能会写出类似下面的代码：
package main
import (
"fmt"
"time"
)
func produce(ch chan int) {
for i := 0; i < 10; i++ {
fmt.Printf("----%d\n", i)
ch <- i
time.Sleep(100 * time.Millisecond)
}
}
func consume(ch chan int) {
for i := 0; i < 10; i++ {
fmt.Println(<-ch)
}
}
func main() {
ch := make(chan int) // 缓冲区大小为 0
go produce(ch)
go consume(ch)
time.Sleep(2 * time.Second)
}
你可能预期当 channel 缓冲区大小为 0 时，写入操作会立即阻塞。然而，实际输出却并非如此：
----0 ----1 0 1 ----2 ----3 2 3 ----4 ----5 4 5 ----6 ----7 6 7 ----8 ----9 8 9
并发导致的误解
这并非 channel 的缓冲区大小不起作用，而是并发问题导致的输出结果难以预测。生产者和消费者 goroutine 的执行顺序并非严格按照代码顺序进行。如果消费者先执行并阻塞在读取操作上，那么生产者最初的几次写入操作不会阻塞。只有当缓冲区被填满（即使缓冲区大小为 0，也意味着没有空间）时，写入操作才会阻塞。因此，观察到的输出是并发执行的正常结果。
为了更清晰地理解 channel 缓冲区大小的作用，建议进行进一步的实验，例如：
- 使用不同大小的缓冲区重新运行代码，观察输出的变化。
- 使用更精细的计时机制，分析生产者和消费者 goroutine 的执行时间。
通过这些实验，可以更深入地理解 Go 语言 channel 的机制，以及并发编程中可能遇到的问题。
