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

Στην αντικειμενοστραφή προγραμματισμό υπάρχει μια έννοια γνωστή ως "τελικές" ή "μη επαναπροσδιορίσιμες" μέθοδοι. Αυτές είναι μέθοδοι που δηλώνονται με τέτοιο τρόπο ώστε οι υποκείμενες κλάσεις να μην μπορούν να αλλάξουν την υλοποίησή τους.

Ανάλογα με τη γλώσσα προγραμματισμού, η σύνταξη για την δήλωση τέτοιων μεθόδων μπορεί να διαφέρει:

• Java: Χρησιμοποιεί τη λέξη-κλειδί final.

  public final void cannotOverride() {
      // Αυτή η μέθοδος δεν μπορεί να υπερισχύσει σε υποκείμενες κλάσεις
  }
  

• C#: Χρησιμοποιεί τη λέξη-κλειδί sealed.

  public sealed override void CannotOverride() {
      // Αυτή η μέθοδος έχει υπερισχύσει από την βασική κλάση και τώρα είναι sealed
  }
  
  // Ή κάντε τη μέθοδο sealed από την αρχή, αν δεν υπερισχύει
  public sealed void CannotOverrideFromStart() {
      // Αυτή η μέθοδος δεν μπορεί να υπερισχύσει
  }
  

• Python: Δεν διαθέτει ενσωματωμένο μηχανισμό για την αποτροπή υπερισχύσεων μεθόδων σε επίπεδο σύνταξης. Αυτό επιτυγχάνεται συνήθως με συμφωνία ή χρήση διακοσμητών / μετα-κλάσεων, αν και δεν παρέχουν απόλυτη προστασία.

Έτσι, μια μέθοδος που σημειώνεται ως final (Java) ή sealed (C#) είναι μια μέθοδος που δεν μπορεί να υπερισχύσει σε υποκείμενες κλάσεις.