让非法状态无法表示

与其在运行时检查"不能同时为空"，不如设计一个根本表达不出这种状态的类型。