В книге 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 — в принципе не так важно, и является скорее теоретическим вопросом. Главное тут то, что тип возвращаемого значения является подтипом требуемого интерфейсом типа.
