Какво е утино типизиране?

Типизацията на пати (duck typing) е стил на динамично типизиране, при който типът на обект или променлива се определя не въз основа на неговото явно наследяване или реализиране на интерфейс, а въз основа на наличието на определен набор от методи или свойства. Ако обектът "ходи като патица и кваква като патица", се счита, че е патица.

В Go, типизацията на патица се реализира чрез неявни интерфейси. Структурата или друг тип данни не е необходимо явно да посочва, че реализира определен интерфейс. Достатъчно е типът данни да реализира всички методи, определени в интерфейса.

Пример:

package main

import "fmt"

// Определяме интерфейса Speaker
type Speaker interface {
	Speak()
}

// Определяме структура Dog
type Dog struct{}

// Dog реализира метода Speak()
func (d Dog) Speak() {
	fmt.Println("Га!")
}

// Определяме структура Cat
type Cat struct{}

// Cat реализира метода Speak()
func (c Cat) Speak() {
	fmt.Println("Мяу!")
}

// Функцията приема аргумент от тип Speaker
func MakeItSpeak(s Speaker) {
	s.Speak()
}

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

	// И двата обекта, Dog и Cat, могат да бъдат предадени на MakeItSpeak,
	// тъй като и двата неявно реализират Speaker.
	MakeItSpeak(d)
	MakeItSpeak(c)
}

В този пример, нито Dog, нито Cat явно посочват, че реализират Speaker. Въпреки това, тъй като и двата имат метода Speak(), който съответства на сигнатурата на метода в интерфейса Speaker, те могат да бъдат използвани там, където се очаква Speaker.

Предимства на duck typing в Go:

• Гъвкавост: Позволява лесно създаване на модулни и разширяеми системи.
• Липса на строга йерархия: Не е необходимо да наследявате или явно да реализирате интерфейси при проектирането.
• Лесна употреба на съществуващи типове: Всеки тип, който има необходимите методи, може да изпълнява интерфейса, дори и да е разработен без да се взема предвид този интерфейс.