Ковырял тайп баунды и наткнулся на такой кейз import java.util.Collection; interface Boxable<E>

Question

Ковырял тайп баунды и наткнулся на такой кейз import java.util.Collection; interface Boxable<E>

{
Collection<Wrapper<E>> getAll();
interface Wrapper<E> {
E get();
}
}

abstract class Box<E> implements Boxable<E> {
public abstract Collection<Wrapper<E>> getAll();
}

abstract class ComparableBox<E>
extends Box<E>
implements Comparable<ComparableBox<E>> {
}

public class BoxTest {
static <T extends Box<?> & Comparable<T>>
void printGreatest(T a, T b) {
T greatest = (a.compareTo(b) > 0) ? a : b;
System.out.println(greatest.getAll());
}

public static void main(String args[]) {
ComparableBox<Number> bn = null;
BoxTest.printGreatest(bn ,bn); //error
}
}
Если в тайп баунде класс & интерфейс, при этом класс оверрайдит метод с дженерик типом, то вот в случае выше получаем
getAll() in Box cannot implement getAll() in Boxable
Collection<Wrapper<CAP#1>> is not compatible with Collection<Wrapper<CAP#2>>
почему?

#backend #java #programming #russian

0

19.09.2019

1 ответов

19 просмотров

Danila Matveev · Accepted Answer

я не шарю в java, но на вид всё дело в ? скорее всего оно имеет логический смысл для "для любого" но тогда Box<> и Comparable<> могут оба содержать любой конкретный тип, ничто не указывает на то что он должен быть один и тот же, а это значит что и реализации у них произвольные могут быть и не обязаны быть совместимыми чтобы показать что тип один и тот же, надо забаиндить дырку в уравнении чем то конкретным попробовать например <A, T extends Box<A> & Comparable<T>>

170 похожих чатов

Ковырял тайп баунды и наткнулся на такой кейз import java.util.Collection; interface Boxable<E>

1 ответов

Похожие вопросы