赞同刘老师的精彩解答。关于条件状语从句中的should do,我稍作补充。

早期英语中真实条件句也用虚拟语气，因为条件句中描述的是“非事实”，所谓真实条件句是相对于非真实条件句即虚拟条件句而言的，条件有可能实现。但另一方面，毕竟假设的条件未必是事实，因此早期英语中真实条件句用动词原型作谓语。这种条件句中用动词原型的例子在法典或法律条文中仍可见到。但随着英语发展到现代英语，真实条件句中的动词原型式的虚拟语气已经被陈述语气谓语所替代，只要条件有实现的可能，就用陈述语气谓语。即用一般现在时代替将来时态。真实条件句中的should do的形式则是介于动词原型时虚拟语气和陈述语气之间的过渡形式，有人认为它是虚拟语气的一种，有人认为它是陈述语气。这个我们不必去追究。但现代英语中,真实条件句中用should do多见于比较正式的书面语体，如商务信函，求职信，书面通知等。正因为should do表示的条件有实现的可能，也有实现不了的可能，因此主句可以是陈述语气或祈使语气，也可以是虚拟语气。例如：

If it should rain tomorrow, we will have to cancel the picnic. (侧重下雨的可能）

If it should rain tomorrow, stay at home. (侧重下雨的可能）

If it should rain tomorrow, we would have to cancel the picnic.(侧重不下雨的可能）。

当if条件句的谓语为虚拟语气，且谓语含有should, 助动词had以及were的时候，正式语体中可以省略if，将should, had, were倒装。因此以上三句均可倒装：

Should it rain tomorrow, we will have to...

Should it rain tomorrow, stay at home.

Should it rain tomorrow, we would have to...

由此可知，真实条件句中的should do其实还是虚拟语气形式，为原型式虚拟语气的替代形式。

if条件句如果是陈述语气，则不允许省略if。