couldn't have done 在高中教材中是一个特例
既可以表 推测又可表 虚拟 那么 “一定没有,不可能”取推测 的意思 而“本来能做却未做"J就是他的虚拟之意 may mighe 自然也有类似的否定形式