Quale metodo non può essere sovrascritto nella programmazione orientata agli oggetti?

In alcuni linguaggi, come Ruby, il metodo di classe initialize, usato per inizializzare nuovi oggetti, non può essere chiamato direttamente in una classe figlia come super.initialize per eseguire la logica della classe genitore. Al contrario, la classe figlia deve chiamare esplicitamente il metodo super nella sua implementazione di initialize, che invoca automaticamente il metodo initialize della classe genitore.

In altri linguaggi, come Java o C#, non esistono "metodi" utente che non possano essere sovrascritti nel senso tradizionale, poiché qualsiasi metodo pubblico o protetto (!) che non sia contrassegnato come final (Java) o sealed (C#) può essere sovrascritto. Tuttavia, si può considerare che i costruttori siano un tipo speciale di "metodo" che non può essere sovrascritto nel senso comune: non è possibile dichiarare un metodo con lo stesso nome e firma all'interno di una classe figlia che sostituisca il costruttore della classe genitore. La classe figlia può avere i propri costruttori, che a loro volta chiamano i costruttori della classe genitore tramite super (Java) o : base (C#).

class Parent {
    Parent() {
        System.out.println("Costruttore genitore");
    }
    void method() {
        System.out.println("Metodo genitore");
    }
}

class Child extends Parent {
    Child() {
        // La chiamata esplicita al costruttore del genitore non è necessaria,
        // se non ci sono parametri, viene chiamata automaticamente.
        System.out.println("Costruttore figlio");
    }
    @Override // La sovrascrittura del metodo è possibile
    void method() {
        System.out.println("Metodo figlio");
    }
}

Pertanto, in senso generale, si può considerare che i costruttori siano metodi che non possono essere sovrascritti nello stesso senso dei metodi normali.