特殊情况消除空值

特殊情况用具备默认行为的对象替代空值或异常分支，让调用方按普通对象处理。它把重复的null判断收敛到类型系统中。发散：空对象适合“没有也能正常响应”的语义。