Дисклаймер
Статья имеет единственную цель - изучение аспектов языка GO. Жду нескончаемый поток критики и готов к ней.
Предисловие
Недавно начал изучать GO. По моему мнению: концепция полиморфизма в GO достаточно элегантная. "Путь упрощения ради эффективности" - это мой путь.
Итак, в процессе изучения я "придумал" себе задачу, достаточно нагромождённую, что бы попробовать все, что предлагает GO. И вот на одном из этапов, я спроектировал композицию у которой импортируемая (старшая) структура реализует некий интерфейс и мне понадобилось, что бы принимаемая композицию структура "переопределила" один из методов интерфейса старшей структуры. И как оказалось это возможно! Несмотря на отсутствие в языке типового полиморфизма.
Пример
Сразу скажу: пример учебный. Это значит он не является продуктом "хорошего" проектирования архитектуры структур. Все сделано так, как сделано для ясности понимания темы статьи.
Итак, в чем идея?
Вот что имеем изначально:
package main
import "fmt"
//Speaker - интерфейс говоруна
type Speaker interface {
toSpeak() //метод говоруна - говорить
}
//speaker - структура описывающая говоруна
type speaker struct {
message string //что нужно сказать хранится здесь
}
//Реализация интерфейса
func (s speaker) toSpeak() {
fmt.Println(s.message)
}
//NewSpeaker -"конструктор" говоруна
func NewSpeaker(message string) Speaker {
var result speaker = speaker{
message: message, //Передаем "что сказать" полю структуры
}
return result
}
//Запускаем говоруна
func main() {
var s Speaker = NewSpeaker("говорю")
s.toSpeak()
}
Вывод:
говорю
Тут у нас есть Говорун ( структура speaker), который "научился" говорить, реализовав метод интерфейса Speaker.toSpeak().
В main мы создаем говоруна через экземпляр интерфейса, что бы показать, что все у нас полиморфно и может использоваться в коде любого сервера, который умеет обращаться с интерфейсом Speaker ( и не зависеть от частных реализаций этого интерфейса).
Все просто.
Далее на сцену выходит новая структура: Пересмешник - repeater.
type repeater struct {
speaker
howManyTimesToRepeat int
}По сценарию, его задача сказать message столько раз, сколько записано в его поле howManyTimesToRepeat, и при этом он имеет встраиваемую композицию от speaker'а.
Вопрос: как переопределить поведение метода интерфейса Speaker.toSpeak() для экземпляров структуры repeater, при этом не реализуя данный интерфейс для структуры repeater ( тем более, что это будет теневой реализацией - перекрытием методов) ?
Ответ, который я хочу показать, заключается в использовании в качестве типа одного из полей структуры speaker функции. GO позволяет хранить функции в структуре!
Для меня, как для новичка, это конечно же открытие. И признаюсь, как его использовать для задачи подобной этой, я додумался сам. Так, что не судите строго, если это окажется частью "всем известных знаний". С первой попытки интернеты ничего мне не подсказали.
И так вот, что получается в итоге:
package main
import "fmt"
//Speaker - интерфейс говоруна
type Speaker interface {
toSpeak() //метод говоруна - говорить
}
//speaker - структура описывающая говоруна
type speaker struct {
message string
callBackFunc func() //То самое новое поле хранящее функцию
}
//toSpeak - Реализация интерфейса - !ЭТО ВАЖНОЕ МЕСТО!
//теперь реализация метода интерфеса имеет полиморфное поведение!
func (s speaker) toSpeak() {
//fmt.Println(s.message) <- вот так было раньше
s.callBackFunc() //<- теперь здесь будет вызов той функции, что была сохранена в поле структуры!
}
//howToSpeak - локальная (закрытая) реализация "как говорить" говоруну
func (s speaker) howToSpeakSpeaker() {
fmt.Println(s.message)
}
//NewSpeaker -"конструктор" говоруна
func NewSpeaker(message string) Speaker {
var result speaker = speaker{
message: message, //Передаем "что сказать" полю структуры
}
//!!ЭТО ВАЖНОЕ МЕСТО!
//Назначаем полю частную реализацию метода "как говорить" говоруну
result.callBackFunc = result.howToSpeakSpeaker
return result
}
//repeater - это пересмешник
type repeater struct {
speaker //композиция говоруна в структуре пересмешника
howManyTimesToRepeat int
}
//howToSpeak - локальная (закрытая) реализация "как говорить" пересмешнику
func (r repeater) howToSpeakRepeater() {
fmt.Println(r.message) //Здесь он просто говорит
for i := 1; i < r.howManyTimesToRepeat; i++ {
//А вот здесь он уже передразнивает - повторяет много раз
fmt.Println(r.message)
}
}
//NewSpeaker -"конструктор" пересмешника
func NewRepeater(message string, count int) Speaker {
var result repeater = repeater{
speaker: speaker{
message: message,
},
howManyTimesToRepeat: count,
}
//Назначаем полю - как должен говорит пересмешник
result.callBackFunc = result.howToSpeakRepeater
return result
}
func main() {
var s Speaker = NewSpeaker("говорю")
s.toSpeak()
var r Speaker = NewRepeater("говорю как пересмешник три раза", 3)
r.toSpeak()
}
Вывод:
говорю
говорю как пересмешник три раза
говорю как пересмешник три раза
говорю как пересмешник три раза
Что же произошло и как это работает?
Прежде всего обратите внимание на новое поле callBackFunc func() структуры speaker ( строка 13) . В этом поле мы будем хранить ссылку на частный метод реализующий "говорение". Для говоруна это будет один метод, для пересмешника другой.
Далее: изменилась реализация метода интерфейса ( строка 20). Теперь вместо статической реализации у метода полиморфное поведение: будет вызван тот метод, который хранится в поле callBackFunc конкретного экземпляра структуры.
Ну остальное, я думаю, и так ясно: У каждой структуры есть своя реализация метода говорения ( howToSpeakSpeaker и howToSpeakRepeater) и в конструкторе каждой структуры назначается в поле callBackFunc нужный метод.
Вроде все, что хотел показать.
Всем спасибо, кто прочел.
