Capítulo 1 Retorno Covariante
Retorno covariante O retorno covariante é uma facilidade da linguagem relacionada à herança que surgiu a partir da versão 5.0 Pode ser utilizado pelo programador Java: Quando sobrescrever um método que possua valor de retorno presente em sua classe mãe; Quando implementar um método que possua valor de retorno presente em uma interface;
Retorno covariante Cliente nome endereco telefone ... PessoaFisica cpf estadoCivil ... PessoaJuridica cnpj contatoPrincipal ...
Sobrescrição sem covariância Conta ... ... ... ... getCorrentista() : Cliente ContaCorrente ... getCorrentista() : Cliente ContaEmpresa ... getCorrentista() : Cliente
Sobrescrição covariante Conta ... ... ... ... getCorrentista() : Cliente ContaCorrente ... getCorrentista() : PessoaFisica ContaEmpresa ... getCorrentista() : PessoaJuridica
Retorno covariante (exemplo) Sem covariância: ContaEmpresa conta = new ContaEmpresa(.......); PessoaJuridica pessoa = (PessoaJuridica) conta.getCliente(); Com covariância: PessoaJuridica pessoa = conta.getCliente();
Retorno covariante (conclusão) Ao sobrescrever ou implementar um método, podemos utilizar como tipo de retorno alguma classe filha daquele tipo definido como retorno na classe mãe ou interfacel.