Реализовать метод с параметром расширенного интерфейса

Question

У меня есть этот Java код:

public interface User{ 
    public void in(Message message); 
} 

public interface Message{ 
//.... 
} 

public interface WebsiteMessage extends Message{ 
//.... 
} 

public class WesiteUser implements User{ 
    @Override 
    //I'm not allowed to do this 
    public void in(WebsiteMessage message){} 
} 

Есть ли способ я могу реализовать in метод с параметром WebsiteMessage? На данный момент я делаю что-то вроде этого:

@Override 
public void in(Message message){ 
    WebsiteMessage msg= (WebsiteMessage) message; 
    //.. 
} 

Answer 1

Вы можете сделать это с bounded type parameter:

public interface User<M extends Message> { 
    public void in(M message); 
} 

public class WebsiteUser implements User<WebsiteMessage> { 
    @Override 
    public void in(WebsiteMessage message) {} 
} 

Answer 2

Просто чтобы дать другой перспективе: Liskov Substitution Principle в основном говорит вам ... к не делайте этого.

Идея этого принципа заключается в том, что для того, чтобы быть здоровым, вы должны иметь возможность заменить любое использование «базового» типа «производным» типом. И это не работает, если вы ограничиваете параметры методов. Потому что при вызове метода в базовом классе вам разрешается использовать «более широкий» тип; который дает вам ошибку при попытке использовать производный класс.

Прекрасно ограничивать тип возврата; или для расширения параметров метода; но не наоборот.

И если вы включите here, вы обнаружите, что люди спорят, применяется ли LSP, когда речь идет о интерфейсах.

Короче говоря, даже если решение, предложенное shmosel, работает; вы, возможно, захотите отступить и подумать, действительно ли это лучший способ решить вашу проблему. Понимаете, звук OO-дизайна и наследования - это больше, чем просто размещение . Здесь можно найти.