java - 使用泛型执行强制转换时发出警告

Question

我不明白为什么我在尝试执行此操作时会收到警告(未经检查的转换):

...
Map<? estends SomeType, SomeOtherType> map;
...
Map<SomeType, SomeOtherType> castedMap = (Map<SomeType, SomeOtherType>) map;
...

我的意思是将 castedMap 发布到外部代码有什么危险？这两个操作将在运行时完美运行:

• 使用 SomeType 类型的键从 castedMap 获取元素
• 使用 SomeType 类型的键将元素放入 castedMap 中。

我会使用@SuppressWarnings("unchecked") 简单地抑制警告。

Answer 1

答案可能很无聊:当有警告时，它就不是类型安全的。就是这样。

为什么它不是类型安全的可以在这个例子中看到:

import java.util.HashMap;
import java.util.Map;

class SomeType {}
class SomeSubType extends SomeType {}
class SomeOtherType {}

public class CastWarning
{
    public static void main(String[] args)
    {
        Map<SomeSubType, SomeOtherType> originalMap = new HashMap<SomeSubType, SomeOtherType>();
        Map<? extends SomeType, SomeOtherType> map = originalMap;
        Map<SomeType, SomeOtherType> castedMap = (Map<SomeType, SomeOtherType>) map;        

        // Valid because of the cast: The information that the
        // key of the map is not "SomeType" but "SomeSubType"
        // has been cast away...
        SomeType someType = new SomeType();
        SomeOtherType someOtherType = new SomeOtherType();
        castedMap.put(someType, someOtherType);

        // Valid for itself, but causes a ClassCastException
        // due to the unchecked cast of the map
        SomeSubType someSubType = originalMap.keySet().iterator().next();
    }
}