Java: Wie die Ungeprüfter Guss beheben

Question

Warnung ich den folgenden Code haben:

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

Wenn ich kompilieren, es zeigt, dass T result = (T)store.get(e) einen ungeprüften Stich hat.

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

Was fehlt mir, damit diese Warnung nicht angezeigt wird?

Answer 1

Class.cast ist was du willst. Nun, Sie könnten darüber nachdenken, keine Reflexion zu verwenden.

Ändern Sie die Zeile:

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

zu:

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

Answer 2

schreiben @SuppressWarnings("unchecked") über dem Guss Aussage:

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

Und eine Begründung hinzufügen, warum es sicher ist, das ignorieren Warnung.

Answer 3

extends in Generika funktioniert nicht wirklich so. T! = ? extends Component obwohl T extends Component. Was Sie haben, ist in der Tat ein wildcard capture, es hat einen anderen Zweck.

Und ja Ihre Lösung ist nicht typsicher - es gibt keine Beziehung zwischen den beiden ? Marken ist:

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

So wird es legal eine Instanz einer Unterklasse von Component in dieser Struktur mit einigen zu setzen andere Klasse (nicht einmal eine Unterklasse von Component) als Schlüssel.

Denken Sie daran, dass generische Typen nur bei Kompilierung aufgelöst werden, so bei Laufzeitm_componentStores keine Möglichkeit zu wissen hat, was genaue Art des Wertes du da drin haben, außer, dass es extendsComponent.

So ist der Typ, den Sie von store.get(e) bekommen ist ... Component:

Component result = store.get(e); 

Wenn Sie Component-T werfen, der Compiler gibt eine Warnung aus, weil die Besetzung nicht statisch überprüft werden kann. Aber wenn Sie sich der Semantik Ihrer Datenstruktur sicher sind, können Sie die Warnung einfach unterdrücken.

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

---

PS: Sie brauchen nicht eine Wildcard zu erfassen, wird die folgende Arbeit genau das gleiche in Ihrem Fall:

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