本文地址：http://www.cnblogs.com/hamhog/p/3536964.html
前置条件检查
Guava提供了一些检查前置条件的utilities。我们强烈建议静态import这些utilities。(如何在Eclipse中轻松做到。)
这些方法的参数列表有3种变形：
- 不附额外的参数。抛出exception时没有错误信息。
- 额外附一个 Object 类型的参数。抛出exception时，错误信息为 object.toString 。
- 额外附一个 String 类型的参数，以及若干个 Object 类型的参数。作用类似printf，但是为了兼容GWT以及性能考虑，只允许 %s 标识符。例如：
checkArgument(i >=0,"Argument was %s but expected nonnegative", i);
checkArgument(i < j,"Expected i < j, but %s > %s", i, j);
| 基本形式 (不包含额外参数) | 描述 | 失败时抛出的exception |
| checkArgument(boolean) | 检查参数 boolean 是否为 true 。 用来验证方法的参数是否有效。 | IllegalArgumentException |
| checkNotNull(T) | 检查参数值是否为非null。直接返回这个值，因此你可以内联地使用 checkNotNull(value) 。 | NullPointerException |
| checkState(boolean) | 检查object的某些状态，不依赖方法的参数。例如： Iterator 在调用 remove 前可以用这个方法检查 next 是否被调用过。 | IllegalStateException |
| checkElementIndex(int index, int size) | 检查参数 index 是否是给定size的list或string、array等的合法index。一个合法index必须>=0且<size。不用把list、string或array直接传参进来；只要传它的size即可。返回 index 。 | IndexOutOfBoundsException |
| checkPositionIndex(int index, int size) | 检查参数 index 是否是给定size的list或string、array等的合法position。一个合法position必须>=0且<=size。不用把list、string或array直接传参进来；只要传它的size即可。返回 index 。 | IndexOutOfBoundsException |
| checkPositionIndexes(int start, int end, int size) | 检查参数构成的 [start, end) 是给定size的list或string、array等得合法子集。抛出exception时带有自己的错误信息。 | IndexOutOfBoundsException |
相比一些其他组件，如Apache Commons中的comparable utilities，我们更倾向于用我们自己的前置条件检查，主要有以下原因。Piotr Jagielski 简短阐述了他为什么选择我们的utilities：
- 使用静态import之后，Guava的方法是清晰而无歧义的。checkNotNull 清楚地表示了它是做什么的，以及可能抛出哪个exception。
- checkNotNull 在验证后把参数直接返回，因此在构造函数中可以简单地写为一行： this.field = checkNotNull(field) 。
- 简单地，可加参数的"printf风格" exception信息。 (这个优势也是我们建议继续使用 checkNotNull ，而不换用JDK 7中的Objects.requireNonNull 的原因。)
我们建议把每项前置条件检查代码写在不同的行中，这样在debug的时候你就能看出是哪一项没通过了。另外，你应该附上有意义的错误信息，因此每个检查独立一行会方便一些。
中文翻译自Guava官方文档：GuavaExplained - PreconditionsExplained 译者：戴仓薯