形式主语是动词不定式的一种，它也是逻辑主语，可把它归类到逻辑主语的第一种（不定式的逻辑主语）用作宾语的不定式，用作目的状语，用作结果状语的不定式都是属于不定式的大概念里面的。

形式主语it作为形式主语的it并无实际语义，只是为满足语法上的需要，避免句子头重脚轻，它代替的是句子的逻辑主语。

it作形式主语，主要分为下列三种情况：不定式作主语、动名词作主语和名词从句作主语。