Šta je tipizacija patke?

Tipovanje na patku (duck typing) je stil dinamičkog tipiziranja u kojem se tip objekta ili promenljive ne određuje na osnovu njegove eksplicitne naslednosti ili implementacije interfejsa, već na osnovu prisustva određenog skupa metoda ili svojstava. Ako objekat "hoda kao patka i quack kao patka", smatra se da je patka.

U Go, tipovanje na patku se implementira putem neizričitih interfejsa. Struktura ili bilo koji drugi tip podataka ne mora eksplicitno da navede da implementira određeni interfejs. Dovoljno je da tip podataka implementira sve metode definisane u interfejsu.

Primer:

package main

import "fmt"

// Definišemo interfejs Speaker
type Speaker interface {
	Speak()
}

// Definišemo strukturu Dog
type Dog struct{}

// Dog implementira metodu Speak()
func (d Dog) Speak() {
	fmt.Println("Hau!")
}

// Definišemo strukturu Cat
type Cat struct{}

// Cat implementira metodu Speak()
func (c Cat) Speak() {
	fmt.Println("Mijau!")
}

// Funkcija prihvata argument tipa Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Oba objekta, Dog i Cat, mogu biti prosleđeni u MakeItSpeak,
	// jer oba implicitno implementiraju Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

U ovom primeru, ni Dog ni Cat eksplicitno ne navode da implementiraju Speaker. Međutim, pošto oba imaju metodu Speak(), koja odgovara potpisu metode u interfejsu Speaker, mogu biti korišćeni tamo gde se očekuje Speaker.

Prednosti duck typing-a u Go:

• Fleksibilnost: Omogućava lako kreiranje modularnih i proširivih sistema.
• Nedostatak stroge hijerarhije: Nije potrebno naslediti ili eksplicitno implementirati interfejse pri projektovanju.
• Laka upotreba postojećih tipova: Bilo koji tip koji ima potrebne metode može ispuniti interfejs, čak i ako je razvijen bez razmatranja tog interfejsa.