Czym jest typizacja kaczki?

Typowanie na podstawie kaczki (duck typing) to styl dynamicznego typowania, w którym typ obiektu lub zmiennej jest określany nie na podstawie jego jawnego dziedziczenia lub implementacji interfejsu, lecz na podstawie posiadania przez niego określonego zestawu metod lub właściwości. Jeśli obiekt " chodzi jak kaczka i quack jak kaczka", to uważa się, że jest kaczką.

W Go, typowanie na podstawie kaczki jest realizowane przez niejawne interfejsy. Struktura lub inny typ danych nie musi jawnie wskazywać, że implementuje określony interfejs. Wystarczy, aby typ danych implementował wszystkie metody zdefiniowane w interfejsie.

Przykład:

package main

import "fmt"

// Definiujemy interfejs Speaker
type Speaker interface {
	Speak()
}

// Definiujemy strukturę Dog
type Dog struct{}

// Dog implementuje metodę Speak()
func (d Dog) Speak() {
	fmt.Println("Hau!")
}

// Definiujemy strukturę Cat
type Cat struct{}

// Cat implementuje metodę Speak()
func (c Cat) Speak() {
	fmt.Println("Miau!")
}

// Funkcja przyjmuje argument typu Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Oba obiekty, Dog i Cat, mogą być przekazane do MakeItSpeak,
	// ponieważ oba niejawnie implementują Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

W tym przykładzie, ani Dog, ani Cat nie wskazują jawnie, że implementują Speaker. Jednak, ponieważ oba mają metodę Speak(), która odpowiada sygnaturze metody w interfejsie Speaker, mogą być używane tam, gdzie oczekiwany jest Speaker.

Zalety duck typing w Go:

• Elastyczność: Umożliwia łatwe tworzenie modułowych i rozszerzalnych systemów.
• Brak sztywnej hierarchii: Nie trzeba dziedziczyć ani jawnie implementować interfejsów podczas projektowania.
• Łatwa obsługa istniejących typów: Każdy typ, który posiada potrzebne metody, może spełniać interfejs, nawet jeśli został opracowany bez uwzględnienia tego interfejsu.