Εξηγήστε τον protocol-oriented programming με protocols και extensions.

Question

IT Interview Practice · Accepted Answer

Ο **protocol-oriented programming (POP)** είναι ο προτιμώμενος τρόπος της Swift για την κοινή χρήση συμπεριφοράς: αντί να κληρονομείτε από μια βασική κλάση, οι τύποι **συμμορφώνονται με protocols**, και τα **protocol extensions** παρέχουν επαναχρησιμοποιήσιμες προεπιλεγμένες υλοποιήσεις. Αυτό σας δίνει σύνθεση και επαναχρησιμοποίηση κώδικα χωρίς την ακαμψία της μονής κληρονομικότητας.

## Πώς λειτουργεί

Ένα protocol δηλώνει απαιτήσεις· ένα extension σε αυτό το protocol παρέχει προεπιλεγμένη συμπεριφορά που κάθε conformer κληρονομεί δωρεάν.

```swift
protocol Identifiable {
    var id: String { get }          // requirement
}

protocol Describable {
    var name: String { get }
}

// Default implementation shared by ALL conformers
extension Describable {
    func describe() -> String { "Item: \(name)" }
}

struct Product: Identifiable, Describable {   // composes multiple protocols
    let id: String
    let name: String
}

Product(id: "1", name: "Book").describe()     // => "Item: Book" (free)
```

## Protocol extensions έναντι κληρονομικότητας κλάσεων

- **Τα structs και τα enums μπορούν να συμμορφωθούν** — ο POP λειτουργεί σε value types, η κληρονομικότητα κλάσεων δεν μπορεί.
- **Πολλαπλή συμμόρφωση**: ένας τύπος μπορεί να υιοθετήσει πολλά protocols· μια κλάση έχει μία superclass.
- **Constrained extensions** προσθέτουν συμπεριφορά μόνο εκεί που έχει νόημα:

```swift
extension Collection where Element: Numeric {
    func total() -> Element { reduce(0, +) }   // only for numeric collections
}
[1, 2, 3].total()   // => 6
```

## Παγίδες

- **Static έναντι dynamic dispatch:** μια μέθοδος που ορίζεται *μόνο* στο extension (όχι στο protocol) δρομολογείται στατικά με βάση τον δηλωμένο τύπο της μεταβλητής — οπότε η υπερκάλυψή της σε έναν conformer μπορεί να μην κληθεί μέσω μιας αναφοράς τύπου protocol. Δηλώστε τη στο protocol για να πάρετε dynamic dispatch.

## Γιατί έχει σημασία

Ο POP είναι η ραχοκοκαλιά της standard library της Swift (`Equatable`, `Collection`, `Codable`) και της testable αρχιτεκτονικής — εξαρτάστε από protocols και αντικαθιστάτε conformers με mocks. Οι συνεντευξιαστές το διερευνούν για να δουν αν συνθέτετε συμπεριφορά με protocols αντί να χτίζετε βαθιές, εύθραυστες ιεραρχίες κλάσεων.

Πώς λειτουργεί

Protocol extensions έναντι κληρονομικότητας κλάσεων

Παγίδες

Γιατί έχει σημασία

Σχετικές ερωτήσεις