当有后置条件时,方法的返回值不能为空,可以做什么？

我可以

assert returnValue != null : "Not acceptable null value";

断言可以关闭！

所以可以这样做

if(returnValue==null)
      {
           throw new NullPointerException("return value is null at method AAA");
      }

？

或者,对于这样的条件,使用用户定义的异常(如NullReturnValueException)会更好吗？

解决方法:

我认为在JVM为您做出之前尽早抛出NPE没有问题 – 特别是对于null参数.关于这一点似乎存在争议,但Java SE库中有很多例子可以做到这一点.我不明白为什么NPE在你无法自己抛出的方面应该是神圣的.

但是,我离题了.这个问题是关于不同的东西.您正在谈论一个后置条件,声明返回值不能为空.在这种情况下肯定是null意味着你在方法中有一个错误？

你怎么会记录这个？ “如果返回值意外为空,则此方法抛出NullPointerException”？没有解释这怎么可能发生？不,我会在这里使用断言.异常应该用于可能发生的错误 – 不包括在方法内部出现问题时可能发生的事情,因为这对任何人都没有帮助.