Cosa sono l'ereditarietà e il polimorfismo nel contesto dei tipi di dati di riferimento?

L'ereditarietà è un meccanismo della POO che permette di creare nuove classi basate su quelle esistenti. La nuova classe (sottoclasse) eredita campi e metodi della classe genitore, e può anche aggiungere i propri o sovrascrivere quelli esistenti. Ciò favorisce il riutilizzo del codice e la creazione di gerarchie logiche.

Il polimorfismo è la capacità di oggetti di classi diverse di rispondere in modo diverso allo stesso metodo. Per i tipi di dati di riferimento, ciò significa che si può lavorare con oggetti di classi diverse tramite un riferimento alla classe base o all'interfaccia. L'implementazione concreta del metodo chiamato dipenderà dal tipo reale dell'oggetto durante l'esecuzione. Esistono due principali tipi di polimorfismo:

• Statico (overloading dei metodi): Lo stesso metodo ha diverse implementazioni con diversi set di parametri. Il compilatore determina quale usare in base alla firma del metodo.
• Dinamico (override dei metodi): La sottoclasse fornisce la propria implementazione del metodo, già definita nella classe genitore. La chiamata al metodo tramite un riferimento alla classe genitore viene eseguita per realizzare l'implementazione nella sottoclasse (se presente).