java:如何修复未选中的强制转换警告

Question

我有以下代码:

private HashMap<Class<?>, HashMap<Entity, ? extends Component>> m_componentStores;

public <T extends Component> T getComponent(Entity e, Class<T> exampleClass)
{
    HashMap<Entity, ? extends Component> store = m_componentStores.get(exampleClass);

    T result = (T)store.get(e);

    if (result == null)
    {
        throw new IllegalArgumentException( "GET FAIL: "+e+" does not possess Component of class\nmissing: "+exampleClass );
    }

    return result;
}

当我编译时,它显示T result = (T)store.get(e)有一个未经检查的强制转换.

Type safety: Unchecked cast from capture#2-of ? extends Component to T

为防止出现此警告,我错过了什么？

Answer 1

Class.cast是你想要的.好吧,你可能会考虑不使用反射.

换行:

T result = (T)store.get(e);

至:

T result = exampleClass.cast(store.get(e));

Answer 2

@SuppressWarnings("unchecked")在Cast语句上面写:

@SuppressWarnings("unchecked")
T result = (T)store.get(e);

并添加一个解释性声明,为什么忽略警告是安全的.

Answer 3

extends在泛型中并不是这样工作的。T!=? extends Component即使T extends Component. 你所拥有的实际上是一个通配符捕获，它有不同的目的。

是的，您的解决方案不是类型安全的 - 两个标记之间没有关系?：

    private HashMap<Class<?>, HashMap<Entity, ? extends Component>> m_componentStores;

Component因此，使用其他类（甚至不是 的子类Component）作为键将 的某个子类的实例放入此结构中是合法的。

请记住，泛型类型仅在编译时解析，因此在运行时 m_componentStores无法知道其中的值的确切类型，除了 it extends Component。

所以你得到的类型store.get(e)是...... Component：

    Component result = store.get(e);

当您转换Component为时T，编译器会发出警告，因为无法静态检查转换。但是，如果您确定数据结构的语义，则可以简单地抑制警告。

    @SuppressWarnings("unchecked")
    T resultT = (T)result;

PS：您不需要通配符捕获，以下内容在您的情况下将完全相同：

    private HashMap<Class<?>, HashMap<Entity, Component>> m_componentStores;