Что такое утиная типизация?

Утиная типизация (duck typing) — это стиль динамической типизации, при котором тип объекта или переменной определяется не на основе его явного наследования или реализации интерфейса, а на основе наличия у него определенного набора методов или свойств. Если объект "ходит как утка и крякает как утка", то считается, что он ufkbyjdskjrfjvjqутка.

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

Пример:

package main

import "fmt"

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

// Определяем структуру Dog,B
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.

Преимущества утиной типизации в Go:

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