Java Generics: переопределение общих методов, подстановочные знаки?

Question

Если у меня есть интерфейс с универсальным методом, как следующее:

public interface Thing { 
    void <T extends Comparable<? super T>> doSomething(List<T> objects); 
} 

мне нужно что некрасиво общий typespec в некоторых местах, но большинство реализаций фактически не нужно:

public class ICareAboutSortingThing implements Thing { 
    @Override 
    public void <T extends Comparable<? super T>> doSomething(List<T> objects) { ... } 
} 

public class IDontCareAboutSortingThingx100 implements Thing { 
    @Override 
    public void <T extends Comparable<? super T>> doSomething(List<T> objects) { ... } 
} 

Что Я хотел бы написать что-то вроде:

public class IDontCareAboutSortingThingx100 implements Thing { 
    @Override 
    public void <?> doSomething(List<?> objects) { ... } 
} 

Это должно быть полностью типизированной, насколько я понимаю, но есть какие-либо изменения этого что бы сработало? Я понимаю, что компилятор не позволяет переопределять не-общие методы, но это случай замены аргументов типа на подстановочные знаки. Я думаю, что это на самом деле не поддерживается, так как компилятор может так же легко поддерживать

public class IDontCareAboutSortingThingx100 implements Thing { 
    @Override 
    public void <T> doSomething(List<T> objects) { ... } 
} 

т.е. преимущественную с более слабыми границами, но это, кажется, не допускается. Во всяком случае, просто любопытно, есть ли у кого-то волшебное заклинание для подобных случаев.

Answer 1

По сути, вы просите контравариантен параметры метода, например, не-родовой пример выглядит следующим образом:

interface I { 
    void m(String s); 
} 

class C implements I { 
    @Override 
    public void m(Object o) {} 
} 

void(Object) является подсигнатурой void(String) потому что расширяющее преобразование всегда в порядке. Java не имеет этого.

Для дженериков, вы может переопределить общий метод быть не родовое:

class NotGeneric implements Thing { 
    @Override 
    public void doSomething(List rawList) {} 
} 

Но вы в принципе не должны это делать. Вы получите raw type warnings, и вы должны их послушать. Он доступен для обратной совместимости.

Если бы это был я, я бы просто повторил уродливую общую подпись, потому что я не думаю, что это все так уродливо.

Что еще вы могли бы сделать, как

interface NonGenericThing extends Thing { 
    @Override 
    default <T extends Comparable<? super T>> 
    void doSomething(List<T> list) { 
     doSomethingImpl(list); 
    } 
    void doSomethingImpl(List<?> list); 
} 

И тогда вы реализуете NonGenericThing вместо и переопределить doSomethingImpl. (До Java 8, NonGenericThing должен быть абстрактным классом.)

Конечно, это может быть невозможно, если Thing на самом деле большой интерфейс. Вы также можете объявить Thing таким образом, если это уместно.

Answer 2

Не совсем уверен, куда вы пытаетесь добраться, но не могли ли вы инкапсулировать ограничения в отдельном классе?

public class It<T extends Comparable<? super T>> { 

    public List<T> them; 
} 

public interface Thing { 

    void doSomething(It<String> them); 
} 

Answer 3

Вы можете вставлять информацию о типе в классе:

public class IDontCareAboutSortingThingx100<T extends Comparable<? super T>> implements Thing<T> { 

    @Override 
    public void doSomething(List<T> objects) { 
    } 
}