网络语言系列&go系列【仅供参考】：Go 的 select 底层数据结构和特性

Go 的 select 底层数据结构和特性

Go的select为Golang提供了多路IO复用机制，和其他IO复用一样，用于检测是否有读写事件是否ready。以下是对Go的select底层数据结构以及一些特性的详细阐述：

底层数据结构

1. scase结构体：表示一个select分支，包含了通道和对应的操作类型（发送或者接收）。具体来说，scase结构体中有以下字段：

   1. c：当前case语句所操作的channel指针，说明一个case语句只能操作一个channel。

   2. kind：表示该case的类型，分为读channel、写channel和default。读channel、写channel和default三种类型分别由常量定义，具体为：

      1. caseRecv：case语句中尝试读取scase.c中的数据。

      2. caseSend：case语句中尝试向scase.c中写入数据。

      3. caseDefault：default语句。

   3. elem：表示缓冲区地址，根据scase.kind的不同，有不同的用途。当scase.kind=caseRecv时，scase.elem表示读出channel的数据存放地址；当scase.kind=caseSend时，scase.elem表示将要写入channel的数据存放地址。

2. hchan结构体：表示通道的内部结构。

特性

1. 多路复用：
   使用select语句可以同时监听多个channel，并在其中任意一个channel中有数据可读或可写时立即执行对应的case分支，从而实现多路复用的效果。

2. 随机选择：
   当多个channel都可以操作时，select语句会按照随机的顺序选择其中一个case进行处理。这种随机性让select语句具有更好的灵活性，避免了饥饿问题。

3. 阻塞特性：

   1. 阻塞式等待：如果没有case可运行，select语句会阻塞当前goroutine，直到至少有一个channel可用。

   2. 非阻塞式读取：通过在case中添加default操作，select语句可以在没有可操作的channel时立即执行default中的操作，从而避免阻塞。

   3. 空select语句阻塞：空的select语句会导致当前goroutine被阻塞，如果当前goroutine再也没有机会被唤醒，则会触发Golang的死锁检测机制，导致panic。

4. 与channel的交互：
   每个case必须是一个通信操作，要么是发送要么是接收。如果channel被关闭，select不会阻塞，会随机执行一个case。

5. 超时与退出操作：

   1. 超时处理：select经常与time.After、time.Tick等函数一起使用，用于实现超时操作。如果在指定时间内没有case满足条件，则执行超时处理逻辑。

   2. 退出操作：select可以和context一起使用，当收到context的取消信号时，可以安全地退出goroutine。

6. 忽略nil channel操作：
   在case条件语句中，如果存在channel值为nil的读写操作，则该分支将被忽略，可以理解为从select语句中删除了这个case语句。

综上所述，Go的select通过其底层数据结构scase和hchan以及一系列特性实现了高效的多路IO复用机制。在并发编程中，select语句能够灵活地处理多个channel之间的同步和通信问题，从而提高了程序的并发性能和可靠性。

ac-er8888

Go 的 select 底层数据结构和特性