java assert

问题：
断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。
回答：
方法根据存取修饰符分为两类
1) public方法和protected方法
2) private方法和缺省修饰方法

第一类方法是可以被外包中的其他类访问的，是对外公开的。第二类方法是当前类或者本包中的类才可以访问的，是不对外公开的。对外公开的方法的调用端可能是其他开发人员及其他们编写的程序，他们不会知道作为作者的你在这个方法里面是如何验证以及检查参数的，所以所有相关的验证以及检查参数的代码在这个方法里面就不能省略。比如

public class A {
                // 计算组合数C(m, n)
                public int combination(int m, int n) {
                                // 根据组合数的数学定义，m必须大于等于n
                                if(m < n)
                                                throw new RuntimeException(“…”);
                                …
                }
}

上述黑体的代码就是对参数m和n进行检查的代码，它们的作用跟

                assert m>=n;

是类似的。唯一的不同仅在于前者是普通的Java代码，任何情况下都会被执行。而后者的assert语句则只有在JVM打开-ea开关的情况下才会被执行。所以在对外公开的方法里面应该用普通的Java语句来检查参数而不是用assert。

但是在不对外公开的方法里面却可以用assert而不是普通的Java代码。因为不对外公开的方法都是给自己用的，自己总是很清楚当前这个函数的应该要满足什么条件。比如，上例中的combination(int m, int n)方法如果是private方法，只能是作为作者的你自己使用，则你只需要用assert m>=n语句对参数进行验证就行了。这样在调试阶段你可以命令JVM打开ea开关，从而保证参数得到验证；而当真正交付运行的时候则可以关闭这个开关因为你可能已经验证过了所有调用combination(m, n)方法的地方，已经在调用端就确定了m>=n始终成立，从而避免对参数进行不必要的验证。

对外公开的方法就没有这个便利了，因为你难以保证别人在调用你的combination(m, n)方法时第一个实参大于等于第二个实参。

可能很多人会问，费这么大劲也不过就是节省了一个if语句的执行嘛，有必要费这么大劲吗？这个怀疑其实没有错误，但是请记住：人家是Java高手的原因，恰恰就是因为人家的代码比你的只快了1个毫秒，只节省了1个字节内存，只少了一行代码，只少用了一个变量。你关注这些细节了，你就是高手了。

评论

1 楼 一个武将 2011-11-23  

对外公开的方法就没有这个便利了，因为你难以保证别人在调用你的combination(m, n)方法时第一个实参大于等于第二个实参。

不错，现在貌似懂点了。