Интерфейсы и внедрение в Golang (Go)
Для разработки универсальных программ очень важно создавать многорасовый код. Такое поведение облегчает обслуживание кода, избавляет от необходимости вносить одинаковые изменения. Интерфейсы в Go позволяют организовывать сложные конструкции, которые позволят создавать стандартный код для многочасового использования.
1. Интерфейсы в Go:
1.1. Что такое интерфейсы?
В языке Go интерфейс - это тип, определяющий набор сигнатур методов. Когда конкретный тип предоставляет определения всех методов интерфейса, говорят, что он реализует интерфейс.
1.2. Определение интерфейсов:
Для определения интерфейса используется ключевое слово type, за которым следует имя интерфейса и ключевое слово interface:
type Writer interface {
Write([]byte) (int, error)
}1.3. Значимость в системе типов Go:
Интерфейсы в Go позволяют:
- Определите поведение, которому должны следовать типы.
- Обеспечение полиморфного поведения. Вы можете писать функции и методы, которые принимают интерфейсные типы, а затем передают значения любого конкретного типа, удовлетворяющего интерфейсу.
- Предоставляют возможность определения контрактов. Если тип реализует интерфейс, то это гарантирует наличие в нем определенных методов с заданными сигнатурами.
1.4. Значения интерфейсов:
Интерфейсные значения могут содержать любое значение, реализующее указанные методы. Интерфейсное значение состоит из двух компонентов: значения и конкретного типа. Когда мы вызываем метод интерфейсного значения, выполняется метод его базового типа.
var w Writer
w = os.Stdout
w.Write([]byte("Hello, Go!\n"))В приведенном выше примере os.Stdout реализует интерфейс Writer, поэтому мы можем присвоить его переменной w. Когда мы вызываем w.Write, она вызывает os.Stdout.Write.
2. Внедрение в Go:
2.1. Что такое внедрение?
Встраивание позволяет одному типу структуры включать в себя другую структуру, наследуя поля и методы встраиваемого типа. Это механизм, используемый в Go для достижения композиции по сравнению с традиционным наследованием.
2.2. Как встраивать?
Чтобы встроить тип, вы объявляете поле в struct без имени поля, только тип:
type Address struct {
Street, City, State string
}
type Person struct {
Name string
Address
}
p := Person{
Name: "Alice",
Address: Address{"123 Main St", "Anytown", "CA"},
}
fmt.Println(p.Street) // Output: 123 Main StВ приведенном выше коде в Person встроен Address. Это означает, что у Person есть не только Name, но и Street, City и State благодаря встроенному Address.
2.3. Наследственно-подобное поведение:
Встраивание предоставляет возможность "наследовать" методы. Если внедряемый тип имеет методы, то и внедряющий тип будет иметь эти методы, если он не определит свои собственные методы с тем же именем.
func (a Address) FullAddress() string {
return a.Street + ", " + a.City + ", " + a.State
}
// Even though Person doesn't define FullAddress, it gains the method through embedding Address.
address := p.FullAddress()Однако Go не поддерживает классическое наследование, при котором можно расширять и переопределять методы базового класса. Вместо этого Go пропагандирует композицию, а не наследование, что делает системы более простыми для понимания и сопровождения.
Подведём итоги:
- Интерфейсы в Go позволяют типам придерживаться контрактов и обеспечивают полиморфизм.
- Встраивание позволяет структурам наследовать поля и методы от других структур, что дает механизм композиции по сравнению с классическим наследованием.
Спасибо за чтение!
