Можно ли обеспечить соблюдение ковариантных типов возврата в общих интерфейсах Java без необработанных типов или класса ⇐ JAVA

[Anonymous]

Я пытаюсь разработать набор общих интерфейсов и реализаций, где я хочу обеспечить соблюдение ковариатных типов возврата для методов, которые производят объекты общего типа. Другими словами, если у меня есть интерфейс, как это: < /p>

Код: Выделить всё

interface SpecificProducer extends Producer {
@Override
// I want to ensure this returns SpecificType, not just T
T produce();
}
< /code>
и подвладежение: < /p>
interface SpecificProducer extends Producer {
@Override
// I want to ensure this returns SpecificType, not just T
T produce();
}
< /code>
и конкретный класс: < /p>
class SpecificType {
// some properties and methods
}
< /code>
class ConcreteProducer implements SpecificProducer {
@Override
public SpecificType produce() {
return new SpecificType(); // I want to enforce this return type
}
}
< /code>
My goal is to ensure that the produce()

Метод в конкретном продукторе и его реализациях должен SpecialType , а не только общий тип t . Стандартный механизм @Override помогает в обнаружении несоответствий подписи метода, но он только подтверждает, что тип возврата является допустимым переопределением в соответствии со стандартными правилами ковариации (т.е. SefficType является подтипом t ). Это не гарантирует «наиболее специфический» тип.
есть ли способ, используя джентовую java, для обеспечения соблюдения во времени компиляции, что метод продукта () в конкретном продуцированном (и аналогичных интерфейсах) должен вернуть наиболее специфический тип (или его подтега T ?

Подробнее здесь: https://stackoverflow.com/questions/796 ... faces-with