程序员修炼之道23 要不要判空

继续修炼，修炼了契约式编程，又修炼了让程序尽早的死掉，我想拿我们经常讨论的一个话题来思考一下，就是究竟需不需要在对象的使用前判空。

正方：需要判空，因为可以使程序少出错，防御性更好，不容易产生产品问题。

反方：不需要判空，因为我们希望让程序尽早的死亡，而不是带病继续执行。

上面两条都是我们修炼过的原则。完了，阴阳对峙，左右互搏，马上就要走火入魔了。

通常这个时候挺哪方都是有问题的，最好的回答是正反方说的都对，看具体情况而定！可惜如果仅仅是这样那又是一句废话，等于白修炼了。

我们用契约式编程的理论来思考这个问题就会更清晰一些，建议是：

在前置条件中说明非空的对象不需要判空，其他对象都需要判空。

解释一下：

在前置条件中声明的非空对象，按照契约式编程的约定，保障非空的责任在调用方，那么在方法执行过程中发现破坏了前提条件，那么快速的失败抛出异常是一个合理的处理方式。

其他的对象并没有在前提条件中声明非空，那么调用方会认为方法会处理空值的情况，这个时候出现空指针异常使得程序失败就是方法本身的问题了。

那么在我们的程序里需不需要判空呢？绝大多数情况需要，因为绝大多数时候我们并没有在方法的前置条件中列明xx对象非空。当然按照上述后半部分原则需要判空。

那么，根据建议对于没有判空导致异常问题的修复有两种方式，一是补上判空及处理逻辑；二是将对象非空的条件放到方法的前置条件里，不过因为你修改了方法的前置条件，所有方法的调用方需要被通知到，然后根据需要做出相应的修改(如果调用方认为不会为空也可以不修改，但是一定要检查到)。

上面两种改法明显是第一种更简单，是不是都能采用一呢？实际上这两种改法的选择不是随意的，而是看这个空是不是能被方法兼容，也就是说，方法内判空后可以对空值做出合适的处理可以选一，有时关键对象为空在方法内没有办法做出应对，那么就要采取第二种改法。

这个例子很多，随意举个例子，比如我们要把一个Double型的对象转成字符串，可以直接调用ToString方法方便，不过有可能产生空指针。用String.valueOf方法就没有这个问题，就是因为这个方法里判断了对象为空的情况并做出了相应的处理。

如果你仔细看Java的API描述你会发现他明确标明了valueOf这个方法对空对象的处理方式，这是更好更清晰的一种方式。