Typ Mismatch nach dem Extrahieren von Ausdruck mit generischen Rückgabetyp

Question

Ich stieß auf einige, zumindest für mich, seltsames Verhalten in Eclipse 4.4 und Java 8 Build 45 beim Ausführen eines Extrakt-Ausdruck Refactoring. Das folgende Beispiel zeigt das Original und fehlerfreien Code vor dem Extrakt Refactoring Anwendung:

import java.util.Map; 
import java.util.Set; 

public class MyMap<K, V> { 
    public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     for (Map.Entry<? extends K, ? extends V> entry : mapToCopy.entrySet()) { 
     } 
    } 
} 

Das Ergebnis der Eclipse Refactoring sieht wie folgt aus und führt zu der Fehlermeldung unten, dass bezieht sich auf den Lesezugriff von entrySet in der loop Deklaration:

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     Set<?> entrySet = mapToCopy.entrySet(); 
     for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 
                 ^^^^^^^^ 
     } 
    } 

Type mismatch: cannot convert 
    from element type capture#3-of ? 
    to Map.Entry<? extends K,? extends V> 

verändert I die Art der Erklärung der entrySet zu Set<Map.Entry<? extends K, ? extends V>>. Dieses Mal wird der Fehler bei der Initialisierung der Erklärung angegeben, nämlich:

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     Set<Map.Entry<? extends K, ? extends V>> entrySet = mapToCopy.entrySet(); 
                  ^^^^^^^^^^^^^^^^^^^^ 
     for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 
     } 
    } 

Type mismatch: cannot convert 
    from Set<Map.Entry<capture#1-of ? extends K,capture#2-of ? extends V>> 
    to Set<Map.Entry<? extends K,? extends V>> 

Da der ursprüngliche Code nicht kompiliert, ich bin ein wenig verwirrt. Vielleicht kann mir jemand helfen und eine Erklärung geben? Danke im Voraus!

Answer 1

Lets erste Rezension, die ursprüngliche Quelle:

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
    for (Map.Entry<? extends K, ? extends V> entry : mapToCopy.entrySet()) { 
    } 
} 

Intern (und zur Laufzeit), wird diese kompiliert werden und funktionieren als:

public void putAll(final Map mapToCopy) { 
    for (Iterator<Map.Entry> iterator = mapToCopy.iterator; iterator.hasNext();) { 
    } 
} 

wo ? extends K und ? extends V werden mit einigen ersetzt werden die echten Typen nach dem Typ löschen. Der Compiler wird wissen, um welche Art es sich handelt und wird keine Exception für Typinkompatibilität auslösen.

Auf der anderen Seite, wenn Sie die Quelle dieses Refactoring,

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
    Set<Entry<? extends K, ? extends V>> entrySet = mapToCopy.entrySet(); 
                ^^^^^^^^ 
    for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 

    } 
} 

dann der Compiler keine Beweise haben, dass die entrySethält vom gleichen Typ wie Map.Entry<? extends K, ? extends V>, einfach weil die Platzhalter (?) steht immer für etwas unbekannt, dh es gibt keine Garantie, dass der Platzhalter aus dem entrySet Eintrag Schlüsselwert der Schlüsselwert entry (aus der Schleife) sein wird. Da der Compiler nicht hundertprozentig sicher ist, dass die Typen kompatibel sind, löst er einen Fehler bei der Kompilierung aus, ** obwohl Sie sicher sein können, dass diese Typen zur Laufzeit identisch sind.