Spiega la programmazione orientata ai protocolli con protocol ed extension.

Question

IT Interview Practice · Accepted Answer

La **programmazione orientata ai protocolli (POP)** è il modo preferito di Swift per condividere comportamento: invece di ereditare da una classe base, i tipi **conformano a protocol** e le **protocol extension** forniscono implementazioni di default riutilizzabili. Questo ti dà composizione e riuso del codice senza la rigidità dell'ereditarietà singola.

## Come funziona

Un protocol dichiara dei requisiti; una extension su quel protocol fornisce un comportamento di default che ogni conformer eredita gratuitamente.

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

protocol Describable {
    var name: String { get }
}

// Implementazione di default condivisa da TUTTI i conformer
extension Describable {
    func describe() -> String { "Item: \(name)" }
}

struct Product: Identifiable, Describable {   // compone più protocol
    let id: String
    let name: String
}

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

## Protocol extension vs ereditarietà di classe

- **Struct ed enum possono conformare** — la POP funziona sui value type, l'ereditarietà di classe no.
- **Conformità multipla**: un tipo può adottare molti protocol; una classe ha una sola superclasse.
- Le **extension vincolate** aggiungono comportamento solo dove ha senso:

```swift
extension Collection where Element: Numeric {
    func total() -> Element { reduce(0, +) }   // solo per collezioni numeriche
}
[1, 2, 3].total()   // => 6
```

## Insidie

- **Static vs dynamic dispatch:** un metodo definito *solo* nella extension (non nel protocol) viene dispatchato staticamente in base al tipo dichiarato della variabile — quindi il suo override in un conformer potrebbe non essere chiamato tramite un reference di tipo protocol. Dichiaralo nel protocol per ottenere il dynamic dispatch.

## Perché è importante

La POP è la spina dorsale della standard library di Swift (`Equatable`, `Collection`, `Codable`) e di un'architettura testabile — dipendi dai protocol e sostituisci i conformer con dei mock. Gli intervistatori indagano su questo per capire se componi il comportamento con i protocol invece di costruire gerarchie di classi profonde e fragili.

Come funziona

Protocol extension vs ereditarietà di classe

Insidie

Perché è importante

Domande correlate