Вопрос по тайп-хинтам. Как-либо можно типизировать следующую конструкцию, не используя

Question

Вопрос по тайп-хинтам. Как-либо можно типизировать следующую конструкцию, не используя

перегрузки (@overload)?

Есть, функция первый аргумент, которой либо тип A, либо B. В зависимости от типа первого аргумента, тип второго аргумента должен быть либо C, либо D.

В варианте с перегрузками это выглядит так:

@overload
def func(first: A, second: C): …

@overload
def func(first: B, second: D):..

#backend #programming #python #russian

0

20.09.2023

8 ответов

21 просмотр

Skarn Автор вопроса

Jack Bolt
А почему без перегрузок?

Я использую библиотеку overtake, которая реализует реальный механизм перегрузок. И перегрузки уже есть по количеству и типу других аргументов. А данные две перегрузки должны иметь одинаковую имплементацию, просто хочу выразить зависимость одного типа от другого.

0

20.09.2023

Jack Bolt

Skarn
Я использую библиотеку overtake, которая реализует...

Так а какая разница, перегрузки из тайпинга никак не должны влиять на рантайм

0

20.09.2023

Skarn Автор вопроса

Jack Bolt
Так а какая разница, перегрузки из тайпинга никак ...

В данном случае влияют, потому что при использовании overtake у этих перегрузок появляется реальное тело.

0

20.09.2023