我们应该在java中断言每个对象的创建吗？

Question

听起来像一个明显答案的愚蠢问题:)

我仍然冒险要求加倍确定.

我们确实使用如下所示的断言

ArrayList alProperties = new ArrayList();

assert alProperties != null : "alProperties is null";

问题是在断言上制作一个小而简单的文档是很困难的.有很多关于断言的书籍,但理想情况下,我喜欢给一个新的程序员非常简单的使用类似断言的指南.顺便说一句,像pmd这样的工具检查断言是否正确使用？

提前致谢.

Answer 1

没有理由使用这样的断言.如果由于某种原因不会创建对象,则甚至不会到达您的断言(例如,抛出异常或退出VM)

Answer 2

在Sun的Assertions编程中使用断言有一些相当简明的指导原则.该文建议断言应该用于内部不变量,控制流不变量,前置条件,后置条件和类不变量等内容.