这个问题有点意思。我觉得楼上 @mrzjd 说的贴边，但还是有些偏差。
首先要明白 node 中 event loop 和浏览器中的 event loop 是不同的。详细说明推荐[官方文档]( https://nodejs.org/en/docs/guides/event-loop-timers-and-nexttick/)和[这篇文章]( http://lynnelv.github.io/js-event-loop-nodejs).
有了对 node 的 event loop 模型的了解之后，对应到上文的代码中，顺序执行完之后，应该会进入到 timers 阶段。这个时候因为 setTimeout 早就到期了，所以会输出‘ timer ’，然后会走到 poll 阶段，这里按照官方的说法应该是先看有没有 I/O 的回调，如果有回调执行回调队列，执行完毕之后再去看有没有 setImmediate 的回调。所以按照这个流程，加上执行这么久了，I/O 应该走完了，那么应该是先输出‘ io ’，然后输出‘ setImmediate ’。但实际上输出的顺序是相反的。
这里我的猜测是 fs.readFile 不止是一个 I/O 异步回调，它可能包含了多个 I/O 异步。比如说读取之前要先看文件能不能读之类的。所以在 poll 阶段时执行了 fs.readFile 中的第一个异步 I/O，但还没有真正的读取文件，然后又到了 check 阶段执行了 setImmediate, 重新进入了 event loop.
而且当 fs.readFile 换成 fs.stat 时，输出的顺序符合期望。我觉得这也验证了我的猜测。