有时在查看代码时,我看到许多方法都指定了注释:

@SuppressWarnings("unchecked")

这是什么意思?


当前回答

据我所知,目前它与抑制关于泛型的警告有关;泛型是一种新的编程结构,在JDK 5之前的版本中不支持,因此任何新旧结构的混合都可能导致一些意想不到的结果。

编译器会警告程序员,但是如果程序员已经知道了,他们可以使用SuppressWarnings关闭这些可怕的警告。

其他回答

一种警告,编译器借此表示它不能确保类型安全。 “未经检查”的警告一词具有误导性。这并不意味着警告在任何方面都是不受限制的。术语“未检查”指的是编译器和运行时系统没有足够的类型信息来执行确保类型安全所需的所有类型检查。从这个意义上说,某些操作是“未检查”的。

“未检查”警告最常见的来源是使用原始类型。当通过原始类型变量访问对象时,会发出“unchecked”警告,因为原始类型没有提供足够的类型信息来执行所有必要的类型检查。

示例(未经检查的警告与原始类型结合):

TreeSet set = new TreeSet(); 
set.add("abc");        // unchecked warning 
set.remove("abc");
warning: [unchecked] unchecked call to add(E) as a member of the raw type java.util.TreeSet 
               set.add("abc");  
                      ^

当调用add方法时,编译器不知道向集合中添加String对象是否安全。如果TreeSet是一个包含String s(或其超类型)的集合,那么它是安全的。但是从原始类型TreeSet提供的类型信息,编译器无法判断。因此,该呼叫可能是不安全的,并发出“未检查”警告。

当编译器发现目标类型为参数化类型或类型形参的强制转换时,还会报告"unchecked"警告。

示例(未检查的警告与参数化类型或类型变量的强制转换结合在一起):

  class Wrapper<T> { 
  private T wrapped ; 
  public Wrapper (T arg) {wrapped = arg;} 
  ... 
  public Wrapper <T> clone() { 
    Wrapper<T> clon = null; 
     try {  
       clon = (Wrapper<T>) super.clone(); // unchecked warning 
     } catch (CloneNotSupportedException e) {  
       throw new InternalError();  
     } 
     try {  
       Class<?> clzz = this.wrapped.getClass(); 
       Method   meth = clzz.getMethod("clone", new Class[0]); 
       Object   dupl = meth.invoke(this.wrapped, new Object[0]); 
       clon.wrapped = (T) dupl; // unchecked warning 
     } catch (Exception e) {} 
     return clon; 
  } 
} 
warning: [unchecked] unchecked cast 
found   : java.lang.Object 
required: Wrapper <T> 
                  clon = ( Wrapper <T>)super.clone();  
                                                ^ 
warning: [unchecked] unchecked cast 
found   : java.lang.Object 
required: T 
                  clon. wrapped = (T)dupl;

如果涉及到运行时的动态类型检查,则目标类型为(具体或有界通配符)参数化类型或类型参数的强制转换是不安全的。在运行时,只有类型擦除是可用的,而不是源代码中可见的确切静态类型。因此,强制转换的运行时部分是基于类型擦除执行的,而不是基于确切的静态类型。

在本例中,强制转换为Wrapper将检查对象是否从super返回。clone是一个包装器,而不是它是否是具有特定类型成员的包装器。类似地,类型参数T的类型转换在运行时被转换为Object类型,并且可能完全优化了。由于类型擦除,运行时系统无法在运行时执行更有用的类型检查。

在某种程度上,源代码具有误导性,因为它建议执行到相应目标类型的强制转换,而实际上强制转换的动态部分只检查目标类型的类型擦除。发出“unchecked”警告是为了提请程序员注意强制转换的静态和动态方面之间的不匹配。

请参考:什么是“未检查”警告?

它是一个注释,用于禁止编译关于未检查的泛型操作(而不是异常)的警告,比如强制转换。它本质上意味着程序员不希望在编译特定代码时被通知这些他已经知道的信息。

你可以在这里阅读更多关于这个特定注释的内容:

SuppressWarnings

此外,Oracle还提供了一些关于注释用法的教程文档:

注释

正如他们所说,

“在使用泛型出现之前编写的遗留代码(在泛型这一课中讨论)时,可能会出现‘unchecked’警告。”

有时候Java泛型就是不能让您做您想做的事情,您需要有效地告诉编译器您所做的事情在执行时是合法的。

在模拟通用接口时,我通常发现这很麻烦,但也有其他例子。通常值得尝试一种方法来避免警告,而不是抑制它(Java泛型常见问题解答在这里有所帮助),但有时即使有可能,它也会使代码变形,以至于抑制警告会更整洁。在这种情况下,总是添加解释性评论!

相同的泛型常见问题解答有几个关于这个主题的部分,从“什么是“未检查的”警告?”-很值得一读。

SuppressWarning注释用于对带注释的元素禁用编译器警告。具体来说,未检查的类别允许抑制因未检查的类型强制转换而生成的编译器警告。

据我所知,目前它与抑制关于泛型的警告有关;泛型是一种新的编程结构,在JDK 5之前的版本中不支持,因此任何新旧结构的混合都可能导致一些意想不到的结果。

编译器会警告程序员,但是如果程序员已经知道了,他们可以使用SuppressWarnings关闭这些可怕的警告。