目录
一个完整的IO过程 = 等待数据就绪 + 拷贝数据。以recv接口函数为例,recv函数先阻塞等待接收缓冲区里的数据就绪,数据就绪以后再把数据从接收缓冲区拷贝到上层。这里要重点介绍的是等待方式,select模型就是其中一种等待方式,而实现select模型的关键就是select接口函数。
select函数其实是在底层不断去轮询检查 fd 是否处于就绪状态,一旦有一个 fd 处于就绪状态,就通知上层。select函数的作用仅仅是负责等待,没有所谓的读写功能。下面是select函数的函数声明。

代表 一组fd中的最大值+1。因为select函数每次可以检测多个 fd 是否有读写事件就绪,而这里的nfds就代表这些 fd 中的最大值max_fd + 1。
加1的原因是,select底层是通过 for循环: for(int i=0;i < nfds;i++) 轮询检测的,这里用的 '<' 而并非 '≤',所以 i 最大可以是 max_fd
我们在使用select函数的时候,一是希望select函数可以帮我们关注一批fd的读事件是否就绪;二是如果有哪个 fd 的读事件就绪,希望select函数可以反馈给我。第二个参数就起到这个作用。
这是一个输入输出型参数,参数类型是 fd_set 是位图类型,可以看作是 fd 集合。输入的时候,假设你希望内核帮你关注 fd = 0 、1、2的读事件就绪情况,此时就可以输入 0111;输出的时候,假设是fd = 0的读事件就绪了,内核会返回的位图是 0001
虽然我们可以使用原生的位图类型,即手动设置fd 集合,但是这样未免过于麻烦,OS给我们提供了设置 fd_set 类型的接口。

底层既然是以位图形式管理fd,那么每个fd所占用的空间只是 一个bit,从下面的图可以了解到,fd的大小是 128 个字节 = 1024 bit,因此,每个fd_set类型的集合最多可以帮我们关注 1024 个文件描述符。

第三个参数表示 写事件集合,即你希望select模型帮你关注哪些fd上的写事件是否就绪;
第四个参数表示 异常事件集合,即你希望select模型帮你关注哪些fd上的异常事件是否发生。
注意:这两个参数的设置方式可以参考第二个参数的设置方式
我们可以通过第五个参数设置select的等待方式,在说明之前,先了解第五个参数的数据类型。
timeval是一个结构体类型,用于设置时间长短,结构体声明如下:

第一个成员表示秒,第二个成员表示毫秒
- timeval* timeout = {5,0}; //设置的时间是5.0s
- timeval* timeout = {5,1}; //设置的时间是5s + 1ms = 5.001s
我们可以通过第五个参数设置select的等待方式,阻塞、非阻塞或者 阻塞非阻塞混搭
第五个参数timeout也是一个输入输出型参数,输入的时候表示用户希望select函数阻塞多长时间;输出的时候表示 距离 结束阻塞等待 还有多长时间。
select返回值有三种: