Εξηγήστε τι σημαίνει η αρχή αντικατάστασης του Liskov και πώς εφαρμόζεται στον αντικειμενοστραφή προγραμματισμό.

Η Αρχή Υποκατάστασης του Liskov (Liskov Substitution Principle, LSP) είναι μία από τις πέντε αρχές SOLID στον αντικειμενοστραφή προγραμματισμό. Δηλώνει ότι τα αντικείμενα μιας υποκλάσης πρέπει να μπορούν να αντικατασταθούν με αντικείμενα της βασικής κλάσης χωρίς να αλλάζει η ορθότητα του προγράμματος.

Με απλά λόγια, αν η κλάση B κληρονομεί από την κλάση A, τότε τα αντικείμενα της κλάσης B πρέπει να συμπεριφέρονται με τέτοιο τρόπο ώστε να μπορούν να χρησιμοποιηθούν αντί των αντικειμένων της κλάσης A χωρίς απροσδόκητα σφάλματα ή αλλαγές στη λογική.

Αυτό επιτυγχάνεται διασφαλίζοντας ότι η υποκλάση:

• Δεν παραβιάζει τα invariants της βασικής κλάσης.
• Δεν περιορίζει τις προϋποθέσεις των μεθόδων (απαιτώντας αυστηρότερα δεδομένα εισόδου).
• Δεν επεκτείνει τις μετα-συνθήκες (παρέχοντας λιγότερα εγγυημένα αποτελέσματα).

Παράδειγμα:

class Bird {
    func fly() {
        print("Το πουλί πετάει")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("Το σπουργίτι πετάει")
    }
}

// Παραβίαση του LSP αν προστεθεί μια κλάση Penguin που δεν μπορεί να πετάξει
class Penguin: Bird {
    override func fly() {
        fatalError("Ο πιγκουίνος δεν πετάει")
    }
}

Σε αυτό το παράδειγμα, ο Penguin παραβιάζει το LSP, καθώς δεν μπορεί να χρησιμοποιηθεί αντί του Bird χωρίς σφάλματα. Θα ήταν πιο σωστό να οριστεί μια ξεχωριστή διεπαφή για τα πουλιά που πετάνε.

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