这个空的 select-case-default 代码块有什么影响？

Question

我试图理解一个池库代码，当实例化一个池结构时，调用一个名为 的函数startCleanerLocked(t Duration)，在这个函数中，有一个空select...case...default...代码块，我不明白这个代码块的效果是什么。Pool Interface是：// Pool interface.type Pool interface {    Get(ctx context.Context) (io.Closer, error)    Put(ctx context.Context, c io.Closer, forceClose bool) error    Close() error}List Struct实施Pool Interface，type List struct {    // New is an application supplied function for creating and configuring a    // item.    //    // The item returned from new must not be in a special state    // (subscribed to pubsub channel, transaction started, ...).    New func(ctx context.Context) (io.Closer, error)    // mu protects fields defined below.    mu     sync.Mutex    cond   chan struct{}    closed bool    active int    // clean stale items    cleanerCh chan struct{}    // Stack of item with most recently used at the front.    idles list.List    // Config pool configuration    conf *Config}创建新池时，startCleanerLocked(t Duration)调用函数：// NewList creates a new pool.func NewList(c *Config) *List {    // check Config    if c == nil || c.Active < c.Idle {        panic("config nil or Idle Must <= Active")    }    // new pool    p := &List{conf: c}    p.cond = make(chan struct{})    p.startCleanerLocked(time.Duration(c.IdleTimeout))    return p}在 中startCleanerLocked(t Duration)，有一个select...case...default：// startCleanerLockedfunc (p *List) startCleanerLocked(d time.Duration) {    if d <= 0 {        // if set 0, staleCleaner() will return directly        return    }    if d < time.Duration(p.conf.IdleTimeout) && p.cleanerCh != nil {        select {        case p.cleanerCh <- struct{}{}:        default:        }    }    // run only one, clean stale items.    if p.cleanerCh == nil {        p.cleanerCh = make(chan struct{}, 1)        go p.staleCleaner()    }}这个代码块的效果是什么：select {    case p.cleanerCh <- struct{}{}:    default:}好像没什么可做的...

Answer 1

select {

case p.cleanerCh <- struct{}{}:

default:

}

这是一个非阻塞select语句。（因为有default:案例）

如果在通道的另一端有一个接收器 goroutine p.cleanerCh，即当前有一个 goroutine 在接收操作中“等待” <-p.cleanerCh，则case p.cleanerCh <- struct{}{}立即执行它，这有效地解除了接收操作<-p.cleanerCh的阻塞，然后 goroutine 可以继续执行任何操作声明如下。

如果没有接收者 goroutine，那么default:case 会立即执行，并且周围的startCleanerLocked函数可以继续执行语句后面的任何select语句。

select {

case <-ticker.C:

case <-p.cleanerCh: // maxLifetime was changed or db was closed.

}

这是一个阻止select声明。（因为没有default:案例）

该select语句阻塞for循环，直到两个通信案例之一准备好接收。