Kas ir pīles tipizācija?

Zivju tipizācija (duck typing) — tas ir dinamiskās tipizācijas stils, kurā objekta vai mainīgā tips tiek noteikts ne pēc tā skaidras mantošanas vai saskares ar interfeisu, bet pēc tam, vai tam ir noteiktas metodes vai īpašības. Ja objekts "staigā kā zivs un kvakā kā zivs", tad uzskata, ka tas ir zivs.

Go valodā zivju tipizācija tiek īstenota caur neizteiktām saskarnēm. Struktūra vai jebkura cita datu tips nav jānorāda skaidri, ka tas īsteno noteiktu saskarni. Pietiek, ja datu tips īsteno visas saskarnes metodes.

Piemērs:

package main

import "fmt"

// Definē saskarni Speaker
type Speaker interface {
	Speak()
}

// Definē struktūru Dog
type Dog struct{}

// Dog īsteno metodi Speak()
func (d Dog) Speak() {
	fmt.Println("Gav!")
}

// Definē struktūru Cat
type Cat struct{}

// Cat īsteno metodi Speak()
func (c Cat) Speak() {
	fmt.Println("Miau!")
}

// Funkcija, kas pieņem Speaker tipu
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// Abi objekti, Dog un Cat, var tikt nodoti funkcijai MakeItSpeak,
	// jo abi neizsaka skaidri, ka tie īsteno Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

Šajā piemērā Dog un Cat nav skaidri norādīti kā īstenojoši Speaker. Tomēr, jo abi ir ar metodi Speak(), kas atbilst Speaker saskarnes parakstam, tie var tikt izmantoti tur, kur sagaidāms Speaker tips.

Go valodas zivju tipizācijas priekšrocības:

• Elastība: ļauj viegli veidot modulāras un paplašināmas sistēmas.
• Nepieciešama stingra hierarhija: mantošana vai skaidra saskarnes īstenošana nav obligāta.
• Esošo tipu vienkārša izmantošana: jebkurš tips, kam ir nepieciešamās metodes, var atbilst saskarnei, pat ja tas nav paredzēts tam.