Wat is eend-typisering?

Duck typing is een stijl van dynamische typisering waarbij het type van een object of variabele niet wordt bepaald op basis van expliciete overerving of interface-implementatie, maar op basis van de aanwezigheid van een bepaald set methoden of eigenschappen. Als een object "loopt als een eend en kwaakt als een eend", wordt aangenomen dat het een eend is.

In Go wordt duck typing geïmplementeerd via impliciete interfaces. De structuur of een ander datatype hoeft niet expliciet aan te geven dat het een bepaald interface implementeert. Het volstaat dat het datatype alle methoden implementeert die in de interface zijn gedefinieerd.

Voorbeeld:

package main

import "fmt"

// Definieer de interface Speaker
type Speaker interface {
	Speak()
}

// Definieer de structuur Dog
type Dog struct{}

// Dog implementeert de methode Speak()
func (d Dog) Speak() {
	fmt.Println("Woof!")
}

// Definieer de structuur Cat
type Cat struct{}

// Cat implementeert de methode Speak()
func (c Cat) Speak() {
	fmt.Println("Meow!")
}

// De functie accepteert een argument van type Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Beide objecten, Dog en Cat, kunnen worden doorgegeven aan MakeItSpeak,
	// omdat ze beide impliciet het interface Speaker implementeren.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

In dit voorbeeld geven noch Dog noch Cat expliciet aan dat ze Speaker implementeren. Maar omdat ze beide de methode Speak() hebben, die overeenkomt met de handtekening van de methode in de interface Speaker, kunnen ze worden gebruikt waar een Speaker wordt verwacht.

Voordelen van duck typing in Go:

• Flexibiliteit: Maakt het gemakkelijk om modulaire en uitbreidbare systemen te creëren.
• Geen strikte hiërarchie: Er is geen noodzaak om te erven of expliciet interfaces te implementeren bij het ontwerpen.
• Gemakkelijke hergebruik van bestaande types: Elk type dat de benodigde methoden heeft, kan voldoen aan de interface, zelfs als het zonder rekening te houden met deze interface is ontwikkeld.