Страницы

Поиск по вопросам

четверг, 6 июня 2019 г.

Ковариантность возвращаемых типов

В книге Thinking in Java (Bruce Eckel) есть такой код: Собственно интересует место с комментарием //Covariant return. Откуда тут ковариантность вообще? //: interfaces/interfaceprocessor/Processor.java package interfaces.interfaceprocessor;
public interface Processor { String name(); Object process(Object input); } ///:~
//: interfaces/interfaceprocessor/Apply.java package interfaces.interfaceprocessor; import static net.mindview.util.Print.*;
public class Apply { public static void process(Processor p, Object s) { print("Using Processor " + p.name()); print(p.process(s)); } } ///:~
//: interfaces/interfaceprocessor/StringProcessor.java package interfaces.interfaceprocessor; import java.util.*;
public abstract class StringProcessor implements Processor{ public String name() { return getClass().getSimpleName(); } public abstract String process(Object input); public static String s = "If she weighs the same as a duck, she’s made of wood"; public static void main(String[] args) { Apply.process(new Upcase(), s); Apply.process(new Downcase(), s); Apply.process(new Splitter(), s); } }
class Upcase extends StringProcessor { public String process(Object input) { **// Covariant return** return ((String)input).toUpperCase(); } }
class Downcase extends StringProcessor { public String process(Object input) { return ((String)input).toLowerCase(); } }
class Splitter extends StringProcessor { public String process(Object input) { return Arrays.toString(((String)input).split(" ")); } }


Ответ

Идея очень простая: вы имплементируете метод Object process(Object input) интерфейса Processor методом String process(Object input) Где на самом деле находится метод — в абстрактном классе StringProcessor или в его реализации Upcase — в принципе не так важно, и является скорее теоретическим вопросом. Главное тут то, что тип возвращаемого значения является подтипом требуемого интерфейсом типа.

Комментариев нет:

Отправить комментарий