Java
1.4
中添加了断言（通过
assert关键字）。
它们用于验证代码中不变量的正确性。它们永远不应在生产代码中触发，并且表明存在错误或代码路径的滥用。它们可以在运行时通过命令-ea上的选项激活java，但默认情况下不启用。

一个例子：

public Foo acquireFoo(int id) {
  Foo result = null;
  if (id > 50) {
    result = fooService.read(id);
  } else {
    result = new Foo(id);
  }
  assert result != null;

  return result;
}