Polimorfismo tramite interfacce

Fa parte della sezione Programmazione orientata agli oggetti del percorso GO di Coddy. Lezione 41 di 107.

Polimorfismo consente di trattare tipi diversi in modo uniforme attraverso un'interfaccia condivisa. In Go, questo si ottiene interamente tramite le interfacce, senza ereditarietà o gerarchie di classi.

Quando una funzione accetta un tipo di interfaccia come parametro, è possibile passarle qualsiasi tipo concreto che implementi quell’interfaccia. La funzione non ha bisogno di conoscere il tipo specifico. Le interessa solo il comportamento definito dall’interfaccia:

type Speaker interface {
    Speak() string
}

type Dog struct{ Name string }
func (d Dog) Speak() string { return "Woof!" }

type Cat struct{ Name string }
func (c Cat) Speak() string { return "Meow!" }

func MakeSound(s Speaker) {
    fmt.Println(s.Speak())
}

Ora MakeSound funziona con qualsiasi tipo che abbia un metodo Speak():

func main() {
    dog := Dog{Name: "Rex"}
    cat := Cat{Name: "Whiskers"}
    
    MakeSound(dog)  // Woof!
    MakeSound(cat)  // Meow!
}

La stessa chiamata di funzione produce comportamenti diversi a seconda del tipo effettivamente passato. Questa è la polimorfia in azione. La funzione MakeSound viene scritta una sola volta, ma funziona con un numero illimitato di tipi, purché soddisfino l’interfaccia Speaker.

Questo approccio mantiene il tuo codice flessibile ed estensibile. Aggiungere un nuovo tipo che parla non richiede modifiche alle funzioni esistenti: basta implementare l’interfaccia e funzionerà automaticamente.

Sfida

Facile

Creiamo un sistema di descrizione dei veicoli che dimostri il polimorfismo in azione. Creerai diversi tipi di veicoli che condividono tutti un comportamento comune tramite un’interfaccia, poi scriverai un’unica funzione che funziona con qualsiasi veicolo.

Organizzerai il codice in due file:

vehicles.go: Definisci un’interfaccia Describer che richiede un metodo Describe() string. Poi crea tre tipi di veicoli che implementano ciascuno questa interfaccia a modo proprio:
- Car con i campi Brand e Model. Il suo metodo Describe() restituisce Car: [Brand] [Model]
- Motorcycle con i campi Brand e EngineCC (int). Il suo metodo Describe() restituisce Motorcycle: [Brand] [EngineCC]cc
- Bicycle con il campo Type (come "Mountain" o "Road"). Il suo metodo Describe() restituisce Bicycle: [Type]
main.go: Crea una funzione chiamata PrintDescription che accetta qualsiasi Describer e stampa il risultato della chiamata a Describe(). Leggi i dettagli dei veicoli dall’input, crea un veicolo per ciascuno dei tre tipi e passa ciascuno a PrintDescription per dimostrare che la stessa funzione funziona con tutti e tre i tipi diversi.

Verranno forniti i seguenti input:

Riga 1: marca dell’auto
Riga 2: modello dell’auto
Riga 3: marca della motocicletta
Riga 4: cilindrata del motore della motocicletta in CC (intero)
Riga 5: tipo di bicicletta

Ad esempio, dati Toyota, Camry, Honda, 600 e Mountain, l’output dovrebbe essere:

Car: Toyota Camry
Motorcycle: Honda 600cc
Bicycle: Mountain

Nota che PrintDescription non deve sapere se sta ricevendo un’auto, una motocicletta o una bicicletta. Si limita a chiamare Describe() e ciascun tipo risponde con il proprio output univoco. Questo è il polimorfismo: una funzione, comportamenti diversi.

Provalo tu

package main

import (
	"bufio"
	"fmt"
	"os"
	"strconv"
	"strings"
)

// TODO: Crea una funzione chiamata PrintDescription che accetti qualsiasi Describer
// e stampi il risultato della chiamata a Describe()

func main() {
	reader := bufio.NewReader(os.Stdin)

	// Leggi i dettagli dell'auto
	carBrand, _ := reader.ReadString('\n')
	carBrand = strings.TrimSpace(carBrand)
	carModel, _ := reader.ReadString('\n')
	carModel = strings.TrimSpace(carModel)

	// Leggi i dettagli della motocicletta
	motoBrand, _ := reader.ReadString('\n')
	motoBrand = strings.TrimSpace(motoBrand)
	motoEngineStr, _ := reader.ReadString('\n')
	motoEngineStr = strings.TrimSpace(motoEngineStr)
	motoEngine, _ := strconv.Atoi(motoEngineStr)

	// Leggi i dettagli della bicicletta
	bicycleType, _ := reader.ReadString('\n')
	bicycleType = strings.TrimSpace(bicycleType)

	// TODO: Crea un Car, un Motorcycle e un Bicycle usando i valori di input

	// TODO: Chiama PrintDescription per ogni veicolo per dimostrare il polimorfismo
	fmt.Println("TODO: Print vehicle descriptions")
}