La sovraccarico dei metodi è un esempio di implementazione del principio di polimorfismo nella programmazione orientata agli oggetti?

Sì, il sovraccarico di metodi (method overloading) è un esempio di polimorfismo nella programmazione orientata agli oggetti, in particolare del polimorfismo in fase di compilazione (polimorfismo statico).

Il sovraccarico avviene quando in una stessa classe ci sono più metodi con lo stesso nome ma con parametri diversi (tipo, quantità o ordine). Il compilatore sceglie il metodo appropriato durante la compilazione in base agli argomenti passati.

Esempio:

class Calculator {
    int add(int a, int b) {
        return a + b;
    }

    double add(double a, double b) {
        return a + b;
    }
}

Qui, il metodo add è sovraccaricato per lavorare con numeri interi e decimali.