Effective Java 3rd 条目27 消除非受检警告

当你用泛型编程时,你将会看见许多编译器警告:非受检强转警告、非受检方法调用警告、非受检参数化vararg类型警告和非受检转换警告。你多熟悉泛型一些,你将获得更少警告,但是不要期待这些新代码干净利索地编译。

许多非受检警告容易消除。例如,假设你不慎编写如下声明:

Set exaltation = new HashSet();

编译器会轻轻地告诉你做错了什么:

Venery.java:4: warning: [unchecked] unchecked conversion 
        Set exaltation = new HashSet(); 
                               ^ 
    required: Set 
    found: HashSet

然后你可以进行指示的改正,使得警告消失。记住,你实际上不需要指定类型参数,仅仅用菱形操作子(diamond operator)(<>)(在Java7引入)表示。然后编译器会推导(infer)正确的实际类型参数(在这个情形中,Lark):

Set exaltation = new HashSet<>();

一些警告会更加难于清除。这个章节充满了这样警告的例子。当你遇见需要更多思考的警告时,你需要坚持不懈!尽你所能地消除每个非受检警告。如果你消除了所有警告,那么你敢保证你的代码是类型安全,这是一个非常好的事情。这意味着,你不会在运行时遇见ClassCastException,而且它增加了你的信心:你的代码将像预期的一样运行。

如果你不能消除警告,但是你可以证明:引起警告的代码是类型安全的,那时(也只有直到那时)用@SuppressWarnings("unchecked")注解抑制警告。如果你抑制警告,而没有首先证明这个代码是类型安全的,那么你给自己关于安全的错误感觉,但是它仍旧可能在运行时抛出ClassCastException。然而,如果你忽略了你知道是安全的非受检警告(而不是抑制它),那么你不会知道一个新警告什么时候突然出现,而这个警告表示一个真正问题。新警告将会消失在所有你没有使之静默的错误警报当中。

从单个本地变量声明到整个类,SuppressWarnings注解可以使用在任何声明。永远在尽可能小范围内使用SuppressWarnings注解。通常,这将会是变量声明或者一个很短的方法或者构造子。永远不要在整个类上使用SuppressWarnings。这样做可能隐藏了关键的警告。

如果你发现自己在一个方法或者构造子上使用SuppressWarnings注解,这个方法或者构造子长于一行,那么你可以把它移动到一个本地变量声明。你可能不得不声明一个新的本地变量,但是这是值得的。例如,考虑如下toArray方法,它来自于ArrayList:

public  T[] toArray(T[] a) { 
    if (a.length < size) 
        return (T[]) Arrays.copyOf(elements, size, a.getClass()); 
    System.arraycopy(elements, 0, a, 0, size); 
    if (a.length > size) 
        a[size] = null; 
    return a; 
}

如果你编译ArrayList,那么这个方法产生这个警告:

ArrayList.java:305: warning: [unchecked] unchecked cast
        return (T[]) Arrays.copyOf(elements, size, a.getClass()); 
                                   ^ 
    required: T[] 
    found: Object[]

把SuppressWarnings注解放到返回语句上,这是不合法的,因为它不是一个声明[JLS, 9.7]。你可能想把注解放到整个方法上,但是不要这么做。反而,声明一个本地变量来保留返回值,而且注解它的声明,就像如此:

// 为了减少@SuppressWarnings范围而添加本地变量
public  T[] toArray(T[] a) {
    if (a.length < size) { 
        // 整个强转是正确的,因为我们创建的这个队列,是和传入的这个是相同类型的,即T[]。
        @SuppressWarnings("unchecked") 
        T[] result = (T[]) Arrays.copyOf(elements, size, a.getClass()); 
        return result; 
    } 
    System.arraycopy(elements, 0, a, 0, size); 
    if (a.length > size) 
        a[size] = null; 
    return a;
} 

最后的方法干净地编译,而且减少了抑制非受检警告的范围。

每次你使用@SuppressWarnings("unchecked")注解,添加一个注释,表明为什么这么做是安全的。这将会帮助其他人理解这个代码,而且更为重要的是,它将会减少这个的几率:某人将会改变代码,导致这个计算不安全。如果你发现编写这样注释是困难的,保持思考。你可能最终理解,非受检操作终究是不安全的。

总之,非受检警告是重要的。不要忽略它们。每个非受检警告代表着运行时ClassCastException的可能。尽最大的努力消除这些警告。如果你不能消除非受检警告,而且你可以证明调用它的代码是安全的,那么用@SuppressWarnings("unchecked")注解在尽可能窄的范围内抑制这个警告。为在注释中抑制警告这个决定,标明基本的阐述。

你可能感兴趣的:(Effective Java 3rd 条目27 消除非受检警告)