为什么java方法重写允许有协变返回类型,而不是协变参数？

Question

例如,我有一个Processor基类,其方法返回一个Object并将Object作为参数.我想扩展它并创建一个StringProcessor,它将返回String并将String作为参数.但是,协变类型只允许返回值,但不允许参数.这种限制的原因是什么？

class Processor {
    Object process (Object input) {
        //create a copy of input, modify it and return it
        return copy;
    }
}

class StringProcessor extends Processor {
    @Override
    String process (String input) { // permitted for parameter. why?
        //create a copy of input string, modify it and return it
        return copy;
    }
}

Answer 1

利斯科夫原则.在设计Processor类时,您编写了一个合同,说:"处理器能够将任何Object作为参数,并返回一个Object".

StringProcessor是一个处理器.所以它应该服从那份合同.但如果它只接受String作为参数,它就违反了该合同.请记住:处理器应该接受任何Object作为参数.

所以你应该能够做到:

StringProcessor sp = new StringProcessor();
Processor p = sp; // OK since a StringProcessor is a Processor
p.process(new Integer(3456));

返回String时,它不违反合同:它应该返回一个Object,一个String是一个Object,所以一切都很好.

您可以使用泛型执行您想要实现的目标:

class Processor<T> {
    Object process (T input) {
        //create a copy of input, modify it and return it
        return copy;
    }
}

class StringProcessor extends Processor<String> {
    @Override
    String process (String input) { 
        return copy;
    }
}