有时在查看代码时,我看到许多方法都指定了注释:
@SuppressWarnings("unchecked")
这是什么意思?
有时在查看代码时,我看到许多方法都指定了注释:
@SuppressWarnings("unchecked")
这是什么意思?
当前回答
它是一个注释,用于禁止编译关于未检查的泛型操作(而不是异常)的警告,比如强制转换。它本质上意味着程序员不希望在编译特定代码时被通知这些他已经知道的信息。
你可以在这里阅读更多关于这个特定注释的内容:
SuppressWarnings
此外,Oracle还提供了一些关于注释用法的教程文档:
注释
正如他们所说,
“在使用泛型出现之前编写的遗留代码(在泛型这一课中讨论)时,可能会出现‘unchecked’警告。”
其他回答
它是一个注释,用于禁止编译关于未检查的泛型操作(而不是异常)的警告,比如强制转换。它本质上意味着程序员不希望在编译特定代码时被通知这些他已经知道的信息。
你可以在这里阅读更多关于这个特定注释的内容:
SuppressWarnings
此外,Oracle还提供了一些关于注释用法的教程文档:
注释
正如他们所说,
“在使用泛型出现之前编写的遗留代码(在泛型这一课中讨论)时,可能会出现‘unchecked’警告。”
有时候Java泛型就是不能让您做您想做的事情,您需要有效地告诉编译器您所做的事情在执行时是合法的。
在模拟通用接口时,我通常发现这很麻烦,但也有其他例子。通常值得尝试一种方法来避免警告,而不是抑制它(Java泛型常见问题解答在这里有所帮助),但有时即使有可能,它也会使代码变形,以至于抑制警告会更整洁。在这种情况下,总是添加解释性评论!
相同的泛型常见问题解答有几个关于这个主题的部分,从“什么是“未检查的”警告?”-很值得一读。
在Java中,泛型是通过类型擦除实现的。例如,下面的代码。
List<String> hello = List.of("a", "b");
String example = hello.get(0);
编译为以下内容。
List hello = List.of("a", "b");
String example = (String) hello.get(0);
和列表。的定义为。
static <E> List<E> of(E e1, E e2);
在类型擦除后变成。
static List of(Object e1, Object e2);
编译器在运行时不知道什么是泛型类型,所以如果你写这样的东西。
Object list = List.of("a", "b");
List<Integer> actualList = (List<Integer>) list;
Java虚拟机在运行程序时不知道泛型类型是什么,所以这个编译并运行,对于Java虚拟机,这是一个转换为List类型(这是它唯一可以验证的东西,所以它只验证它)。
现在加上这条线。
Integer hello = actualList.get(0);
当Java编译器插入隐式强制转换时,JVM将抛出一个意外的ClassCastException。
java.lang.ClassCastException: java.base/java.lang.String cannot be cast to java.base/java.lang.Integer
未检查的警告告诉程序员,强制转换可能导致程序在其他地方抛出异常。使用@SuppressWarnings("unchecked")取消警告告诉编译器,程序员相信代码是安全的,不会导致意外异常。
你为什么要这么做?Java类型系统不足以表示所有可能的类型使用模式。有时您可能知道强制转换是安全的,但Java并没有提供这样的方法—为了隐藏这样的警告,可以使用@SupressWarnings(“unchecked”),这样程序员就可以专注于真正的警告。例如,Optional.empty()返回一个单例,以避免分配不存储值的空可选项。
private static final Optional<?> EMPTY = new Optional<>();
public static<T> Optional<T> empty() {
@SuppressWarnings("unchecked")
Optional<T> t = (Optional<T>) EMPTY;
return t;
}
这种类型转换是安全的,因为存储在空可选对象中的值无法检索,因此不存在意外类类型转换异常的风险。
这也可能意味着当前的Java类型系统版本不适合您的情况。有几个JSR命题/ hack可以解决这个问题:类型令牌、超级类型令牌、Class.cast()。
如果你真的需要这个抑制,尽可能缩小它的范围(例如,不要把它放在类本身或一个长方法上)。一个例子:
public List<String> getALegacyListReversed() {
@SuppressWarnings("unchecked") List<String> list =
(List<String>)legacyLibrary.getStringList();
Collections.reverse(list);
return list;
}
一种警告,编译器借此表示它不能确保类型安全。 “未经检查”的警告一词具有误导性。这并不意味着警告在任何方面都是不受限制的。术语“未检查”指的是编译器和运行时系统没有足够的类型信息来执行确保类型安全所需的所有类型检查。从这个意义上说,某些操作是“未检查”的。
“未检查”警告最常见的来源是使用原始类型。当通过原始类型变量访问对象时,会发出“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”警告是为了提请程序员注意强制转换的静态和动态方面之间的不匹配。
请参考:什么是“未检查”警告?