could /might /should /would /must  have done

could /might /should /would /must  not have done

must have done只能表示现在对过去所做的推断。不能用于虚拟语气。

must not have done为形式错误，表示对过去做否定推断要用can't have done.

除了这二种形式外，其余8种形式既可以表示现在对过去的推测，也可以是虚拟语气表示与过去事实相反。所以仅从形式根本无法区别，必须结合上下文逻辑。换句话说，虚拟语气表示与过去事实相反和陈述语气表示现在对过去情况的推测在形式上是重叠的。必须根据上下文才能区别二者。