Compiler Änderung in Java 7

Question

In Java 6 konnte ich verwenden:

public static <T, UK extends T, US extends T> T getCountrySpecificComponent(UK uk, US us) { 
    Country country = CountryContext.getCountry(); 
    if (country == Country.US) { 
     return us; 
    } else if (country == Country.UK) { 
     return uk; 
    } else { 
     throw new IllegalStateException("Unhandled country returned: "+country); 
    } 
} 

Mit diesen Repositories:

public interface Repository{ 
    List<User> findAll(); 
} 

public interface RepositoryUS extends Repository{} 

public interface RepositoryUK extends Repository{} 

Bei Verwendung dieser:

RepositoryUK uk = ... 
RepositoryUS us = ... 

Diese Linie stellt in in Java6, aber in Java7 fehlgeschlagen (Fehler kann kein Symbol finden - da der Compiler in der Klasse Object nach findAll() sucht)

List<User> users = getCountrySpecificComponent(uk, us).findAll(); 

Dies kompiliert in Java 7

List<User> users = ((Repository)getCountrySpecificComponent(uk, us)).findAll(); 

Ich weiß, das ist ein eher selten Verwendung Fall aber gibt es einen Grund für diese Änderung? Oder eine Möglichkeit, dem Compiler ein wenig "schlauer" zu sagen?

Answer 1

Ich denke, T sollte begrenzt werden, um Repository zu erweitern. Auf diese Weise weiß der Compiler, dass getCountrySpecificComponent ein Repository zurückgibt.

EDIT:

Es sollte auch in Ordnung sein, zu schreiben: public static <T extends Repository> T getCountrySpecificComponent(T uk, T us)

Answer 2

Dann Ich bin damit einverstanden, es war ein Fehler, der alte Compiler, das zu akzeptieren. Ich denke, dass Sie so etwas wie dies wollen:

public interface UserFindingComponent{ 
    List<User> findAll(); 
} 

public interface Repository extends UserFindingComponent{ } 

public interface RepositoryUS extends Repository{} 

public interface RepositoryUK extends Repository{} 

...

public static <T extends UserFindingComponent, UK extends T, US extends T> T getCountrySpecificComponent(UK uk, US us) { 
    Country country = CountryContext.getCountry(); 
    if (country == Country.US) { 
     return us; 
    } else if (country == Country.UK) { 
     return uk; 
    } else { 
     throw new IllegalStateException("Unhandled country returned: "+country); 
    } 
} 

Answer 3

In diesem Fall wird der Compiler konnte den Typparameter abzuleiten, was wahrscheinlich der Fall in Java 6 haben sollte auch . Sie können dem Compiler jedoch mitteilen, welche generischen Typen die folgende Syntax verwenden:

import java.util.List; 

class User { 
} 

interface Repository { 
    List<User> findAll(); 
} 

interface RepositoryUS extends Repository { 
} 

interface RepositoryUK extends Repository { 
} 

class Test { 
    public static <T, UK extends T, US extends T> T getCountrySpecificComponent(UK uk, US us) { 
    Country country = CountryContext.getCountry(); 
    if (country == Country.US) { 
     return us; 
    } else if (country == Country.UK) { 
     return uk; 
    } else { 
     throw new IllegalStateException("Unhandled country returned: " + country); 
    } 
    return us; 
    } 

    public static void main(String... args) { 
    RepositoryUK uk = null; 
    RepositoryUS us = null; 
    List<User> users = Test.<Repository, RepositoryUK, RepositoryUS>getCountrySpecificComponent(uk, us).findAll(); 
    } 
}