Comportamenti diversi per uno stesso metodo

• Per ottenere questo risultato:
  1. Avremo una definizione di verso per animale domestico
  2. Avremo una definizione di verso per cane
  3. Avremo una definizione di verso per gatto
  4. Il compilatore sceglierà quale chiamare in base all'oggetto e darà istruzioni in merito al linker
• Questo è un esempio di linking statico:
  • Il compilatore sa, per ogni oggetto, che metodi invocare
  • A tempo di esecuzione le chiamate
  sono già determinate