Please enable JavaScript.
Coggle requires JavaScript to display documents.
P3 de Prog 2 - Coggle Diagram
P3 de Prog 2
Programação por Contratos
Definição:
Especifica as condições que devem ser atendidas antes e depois da execução de um método.
Pré-condições:
Condições que devem ser verdadeiras antes da execução do método.
Pós-condições:
Condições que devem ser verdadeiras após a execução do método.
Invariantes:
Condições que devem ser verdadeiras durante a vida do objeto.
Vantagens:
Melhora a confiabilidade do código.
Facilita a documentação e entendimento do comportamento do código.
Sobrecarga de Métodos e Operadores
Definição:
Permite que múltiplos métodos tenham o mesmo nome, mas com diferentes parâmetros.
Exemplos:
Métodos com diferentes tipos de parâmetros.
Métodos com diferentes números de parâmetros.
Vantagens:
Melhora a legibilidade do código.
Facilita a manutenção.
Limitações:
Não é possível sobrecarregar métodos apenas pela mudança do tipo de retorno.
Polimorfismo Paramétrico
Definição:
Permite que métodos e classes operem em tipos genéricos
Generics:
Uso de <T> para definir tipos genéricos.
Exemplo: public class Caixa<T> { ... }
Vantagens:
Reutilização de código.
Segurança de tipo em tempo de compilação.
Exemplo de Uso
Listas genéricas: List<String> lista = new ArrayList<>();
Conexões
Sobrecarga de Métodos e Polimorfismo:
Ambos permitem flexibilidade e reutilização de código.
Polimorfismo e Programação por Contratos
O uso de generics pode ser combinado com contratos para garantir que os tipos corretos sejam utilizados.
Sobrecarga e Programação por Contratos
A sobrecarga pode ser utilizada em métodos que implementam contratos, permitindo diferentes comportamentos com base nos parâmetros.