使用泛型类型执行强制转换时的警告

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();
    }
}