美文网首页
第二十七条:消除受检的警告

第二十七条:消除受检的警告

作者: Js_Gavin | 来源:发表于2021-02-13 19:30 被阅读0次

    在泛型编程时会遇到许多编译器警告:非受检强制转换警告(unchecked cast waring)、非受检方法调用警告、非受检参数化可变参数类型警告(unchecked parameterized varag type waring),以及非受检转换警告(unchecked conversion waring)。当你越来越熟悉泛型之后,遇到的警告也就会越来越少,但是不要期待一开始用泛型编写代码就可以正确的进行编译。

    有许多非受检警告很容易消除。例如:假设意外的编写了这样一个声明:

    Set<Lark> exaltation = new HashSet();
    

    编译器会细致的提醒你哪里出错了:

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

    你就可以纠正所显示的错误,消除警告。注意不必真正去指定类型参数,只需要用Java7中开始引入的菱形操作符(diamond operator)(<>)将它括起来即可。随后编译器就会推断出正确的实际类型参数(在本例中是Lark):

    Set<Lark> exaltation = new HashSet<>();
    

    有些警告非常难以消除。本章主要介绍这种警告示例。当你遇到需要进行一番思考的警告时,要坚持!要尽可能地消除每一个非受检警告。如果消除了所有警告,就可以确保代码是类型安全的,这是一件很好的事。这意味着不会在运行时出现ClassCastException异常,你会更加自信自己的程序可以实现预期的功能

    如果无法消除警告,同时可以证明引警告的代码是类型安全的,(只有在这种情况下)才可以用一个@SuppressWarings("unchecked")注解来静止这条警告如果在禁止警告之前没有先证实代码是类型安全的,那就只是给你自己一种错误的安全感而已。代码在编译的时候可能没有出现任何警告,但是它在运行时仍然会抛出ClassCastException异常。但是如果忽略(而不是禁止)明知道是安全的非受检警告,那么当新出现一条真正有问题的警告时,你也不会注意到。新出现的警告就会淹没在所有的错误警告声当中

    SuppressWarings注解可以用在任何粒度的级别中,从单独的局部变量声明到整个类都可以。应该始终尽可能小的范围使用SuppressWarings注解。它通常是一个变量声明,或者非常简短的方法或构造器。永远不要在整个类上使用SuppressWarings,这么做可能会掩盖重要的警告

    如果你发现自己在长度不止一行的方法或者构造器中使用了SuppressWarings注解,可以将它移到一个局部变量的声明中。虽然你必须声明一个新的局部变量,不过这么做还是值得的。例如,看看ArrayList类当中的toArray方法:

    public <T> 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[]”
    

    将SuppressWarings注解放在return语句中是合法的,因为它不是声明。你可以试着将注解放在整个方法上,但是在实践中千万不要这么做,而是应该声明一个局部变量来保存返回值,并注解其声明,像这样:

    // Adding local variable to reduce scope of 
    public <T> T[] toArray(T[] a) {
      if (a.length < size) {
      // This cast is correct because the array we're creating
      // is of the same type as the one passed in, which is 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")注解禁止该警告。要用注释把禁止该警告的原因记录下来

    相关文章

      网友评论

          本文标题:第二十七条:消除受检的警告

          本文链接:https://www.haomeiwen.com/subject/unskxltx.html