Cos'è la tipizzazione dell'anatra?

Il duck typing è uno stile di tipizzazione dinamica in cui il tipo di un oggetto o variabile viene determinato non sulla base dell’eredità esplicita o dell’implementazione di un’interfaccia, ma sulla base della presenza di un insieme specifico di metodi o proprietà. Se un oggetto "cammina come un'anatra e quacka come un'anatra", si considera che sia un'anatra.

In Go, il duck typing è implementato tramite interfacce implicite. La struttura o qualsiasi altro tipo di dato non deve indicare esplicitamente che implementa una determinata interfaccia. È sufficiente che il tipo di dato implementi tutti i metodi definiti nell’interfaccia.

Esempio:

package main

import "fmt"

// Definiamo l’interfaccia Speaker
type Speaker interface {
	Speak()
}

// Definiamo la struttura Dog
type Dog struct{}

// Dog implementa il metodo Speak()
func (d Dog) Speak() {
	fmt.Println("Bau!")
}

// Definiamo la struttura Cat
type Cat struct{}

// Cat implementa il metodo Speak()
func (c Cat) Speak() {
	fmt.Println("Miao!")
}

// La funzione accetta un argomento di tipo Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

func main() {
	d := Dog{}
	c := Cat{}

	// Entrambi gli oggetti, Dog e Cat, possono essere passati a MakeItSpeak,
	// poiché entrambi implicitamente implementano Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

In questo esempio, né Dog né Cat indicano esplicitamente che implementano Speaker. Tuttavia, poiché entrambi hanno il metodo Speak(), che corrisponde alla firma del metodo nell’interfaccia Speaker, possono essere usati dove ci si aspetta un Speaker.

Vantaggi del duck typing in Go:

• Flessibilità: Permette di creare sistemi modulari ed estensibili facilmente.
• Assenza di gerarchia rigida: Non è necessario ereditare o implementare esplicitamente le interfacce durante la progettazione.
• Facilità di utilizzo dei tipi esistenti: Qualsiasi tipo che abbia i metodi necessari può soddisfare l’interfaccia, anche se è stato sviluppato senza considerare questa interfaccia.