Por que a substituição do método java permite ter tipos de retorno covariantes, mas não parâmetros covariantes?

Por exemplo, eu tenho uma classe base Processor com um método que retorna um Object e usa Object como parâmetro. Eu quero estendê-lo e criar um StringProcessor que retornará String e terá String como parâmetro. No entanto, a digitação covariante ...

Como a substituição do método covariante é implementada usando a técnica de bridging em java

Erros de "tipo de retorno covariante inválido" em classes aninhadas com métodos que retornam objetos baseados em modelo

O seguinte código C ++ me fornece esses erros quando compilado: