Как сделать интерфейс для иерархии типов?

Question

Сергей Тихонов @tumbler

бекенд-разработчик на python

Как сделать интерфейс для иерархии типов?

В проекте есть два типа - "группа" и "элемент". У группы есть метод "получить определенные элементы". Получаем что-то такое:

type element struct {}

func (el *element) doA() int {...}
func (el *element) doB() int {...}

type group struct {
    elements []*element
}

func (g *group) getElements() []*element {...}

И есть два сервиса, каждый из которых по-своему использует элементы групп. Первому от элементов нужен только метод doA, второму - doB. Идея, которая никак не выходит из головы, звучит так: "зачем передавать сервисам полную реализацию, если можно ограничиться интерфейсами, необходимыми самим сервисам?". Например, чтобы нельзя было просто так взять и вызвать из сервиса B метод doA.

Возникают интерфейсы:

type AElement interface {doA() int}
type BElement interface {doB() int}

type AGroup interface {
    getElements() []AElement
}
type BGroup interface {
    getElements() []BElement
}

Так вот, "*group" не удовлетворяет ни AGroup, ни BGroup, потому что у getElements различаются типы возвращаемого значения. Вопрос к знатокам паттернов и го: это совсем долбанутая идея, или всё-таки есть техническая возможность ограничить сервису доступ к функционалу элемента интерфейсом?

Вопрос задан более трёх лет назад
328 просмотров

10 комментариев

Подписаться 4 Средний 10 комментариев

rustler2000 @rustler2000

Очень идиоматичненько - "Accept interfaces return concrete types"

Единственное, что нет возможности сделать объект чтобы и AGroup и BGroup удовлетворял.

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

Отличное решение, жалко основную проблему не решает :)

Написано более трёх лет назад
rustler2000 @rustler2000

Сергей Тихонов, никто не мешает дождаться генериков, и сделать возврат через указатель. Или если генерики позволят разные типы возвращать нормально. Или interface{} и type assertion

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

<Тут должна быть картинка ждуна, но мне лень ее искать>

Написано более трёх лет назад
rustler2000 @rustler2000

Сергей Тихонов, type assertion вполне себе быстро работает

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

type assertions не устраивает, потому что в каждом месте, где предполагается использовать AElement или BElement, придется получать []interface{} и кастить его. Во-первых куча повторений возникает, во-вторых исходная идея про ограничение доступа интерфейсом реализовывается не в виде "есть только doA", а в виде "хочешь doA, хочешь doB - но не оба сразу".
Я еще поигрался с адаптерами, выполняющими все эти приведения типов на лету, но опять же, нужна иерархия адаптеров вместо иерархии интерфейсов.

Написано более трёх лет назад
rustler2000 @rustler2000

Сергей Тихонов, doA или doB дословно означает что в функции оба типа известы, есть две переменные и есть брэнчь (if/switch). не прямой вызов со строгой типизацией и без брэнча не возможен. с темплейтами туда-сюда, но и то только в сторону увеличения брэнчей (хоть и не явных) но ни как ни коллапс. более менее гообразный псевдокод напиши, а то может это для питона\js вопрос :E.

Написано более трёх лет назад
rustler2000 @rustler2000

rustler2000, хаха
```
type A interface {
Do() int
IsA() bool
}

type B interface {
Do() int
IsB() bool
}

type Do interface {
Do() int
}
```

Написано более трёх лет назад

Сергей Тихонов @tumbler Автор вопроса

rustler2000, вот придумал вменяемый пример:

package main

import (
	"fmt";
	"io";
	"bytes"
)

func New() io.ReadWriter {
	return bytes.NewBufferString("a_string")
}

func Read(r io.Reader) {
	buf := make([]byte, 1)
	r.Read(buf)
	fmt.Printf("Read '%s'\n", buf)
}

func Write(w io.Writer) {
	w.Write([]byte("X"))
	fmt.Printf("Written 'X'\n")
}

func ReadMany(list []io.Reader) {
	for _, r := range(list) {
		Read(r)
	}
}

func WriteMany(list []io.Writer) {
	for _, w := range(list) {
		Write(w)
	}
}

func main() {
	base := New()
	
	list := make([]io.ReadWriter, 1)
	list[0] = base
	fmt.Printf("%v\n", list)

	Write(base)
	Read(base)
	
	// cannot use list (type []io.ReadWriter) as type []io.Reader in argument to ReadMany
	// ReadMany(list)
	// cannot use list (type []io.ReadWriter) as type []io.Writer in argument to WriteMany
	// WriteMany(list)
}

Последние два вызова определенно не работают, и как передать в них list без копирования - ума ни приложу.

Написано более трёх лет назад

rustler2000 @rustler2000

Сергей Тихонов, без копирования никак. Но можно с рефлек подшаманить и будет типа Write(adapt(list, Write))/call(Write, list). ну или пустой интерфейс. Но по любому это без генериков полностью не решить только во время исполнения.

Написано более трёх лет назад

Пригласить эксперта

Ответы на вопрос 1

14 комментариев

Сергей Тихонов @tumbler Автор вопроса

Но всё равно в каждом месте использования :(

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов,
Но всё равно в каждом месте использования :(

Странный ты.
Тебе нужно определенный интерфейс.
Тебе предлагается его указать (кастить) - и все.
Ты что же считаешь - программа должна сама себя писать, а не ты её?

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

nrgian, нет, я не считаю, что программа должна сама себя писать. Я пытаюсь понять, "странный" ли язык Go и можно ли с этим что-то сделать. Пока все ответы выглядят так: вместо того, чтобы написать инструкцию type assertion (любым приемлемым для языка способом) один раз, необходимо делать этот type assertion во всех ста-пятистах местах использования. Кнопки Ctrl, C и V будут рады. В принципе, решение есть: забить на интерфейсы, сделать все методы классов публичными и будь что будет; но если есть более аккуратное решение упомянутой проблемы, то почему бы им не воспользоваться? Но похоже, что Repeat Yourself из принципа DRY - это всё, на что способен Go в этой ситуации.

Кстати насчет "сама себя писать". Кодогенерация - это ли не решение всех проблем?

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов, бэкграунд у вас какой?

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

nrgian, python 10 лет + go полгода.

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов,
Я то думал такие требования у вас с Java/C++ с их полиморфизмом методов.

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов,
необходимо делать этот type assertion во всех ста-пятистах местах использования

А как вы иначе собираетесь вызывать эти методы?
Если у них разная сигнатура параметров?

Кастование интерфейса с условным оператором как раз и позволяет в одной ветке if/switch обрабатывать один интерфейс, а в другой ветке - другой интерфейс. Не взирая на разность параметров.

Если же сигнатура одинаковая - то интерфейс тоже может быть один и тот же.

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

nrgian, пытаюсь понять, на что больше должен быть похож "статически типизированный код" на Go.

Написано более трёх лет назад
rustler2000 @rustler2000

nrgian, > Я то думал такие требования у вас с Java/C++ с их полиморфизмом методов.

Кстати да - в крестах тоже придется dynamic_cast делать или темплейты использовать

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов, ну а как бы вы сделали это в Python?

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

Ну, в питоне я вряд ли бы стал заморачиваться: есть конечно пакеты, вводящие интерфейсы, но тратить время на превращение утиной типизации в статическую я бы посчитал излишним.
Если бы припекло, сделал бы прокси, которые прокидывали бы доступ только к доступным из "интерфейса" методам.

Написано более трёх лет назад
nrgian @nrgian

Сергей Тихонов,
я спросил об том как бы внутри кода вы обрабатывали разнородные параметры?
в Go предлагается ветвление - одна ветка, один вид интерфейса обрабатывает.
что бы вы сделали в Python?

Написано более трёх лет назад
Сергей Тихонов @tumbler Автор вопроса

Если обработка разных видов интерфейса одинаковая, то не делал бы абсолютно ничего для поддержки разных типов. Всё сводится к утиной типизации. Если разные типы надо обрабатывать по-разному, то есть куча паттернов проектирования, как это сделать, и ответ тут сильно зависит от условий задачи. Начиная от аналога switch/case и заканчивая всякими визиторами.

Написано более трёх лет назад
nrgian @nrgian
Сергей Тихонов,
Если обработка разных видов интерфейса одинаковая, то не делал бы абсолютно ничего для поддержки разных типов. Всё сводится к утиной типизации

В Go это означает, что у вас одинаковый интерфейс у разных структур.
Вы например, можете единожды указать этот интерфейс во входящих параметрах функции - и далее никакого кастинга больше делать не нужно. Это и будет полной аналогией того, что вы описали.
Как-то так:
func MyFunc(a MyDarlingInterface) { a.DoIt() }

А конкретно это из вашего примера:

func Write(w io.Writer) { w.Write([]byte("X")) fmt.Printf("Written 'X'\n") } func ReadMany(list []io.Reader) { for _, r := range(list) { Read(r) } }

можно сделать через "...":

func MyFunc(a ...MyDarlingInterface) { for _, v:= range a { v.DoIt() } }

и вызывать как

MyFunc(SingleParameter...)

или как
MyFunc(ArrayParameter)
Написано более трёх лет назад

Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации

Похожие вопросы

Go

Простой
В стандартной библиотеке go есть ли инструменты для работы с многомерными срезами/массивами?
- 1 подписчик
- вчера
- 70 просмотров
2

ответа
Проектирование программного обеспечения

Простой
На чём писать клиентское приложение с GUI?
- 4 подписчика
- вчера
- 5539 просмотров
12

ответов
Проектирование программного обеспечения

Простой
Как сделать проект-конструктор с зависимостями на Django с переделкой существующей админки?
- 1 подписчик
- 13 апр.
- 88 просмотров
0

ответов
Go

Сложный
Как распарсить строку в структуру Go?
- 2 подписчика
- 06 апр.
- 307 просмотров
1

ответ
Go

Средний
Как записать в выходной канал элемент из буфера и разблокировать исходный канал с помощью pause (задача)?
- 1 подписчик
- 04 апр.
- 61 просмотр
1

ответ
Проектирование программного обеспечения

Простой
Как разделять относительно одинаковые скрипты между клиентами?
- 2 подписчика
- 03 апр.
- 201 просмотр
3

ответа
Go

Средний
Почему я получаю ошибку invalid operation: err (variable of type Error) is not an interface при проверке типа переменной?
- 1 подписчик
- 03 апр.
- 113 просмотров
2

ответа
Go

Простой
Как исправить ошибку «panic close of closed channel»?
- 1 подписчик
- 01 апр.
- 73 просмотра
0

ответов
Go

+1 ещё

Простой
Как запустить код на golang в vscode?
- 1 подписчик
- 31 мар.
- 125 просмотров
1

ответ
Go

Простой
Насколько актуальна книга Марка Саммерфильда?
- 1 подписчик
- 29 мар.
- 120 просмотров
2

ответа
Показать ещё Загружается…

Go Developer

Media Nation • Москва

от 300 000 ₽

Go developer

Geekfactor

от 200 000 до 250 000 ₽

Go разработчик

СберТех • Москва

До 370 000 ₽

Разработка VST-плагина

19 апр. 2024, в 20:43

20000 руб./за проект

Нарисовать баннер для интернет-магазина

19 апр. 2024, в 20:35

500 руб./в час

Разработать несистемный алерт

19 апр. 2024, в 20:11

500 руб./за проект

Очень идиоматичненько - "Accept interfaces return concrete types"

Единственное, что нет возможности сделать объект чтобы и AGroup и BGroup удовлетворял.
Отличное решение, жалко основную проблему не решает :)
Сергей Тихонов, никто не мешает дождаться генериков, и сделать возврат через указатель. Или если генерики позволят разные типы возвращать нормально. Или interface{} и type assertion
<Тут должна быть картинка ждуна, но мне лень ее искать>
Сергей Тихонов, type assertion вполне себе быстро работает
type assertions не устраивает, потому что в каждом месте, где предполагается использовать AElement или BElement, придется получать []interface{} и кастить его. Во-первых куча повторений возникает, во-вторых исходная идея про ограничение доступа интерфейсом реализовывается не в виде "есть только doA", а в виде "хочешь doA, хочешь doB - но не оба сразу".
Я еще поигрался с адаптерами, выполняющими все эти приведения типов на лету, но опять же, нужна иерархия адаптеров вместо иерархии интерфейсов.
Сергей Тихонов, doA или doB дословно означает что в функции оба типа известы, есть две переменные и есть брэнчь (if/switch). не прямой вызов со строгой типизацией и без брэнча не возможен. с темплейтами туда-сюда, но и то только в сторону увеличения брэнчей (хоть и не явных) но ни как ни коллапс. более менее гообразный псевдокод напиши, а то может это для питона\js вопрос :E.
rustler2000, хаха
```
type A interface {
Do() int
IsA() bool
}

type B interface {
Do() int
IsB() bool
}

type Do interface {
Do() int
}
```
rustler2000, вот придумал вменяемый пример:

package main import ( "fmt"; "io"; "bytes" ) func New() io.ReadWriter { return bytes.NewBufferString("a_string") } func Read(r io.Reader) { buf := make([]byte, 1) r.Read(buf) fmt.Printf("Read '%s'\n", buf) } func Write(w io.Writer) { w.Write([]byte("X")) fmt.Printf("Written 'X'\n") } func ReadMany(list []io.Reader) { for _, r := range(list) { Read(r) } } func WriteMany(list []io.Writer) { for _, w := range(list) { Write(w) } } func main() { base := New() list := make([]io.ReadWriter, 1) list[0] = base fmt.Printf("%v\n", list) Write(base) Read(base) // cannot use list (type []io.ReadWriter) as type []io.Reader in argument to ReadMany // ReadMany(list) // cannot use list (type []io.ReadWriter) as type []io.Writer in argument to WriteMany // WriteMany(list) }

Последние два вызова определенно не работают, и как передать в них list без копирования - ума ни приложу.
Сергей Тихонов, без копирования никак. Но можно с рефлек подшаманить и будет типа Write(adapt(list, Write))/call(Write, list). ну или пустой интерфейс. Но по любому это без генериков полностью не решить только во время исполнения.

Answer 1 · 2019-04-28 15:33:09

Проверять, какой интерфейс доступен, приводить к нему:

readyForUse, ok:= element.(AElement)
if ok {
     readyForUse.doA()
}

Сергей Тихонов Сергей Тихонов

type assertions не устраивает, потому что в каждом месте, где предполагается использовать AElement или BElement, придется получать []interface{} и кастить его. Во-первых куча повторений возникает, во-вторых исходная идея про ограничение доступа интерфейсом реализовывается не в виде "есть только doA", а в виде "хочешь doA, хочешь doB - но не оба сразу".

Не типы кастить, а именно что интерфейсы.

Как сделать интерфейс для иерархии типов?

Войдите, чтобы написать ответ

Минуточку внимания

Войдите на сайт