Čo je to kačacia typizácia?

Typovanie na kačicu (duck typing) je štýl dynamického typovania, pri ktorom sa typ objektu alebo premennej neurčuje na základe jeho explicitného dedičstva alebo implementácie rozhrania, ale na základe prítomnosti určitého súboru metód alebo vlastností. Ak objekt "chodí ako kačica a kváka ako kačica", považuje sa za kačicu.

V Go je typovanie na kačicu implementované prostredníctvom nepriameho rozhrania. Štruktúra alebo akýkoľvek iný typ dát nemusí explicitne uvádzať, že implementuje určité rozhranie. Stačí, aby typ dát implementoval všetky metódy definované v rozhraní.

Príklad:

package main

import "fmt"

// Definujeme rozhranie Speaker
type Speaker interface {
	Speak()
}

// Definujeme štruktúru Dog
type Dog struct{}

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

// Definujeme štruktúru Cat
type Cat struct{}

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

// Funkcia prijíma argument typu Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Oba objekt, Dog a Cat, môžu byť odovzdané do MakeItSpeak,
	// pretože oba implicitne implementujú Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

V tomto príklade, ani Dog ani Cat explicitne neuvádzajú, že implementujú Speaker. Avšak, pretože oba majú metódu Speak(), ktorá zodpovedá podpisu metódy v rozhraní Speaker, môžu byť použité tam, kde sa očakáva Speaker.

Výhody duck typovania v Go:

• Flexibilita: Umožňuje ľahké vytváranie modulárnych a rozšíriteľných systémov.
• Chýba prísna hierarchia: Nie je potrebné dediť alebo explicitne implementovať rozhrania pri navrhovaní.
• Jednoduché použitie existujúcich typov: Akýkoľvek typ, ktorý má potrebné metódy, môže splniť rozhranie, aj keď bol vyvinutý bez zohľadnenia tohto rozhrania.