Ποια μέθοδος δεν μπορεί να υπερισχυθεί στον αντικειμενοστραφή προγραμματισμό;

Σε ορισμένες γλώσσες, όπως η Ruby, η μέθοδος κλάσης initialize, που χρησιμοποιείται για την αρχικοποίηση νέων αντικειμένων, δεν μπορεί να κληθεί άμεσα σε μια υποκλάση ως super.initialize για την εκτέλεση της λογικής της γονικής κλάσης. Αντ' αυτού, η υποκλάση πρέπει να καλέσει ρητά τη μέθοδο super στην υλοποίησή της του initialize, η οποία καλεί αυτόματα τη μέθοδο initialize της γονικής κλάσης.

Σε άλλες γλώσσες, όπως η Java ή η C#, δεν υπάρχουν "χρήστες" μέθοδοι που να μην μπορούν να υπερεκχωρηθούν με την παραδοσιακή έννοια, καθώς κάθε δημόσια ή προστατευμένη (!) μέθοδος που δεν έχει σημειωθεί ως final (Java) ή sealed (C#), μπορεί να υπερεκχωρηθεί. Ωστόσο, μπορεί να θεωρηθεί ότι οι κατασκευαστές (constructors) αποτελούν έναν ειδικό τύπο "μεθόδου" που δεν μπορεί να υπερεκχωρηθεί με την κοινή έννοια: δεν μπορεί να δηλωθεί μια μέθοδος με το ίδιο όνομα και υπογραφή μέσα σε μια υποκλάση που να αντικαθιστά τον κατασκευαστή της γονικής κλάσης. Η υποκλάση μπορεί να έχει τους δικούς της κατασκευαστές, οι οποίοι καλούν τους κατασκευαστές της γονικής κλάσης μέσω super (Java) ή : base (C#).

class Parent {
    Parent() {
        System.out.println("Κατασκευαστής γονέα");
    }
    void method() {
        System.out.println("Μέθοδος γονέα");
    }
}

class Child extends Parent {
    Child() {
        // Δεν χρειάζεται ρητή κλήση του κατασκευαστή του γονέα,
        // αν δεν υπάρχουν παράμετροι, καλείται αυτόματα.
        System.out.println("Κατασκευαστής παιδιού");
    }
    @Override // Η υπερεκχώρηση μεθόδου είναι δυνατή
    void method() {
        System.out.println("Μέθοδος παιδιού");
    }
}

Έτσι, γενικά, μπορεί να θεωρηθεί ότι οι κατασκευαστές είναι μέθοδοι που δεν μπορούν να υπερεκχωρηθούν με την ίδια έννοια όπως οι κανονικές μέθοδοι.