什么是未经检查的演员阵容以及如何检查它？

Question

我想我明白未经检查的演员意味着什么（从一种不同类型的演员到另一种类型的演员），但是“检查”演员意味着什么？如何检查强制转换以避免 Eclipse 中出现此警告？

Answer 1

详细说明 Peter 所写的内容：

从非泛型类型到泛型类型的转换可能在运行时工作得很好，因为泛型参数在编译期间被删除，所以我们留下了合法的转换。但是，由于对类型参数的假设不正确，代码稍后可能会失败，并出现意外的 ClassCastException。例如：

    List l1 = new ArrayList();
    l1.add(33);
    List<String> l2 = (List<String>) l1;
    String s = l2.get(0);

第 3 行未经检查的警告表明编译器无法保证类型安全，即稍后可能会发生意外的 ClassCastException。事实上，这发生在第 4 行，它执行隐式转换。

Answer 2

未经检查的强制转换意味着您正在（隐式或显式）从泛型类型强制转换为非限定类型，或者反之亦然。例如这一行

Set<String> set = new HashSet();

会产生这样的警告。

通常出现此类警告是有充分理由的，因此您应该尝试改进代码而不是抑制警告。引自《Effective Java》第二版：

尽可能消除所有未经检查的警告。如果您
消除所有警告，您可以放心您的代码是类型安全的，这是一个非常好的
好东西。这意味着您在运行时不会收到 ClassCastException ，并且它
增加您对程序按预期运行的信心。

如果你不能消除警告，你可以证明代码
引发警告是类型安全的，然后（并且只有那时）抑制警告
带有 @SuppressWarnings("unchecked") 注释。如果您抑制警告
如果不首先证明代码是类型安全的，您只是给自己一个
错误的安全感。该代码可以编译而不发出任何警告，但是
它仍然可以在运行时抛出ClassCastException。然而，如果你忽略
未经检查的警告，您知道是安全的（而不是压制它们），您
当出现代表真正问题的新警告时，用户不会注意到。这
新的警告将在您没有消除的所有错误警报中消失。

当然，消除警告并不总是像上面的代码那么容易。如果没有看到你的代码，就无法知道如何保证它的安全。

Answer 3

与检查的强制转换相反，未经检查的强制转换不会在运行时检查类型安全性。

以下是基于第三版的考虑类型安全异构容器部分的示例。 Joshua Bloch 的“Effective Java”，但容器类被故意破坏 - 它存储并返回错误的类型：

public class Test {

    private static class BrokenGenericContainer{
        private final Map<Class<?>, Object> map= new HashMap<>();

        public <T> void store(Class<T> key, T value){
            map.put(key, "broken!"); // should've been [value] here instead of "broken!"
        }

        public <T> T retrieve(Class<T> key){
//          return key.cast(map.get(key)); // a checked cast 
            return (T)map.get(key);        // an unchecked cast
        }

    }

    public static void main(String[] args) {
        BrokenGenericContainer c= new BrokenGenericContainer();
        c.store(Integer.class, 42);
        List<Integer> ints = new ArrayList<>();
        ints.add(c.retrieve(Integer.class));
        Integer i = ints.get(0);
    }

}

如果retrieve()使用未经检查的强制转换 -(T)map.get(key) - 运行此程序将导致ClassCastException 发生在 Integer i = ints.get(0) 行。 retrieve() 方法将完成，因为在运行时未检查实际类型：

Exception in thread "main" 
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
    at Test.main(Test.java:27)

但如果 retrieve() 使用检查强制转换 -
key.cast(map.get(key)) - 运行此程序将导致在 key.cast(map.get(key))< 处发生 ClassCastException /code> 行，因为检查后的强制转换会发现类型错误并抛出异常。 retrieve() 方法将无法完成：

Exception in thread "main" java.lang.ClassCastException: 
                                          Cannot cast java.lang.String to java.lang.Integer
    at java.lang.Class.cast(Class.java:3369)
    at Test$BrokenGenericContainer.retrieve(Test.java:16)
    at Test.main(Test.java:26)

看起来差别不大，但在未经检查的强制转换的情况下，String 成功进入 List< ;整数>。在现实世界的应用中，这样做的后果可能......嗯，很严重。在检查演员表的情况下，尽早发现类型不匹配。

---

为了避免未经检查的强制转换警告，如果程序员确实确定该方法实际上是安全的，则可以使用@SuppressWarnings("unchecked")。更好的选择是尽可能使用泛型和检查强制转换。

正如约书亚·布洛赫所说，

...未经检查的警告很重要。不要忽视他们。

---

为了完整起见，这个答案涉及 Eclipse 的具体细节。