Java: не оператор подстановки ограничивающей

Question

После выполнения некоторого чтения, кажется, что можно использовать оператор & требует многократного распространяется: Class<T extends Class1 & Class2> classObj;

Однако я искал способ для обеспечения «не» функциональность во время компиляции. У меня есть пример, где Банан расширяет Фрукты. Тем не менее, я после того, как что-то вдоль линий:

public abstract class Fruit 
{ 
    public abstract String getFlavour(); 
} 

public class Lemon extends Fruit 
{ 
    @Override 
    public String getFlavour() 
    { 
     return "sour"; 
    } 
} 

public abstract class Banana extends Fruit 
{ 
    @Override 
    public String getFlavour() 
    { 
     return "very sweet!"; 
    } 

    public abstract String getBananaRipeness(); 
} 

public class UnripeBanana extends Banana 
{ 
    @Override 
    public String getBananaRipeness() 
    { 
     return "unripe"; 
    } 
} 

... 
    public String methodThatTakesFruitClassButNotBanana(Class<? extends Fruit ! Banana> fruitClass) 
    { 
     Fruit fruit = fruitClass.newInstance(); 
     return fruit.getFlavour(); 
    } 

... 
     methodThatTakesFruitClassButNotBanana(Lemon.class); // I want this to compile. 
     methodThatTakesFruitClassButNotBanana(UnripeBanana.class); // I want this not to compile. 

Очевидно Class<? extends Fruit ! Banana> не является допустимым синтаксисом. Какие подходы вы могли бы рекомендовать для обеспечения такого типа иерархии типов во время компиляции?

Answer 1

общественность Строка methodThatTakesFruitClassButNotBanana

Это полная противоположность Лиск принципа замещения и как полиморфизм работает. Начиная с Banana extends Fruit существует требование, чтобы любой метод, принимающий Fruit, принимает Banana.

Если вам нужно, вам нужно проверить динамический тип и исключить исключение, компилятор не сможет этого сделать для вас.