Co je to kachní typování?

Kachna typování (duck typing) je styl dynamického typování, při kterém se typ objektu nebo proměnné neurčuje na základě jeho explicitního dědičnosti nebo implementace rozhraní, ale na základě přítomnosti určitého souboru metod nebo vlastností. Pokud objekt "chodí jako kachna a kváká jako kachna", považuje se za kachnu.

V Go je kachní typování implementováno prostřednictvím nepřímých rozhraní. Struktura nebo jiný datový typ nemusí explicitně uvádět, že implementuje určité rozhraní. Stačí, aby datový typ implementoval všechny metody definované v rozhraní.

Příklad:

package main

import "fmt"

// Definujeme rozhraní Speaker
type Speaker interface {
	Speak()
}

// Definujeme strukturu Dog
type Dog struct{}

// Dog implementuje metodu Speak()
func (d Dog) Speak() {
	fmt.Println("Haf!")
}

// Definujeme strukturu Cat
type Cat struct{}

// Cat implementuje metodu Speak()
func (c Cat) Speak() {
	fmt.Println("Mňau!")
}

// Funkce přijímá argument typu Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Oba objekty, Dog a Cat, mohou být předány do MakeItSpeak,
	// protože oba implicitně implementují Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

V tomto příkladu, ani Dog, ani Cat explicitně neuvádí, že implementují Speaker. Nicméně, protože oba mají metodu Speak(), která odpovídá podpisu metody v rozhraní Speaker, mohou být použity tam, kde se očekává Speaker.

Výhody duck typování v Go:

• Flexibilita: Umožňuje snadno vytvářet modulární a rozšiřitelné systémy.
• Chybění pevné hierarchie: Při návrhu není nutné dědit nebo explicitně implementovat rozhraní.
• Snadné použití stávajících typů: Jakýkoli typ, který má potřebné metody, může splnit rozhraní, i když byl navržen bez ohledu na toto rozhraní.