Effective Java笔记(27)消除非受检的警告

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

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

java 复制代码
Set<Lark> exaltation = new HashSet();

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

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

java 复制代码
Set<Lark> exaltation = new HashSet<>();

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

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

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

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

java 复制代码
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 ,该方法就会产生成这条警告 :

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

java 复制代码
    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")**注解禁止该警告 。 要用注释把禁止该警告的原因记录下来。

相关推荐
万少2 小时前
用腻了 WorkBuddy 的默认界面?这个开源小工具给它换上了毛玻璃
前端·javascript·后端
皮皮林5515 小时前
代码越“整洁”,性能越“拉胯”?
后端
benchmark_cc5 小时前
如何用 Python + QuantDash 快速构建高胜率“配对交易(Pairs Trading)”策略?
开发语言·人工智能·python·pandas·量化交易·quantdash
金金金__5 小时前
一篇文章带你入门OpenSpec
后端
阿维的博客日记6 小时前
MultipartFile 是不是表示仅仅是一个分片?
java·后端·spring·multipartfile
海上彼尚6 小时前
Nodejs也能写Agent - 16.LangGraph篇 - 条件分支与循环
前端·后端·langchain·node.js
程序员无隅6 小时前
Coding Agent 为什么压缩上下文后还能继续工作?上下文模块设计拆解
java·开发语言·数据库
Python+996 小时前
Java 枚举类(Enum)详解:从基础到高级应用
java·开发语言·python
二炮手亮子7 小时前
浅记java线程池
java·开发语言
一路向北North7 小时前
Spring Security OAuth2.0(23):分布式系统授权-转发明文给微服务
java·spring·微服务