前言
select 的语法如下所示
每个@H_404_7@case都必须是一个通信
所有channel表达式都会被求值
所有被发送的表达式都会被求值
如果任意某个通信可以进行,它就执行;其他被忽略。
如果有多个@H_404_7@case都可以运行,Select会随机公平地选出一个执行。其他不会执行。
否则:如果有@H_404_7@default子句,则执行该语句。
如果没有@H_404_7@default字句,select将阻塞,直到某个通信可以运行;Go不会重新对channel或值进行求值。
问题复现
@H_404_7@package main
@H_404_7@import(
"fmt"
"time"
)
@H_404_7@func add(ch @H_404_7@chan int) {
@H_404_7@for i:=0;i<10;i++{
ch <- i
}
}
// timeout problem recurrent
@H_404_7@func test2() {
ch := make(@H_404_7@chan int, 10)
@H_404_7@go add(ch)
@H_404_7@for {
@H_404_7@select {
@H_404_7@case <- time.After(2 * time.Second):
fmt.Println("timeout")
@H_404_7@return
@H_404_7@case <- ch:
fmt.Println(ch) // if ch not empty,time.After will nerver exec
fmt.Println("sleep one seconds ...")
time.Sleep(1 * time.Second)
fmt.Println("sleep one seconds end...")
}
}
}
根据条件5:如果有多个case都可以运行,Select会随机公平地选出一个执行。其他不会执行。
但是运行上述代码,当ch通道中存在数据时,time.After总是得不到运行,因此到时超时未生效(就像是两个case都成立时,select 都”公平”地选择了 case <- ch,导致超时逻辑未生效)
改进1
@H_404_7@func test3() {
ticker := time.NewTicker(2 * time.Second)
@H_404_7@defer ticker.Stop()
ch := make(@H_404_7@chan int, 10)
@H_404_7@go add(ch)
@H_404_7@for {
@H_404_7@select {
@H_404_7@case <- ch:
fmt.Println(ch) // if ch not empty,time.After will nerver exec
fmt.Println("sleep one seconds ...")
time.Sleep(1 * time.Second)
fmt.Println("sleep one seconds end...")
@H_404_7@case <- ticker.C:
fmt.Println("timeout")
@H_404_7@return
@H_404_7@default:
}
}
}
改进1 随机性失败
当case <- ch 和 case <- ticker.C 同时成立时,Select会随机公平地选出一个执行,有可能选择到前者,导致超时随机行失败
最终解决方式
// final solution
@H_404_7@func test4() {
ticker := time.NewTicker(2 * time.Second)
@H_404_7@defer ticker.Stop()
ch := make(@H_404_7@chan int,time.After will nerver exec
fmt.Println("sleep one seconds ...")
time.Sleep(1 * time.Second)
fmt.Println("sleep one seconds end...")
@H_404_7@default: // forbid block
}
@H_404_7@select {
@H_404_7@case <- ticker.C:
fmt.Println("timeout")
@H_404_7@return
@H_404_7@default: // forbid block
}
}
}
将【超时】和【收包】放在各自单独的select里面,【超时】一定可以执行到