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

@SuppressWarnings("unchecked")

这是什么意思?


当前回答

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

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

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

其他回答

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

在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泛型就是不能让您做您想做的事情,您需要有效地告诉编译器您所做的事情在执行时是合法的。

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

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

简单地说:这是一个警告,编译器通过它表示它不能确保类型安全。

例如,JPA服务方法:

@SuppressWarnings("unchecked")
public List<User> findAllUsers(){
    Query query = entitymanager.createQuery("SELECT u FROM User u");
    return (List<User>)query.getResultList();
}

如果我没有注释@SuppressWarnings(“unchecked”)在这里,它将有一个问题与行,我想返回我的ResultList。

简单地说,类型安全的意思是:如果一个程序在编译时没有错误和警告,并且在运行时没有引发任何意外的ClassCastException,则该程序被认为是类型安全的。

我建立在http://www.angelikalanger.com/GenericsFAQ/FAQSections/Fundamentals.html上

一个技巧是创建一个扩展通用基础接口的接口…

public interface LoadFutures extends Map<UUID, Future<LoadResult>> {}

然后你可以在转换之前用instanceof检查它…

Object obj = context.getAttribute(FUTURES);
if (!(obj instanceof LoadFutures)) {
    String format = "Servlet context attribute \"%s\" is not of type "
            + "LoadFutures. Its type is %s.";
    String msg = String.format(format, FUTURES, obj.getClass());
    throw new RuntimeException(msg);
}
return (LoadFutures) obj;